runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3713913-1338214093/watcher-3713913-1338214093 -o /tmp/evaluation-result-3713913-1338214093/solver-3713913-1338214093 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3713913-1338214093.wbo 1072492086 HOME HOME 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.83 2.51 2.33 2/178 926
/proc/meminfo: memFree=26329816/32873844 swapFree=7900/7900
[pid=926] ppid=924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/926/stat : 926 (npSolver-wbo-I.) S 924 926 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287533864 9367552 275 33554432000 4194304 5064252 140736108597552 140736108596464 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/926/statm: 2287 275 233 213 0 72 0

[startup+0.104312 s]
/proc/loadavg: 2.83 2.51 2.33 2/178 926
/proc/meminfo: memFree=26329816/32873844 swapFree=7900/7900
[pid=926] ppid=924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/926/stat : 926 (npSolver-wbo-I.) S 924 926 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287533864 9367552 275 33554432000 4194304 5064252 140736108597552 140736108596464 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/926/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200304 s]
/proc/loadavg: 2.83 2.51 2.33 2/178 926
/proc/meminfo: memFree=26329816/32873844 swapFree=7900/7900
[pid=926] ppid=924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/926/stat : 926 (npSolver-wbo-I.) S 924 926 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287533864 9367552 275 33554432000 4194304 5064252 140736108597552 140736108596464 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/926/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300257 s]
/proc/loadavg: 2.83 2.51 2.33 2/178 926
/proc/meminfo: memFree=26329816/32873844 swapFree=7900/7900
[pid=926] ppid=924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/926/stat : 926 (npSolver-wbo-I.) S 924 926 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287533864 9367552 275 33554432000 4194304 5064252 140736108597552 140736108596464 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/926/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700243 s]
/proc/loadavg: 2.83 2.51 2.33 2/178 926
/proc/meminfo: memFree=26329816/32873844 swapFree=7900/7900
[pid=926] ppid=924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/926/stat : 926 (npSolver-wbo-I.) S 924 926 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287533864 9367552 275 33554432000 4194304 5064252 140736108597552 140736108596464 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/926/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50034 s]
/proc/loadavg: 2.83 2.51 2.33 2/180 928
/proc/meminfo: memFree=26340504/32873844 swapFree=7900/7900
[pid=926] ppid=924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/926/stat : 926 (npSolver-wbo-I.) S 924 926 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287533864 9367552 275 33554432000 4194304 5064252 140736108597552 140736108596464 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/926/statm: 2287 275 233 213 0 72 0
[pid=927] ppid=926 vsize=34876 CPUtime=1.49 cores=0,2,4,6
/proc/927/stat : 927 (npSolver-wbo) R 926 926 27515 0 -1 4202496 2994 0 0 0 148 1 0 0 20 0 1 0 287533864 35713024 5009 33554432000 4194304 5990268 140736601915744 140736601910600 4807339 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/927/statm: 8719 5009 136 439 0 8276 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44024

[startup+3.1003 s]
/proc/loadavg: 2.84 2.52 2.33 2/180 928
/proc/meminfo: memFree=26348364/32873844 swapFree=7900/7900
[pid=926] ppid=924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/926/stat : 926 (npSolver-wbo-I.) S 924 926 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287533864 9367552 275 33554432000 4194304 5064252 140736108597552 140736108596464 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/926/statm: 2287 275 233 213 0 72 0
[pid=927] ppid=926 vsize=67644 CPUtime=3.09 cores=0,2,4,6
/proc/927/stat : 927 (npSolver-wbo) R 926 926 27515 0 -1 4202496 3531 0 0 0 307 2 0 0 20 0 1 0 287533864 69267456 9618 33554432000 4194304 5990268 140736601915744 140736601908616 4807561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/927/statm: 16911 9618 137 439 0 16468 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76792

[startup+6.3003 s]
/proc/loadavg: 2.84 2.52 2.33 2/180 928
/proc/meminfo: memFree=26393108/32873844 swapFree=7900/7900
[pid=926] ppid=924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/926/stat : 926 (npSolver-wbo-I.) S 924 926 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287533864 9367552 275 33554432000 4194304 5064252 140736108597552 140736108596464 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/926/statm: 2287 275 233 213 0 72 0
[pid=927] ppid=926 vsize=133192 CPUtime=6.29 cores=0,2,4,6
/proc/927/stat : 927 (npSolver-wbo) R 926 926 27515 0 -1 4202496 7186 0 0 0 624 5 0 0 20 0 1 0 287533864 136388608 28275 33554432000 4194304 5990268 140736601915744 140736601911624 4547186 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/927/statm: 33298 28275 145 439 0 32855 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142340

[startup+12.7004 s]
/proc/loadavg: 2.79 2.52 2.33 2/183 983
/proc/meminfo: memFree=30077904/32873844 swapFree=7900/7900
[pid=926] ppid=924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/926/stat : 926 (npSolver-wbo-I.) S 924 926 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287533864 9367552 275 33554432000 4194304 5064252 140736108597552 140736108596464 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/926/statm: 2287 275 233 213 0 72 0
[pid=927] ppid=926 vsize=133336 CPUtime=7.37 cores=0,2,4,6
/proc/927/stat : 927 (npSolver-wbo) S 926 926 27515 0 -1 4202496 7949 0 0 0 723 14 0 0 20 0 1 0 287533864 136536064 28799 33554432000 4194304 5990268 140736601915744 140736601908896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/927/statm: 33334 28799 153 439 0 32891 0
[pid=952] ppid=927 vsize=9148 CPUtime=4.76 cores=0,2,4,6
/proc/952/stat : 952 (cp2_pre.sh) S 927 926 27515 0 -1 4202496 632 30170 0 0 0 0 457 19 20 0 1 0 287534602 9367552 281 33554432000 4194304 5064252 140736958579920 140736958578624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/952/statm: 2287 281 238 213 0 72 0
Current children cumulated CPU time (s) 12.13
Current children cumulated vsize (KiB) 151632

[startup+25.5005 s]
/proc/loadavg: 2.74 2.52 2.33 3/183 993
/proc/meminfo: memFree=29891272/32873844 swapFree=7900/7900
[pid=926] ppid=924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/926/stat : 926 (npSolver-wbo-I.) S 924 926 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287533864 9367552 275 33554432000 4194304 5064252 140736108597552 140736108596464 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/926/statm: 2287 275 233 213 0 72 0
[pid=927] ppid=926 vsize=167928 CPUtime=15.96 cores=0,2,4,6
/proc/927/stat : 927 (npSolver-wbo) S 926 926 27515 0 -1 4202496 10982 45872 0 0 764 124 670 38 20 0 1 0 287533864 171958272 36344 33554432000 4194304 5990268 140736601915744 140736601907184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 253 0 0
/proc/927/statm: 41982 36344 166 439 0 41539 0
[pid=992] ppid=927 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/992/stat : 992 (satsolver.sh) S 927 926 27515 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287535866 9367552 267 33554432000 4194304 5064252 140737371154320 140737371153232 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/992/statm: 2287 267 226 213 0 72 0
[pid=993] ppid=992 vsize=132180 CPUtime=5.47 cores=0,2,4,6
/proc/993/stat : 993 (glucose) R 992 926 27515 0 -1 4202496 14845 0 0 0 541 6 0 0 20 0 1 0 287535866 135352320 26354 33554432000 4194304 5208918 140734883803712 140734883801672 4211094 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/993/statm: 33045 26354 103 248 0 32794 0
Current children cumulated CPU time (s) 21.43
Current children cumulated vsize (KiB) 318404

Solver just ended. Dumping a history of the last processes samples

[startup+25.6005 s]
/proc/loadavg: 2.74 2.52 2.33 3/183 993
/proc/meminfo: memFree=29891272/32873844 swapFree=7900/7900
[pid=926] ppid=924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/926/stat : 926 (npSolver-wbo-I.) S 924 926 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287533864 9367552 275 33554432000 4194304 5064252 140736108597552 140736108596464 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/926/statm: 2287 275 233 213 0 72 0
[pid=927] ppid=926 vsize=167928 CPUtime=15.96 cores=0,2,4,6
/proc/927/stat : 927 (npSolver-wbo) S 926 926 27515 0 -1 4202496 10982 45872 0 0 764 124 670 38 20 0 1 0 287533864 171958272 36344 33554432000 4194304 5990268 140736601915744 140736601907184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 253 0 0
/proc/927/statm: 41982 36344 166 439 0 41539 0
[pid=992] ppid=927 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/992/stat : 992 (satsolver.sh) S 927 926 27515 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287535866 9367552 267 33554432000 4194304 5064252 140737371154320 140737371153232 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/992/statm: 2287 267 226 213 0 72 0
[pid=993] ppid=992 vsize=132180 CPUtime=5.57 cores=0,2,4,6
/proc/993/stat : 993 (glucose) R 992 926 27515 0 -1 4202496 14845 0 0 0 551 6 0 0 20 0 1 0 287535866 135352320 26354 33554432000 4194304 5208918 140734883803712 140734883801672 4211122 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/993/statm: 33045 26354 103 248 0 32794 0
Current children cumulated CPU time (s) 21.53
Current children cumulated vsize (KiB) 318404

[startup+38.4003 s]
/proc/loadavg: 2.57 2.49 2.33 3/183 1000
/proc/meminfo: memFree=29915448/32873844 swapFree=7900/7900
[pid=926] ppid=924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/926/stat : 926 (npSolver-wbo-I.) S 924 926 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287533864 9367552 275 33554432000 4194304 5064252 140736108597552 140736108596464 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/926/statm: 2287 275 233 213 0 72 0
[pid=927] ppid=926 vsize=151072 CPUtime=31.6 cores=0,2,4,6
/proc/927/stat : 927 (npSolver-wbo) S 926 926 27515 0 -1 4202496 11956 66053 0 0 775 126 2197 62 20 0 1 0 287533864 154697728 33271 33554432000 4194304 5990268 140736601915744 140736601907184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 253 0 0
/proc/927/statm: 37768 33271 166 439 0 37325 0
[pid=999] ppid=927 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/999/stat : 999 (satsolver.sh) S 927 926 27515 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287537430 9367552 266 33554432000 4194304 5064252 140735372992880 140735372991792 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/999/statm: 2287 266 226 213 0 72 0
[pid=1000] ppid=999 vsize=123280 CPUtime=2.73 cores=0,2,4,6
/proc/1000/stat : 1000 (glucose) R 999 926 27515 0 -1 4202496 13551 0 0 0 269 4 0 0 20 0 1 0 287537430 126238720 23573 33554432000 4194304 5208918 140734842026464 140734842024312 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1000/statm: 30820 23573 103 248 0 30569 0
Current children cumulated CPU time (s) 34.33
Current children cumulated vsize (KiB) 292648

[startup+44.8004 s]
/proc/loadavg: 2.61 2.50 2.33 3/183 1000
/proc/meminfo: memFree=29913960/32873844 swapFree=7900/7900
[pid=926] ppid=924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/926/stat : 926 (npSolver-wbo-I.) S 924 926 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287533864 9367552 275 33554432000 4194304 5064252 140736108597552 140736108596464 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/926/statm: 2287 275 233 213 0 72 0
[pid=927] ppid=926 vsize=151072 CPUtime=31.6 cores=0,2,4,6
/proc/927/stat : 927 (npSolver-wbo) S 926 926 27515 0 -1 4202496 11956 66053 0 0 775 126 2197 62 20 0 1 0 287533864 154697728 33271 33554432000 4194304 5990268 140736601915744 140736601907184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 253 0 0
/proc/927/statm: 37768 33271 166 439 0 37325 0
[pid=999] ppid=927 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/999/stat : 999 (satsolver.sh) S 927 926 27515 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287537430 9367552 266 33554432000 4194304 5064252 140735372992880 140735372991792 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/999/statm: 2287 266 226 213 0 72 0
[pid=1000] ppid=999 vsize=125708 CPUtime=9.13 cores=0,2,4,6
/proc/1000/stat : 1000 (glucose) R 999 926 27515 0 -1 4202496 14128 0 0 0 909 4 0 0 20 0 1 0 287537430 128724992 24150 33554432000 4194304 5208918 140734842026464 140734842024312 4205168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1000/statm: 31427 24150 103 248 0 31176 0
Current children cumulated CPU time (s) 40.73
Current children cumulated vsize (KiB) 295076

[startup+48.0004 s]
/proc/loadavg: 2.56 2.49 2.33 3/183 1014
/proc/meminfo: memFree=29979164/32873844 swapFree=7900/7900
[pid=926] ppid=924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/926/stat : 926 (npSolver-wbo-I.) S 924 926 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287533864 9367552 275 33554432000 4194304 5064252 140736108597552 140736108596464 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/926/statm: 2287 275 233 213 0 72 0
[pid=927] ppid=926 vsize=151072 CPUtime=43.69 cores=0,2,4,6
/proc/927/stat : 927 (npSolver-wbo) S 926 926 27515 0 -1 4202496 13207 115826 0 0 779 126 3338 126 20 0 1 0 287533864 154697728 33271 33554432000 4194304 5990268 140736601915744 140736601907184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 253 0 0
/proc/927/statm: 37768 33271 166 439 0 37325 0
Current children cumulated CPU time (s) 43.69
Current children cumulated vsize (KiB) 160220

[startup+48.8004 s]
/proc/loadavg: 2.56 2.49 2.33 3/183 1021
/proc/meminfo: memFree=29943404/32873844 swapFree=7900/7900
[pid=926] ppid=924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/926/stat : 926 (npSolver-wbo-I.) S 924 926 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287533864 9367552 275 33554432000 4194304 5064252 140736108597552 140736108596464 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/926/statm: 2287 275 233 213 0 72 0
[pid=927] ppid=926 vsize=151072 CPUtime=43.69 cores=0,2,4,6
/proc/927/stat : 927 (npSolver-wbo) S 926 926 27515 0 -1 4202496 13207 115826 0 0 779 126 3338 126 20 0 1 0 287533864 154697728 33271 33554432000 4194304 5990268 140736601915744 140736601907184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 253 0 0
/proc/927/statm: 37768 33271 166 439 0 37325 0
[pid=1020] ppid=927 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1020/stat : 1020 (satsolver.sh) S 927 926 27515 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287538640 9367552 266 33554432000 4194304 5064252 140737443613472 140737443612384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1020/statm: 2287 266 226 213 0 72 0
[pid=1021] ppid=1020 vsize=91204 CPUtime=1.02 cores=0,2,4,6
/proc/1021/stat : 1021 (glucose) R 1020 926 27515 0 -1 4202496 11720 0 0 0 99 3 0 0 20 0 1 0 287538640 93392896 20740 33554432000 4194304 5208918 140734878264608 140734877214248 4229725 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1021/statm: 22801 20740 95 248 0 22550 0
Current children cumulated CPU time (s) 44.71
Current children cumulated vsize (KiB) 260572

[startup+49.2004 s]
/proc/loadavg: 2.56 2.49 2.33 3/183 1021
/proc/meminfo: memFree=29943404/32873844 swapFree=7900/7900
[pid=926] ppid=924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/926/stat : 926 (npSolver-wbo-I.) S 924 926 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287533864 9367552 275 33554432000 4194304 5064252 140736108597552 140736108596464 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/926/statm: 2287 275 233 213 0 72 0
[pid=927] ppid=926 vsize=151072 CPUtime=43.69 cores=0,2,4,6
/proc/927/stat : 927 (npSolver-wbo) S 926 926 27515 0 -1 4202496 13207 115826 0 0 779 126 3338 126 20 0 1 0 287533864 154697728 33271 33554432000 4194304 5990268 140736601915744 140736601907184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 253 0 0
/proc/927/statm: 37768 33271 166 439 0 37325 0
[pid=1020] ppid=927 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1020/stat : 1020 (satsolver.sh) S 927 926 27515 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287538640 9367552 266 33554432000 4194304 5064252 140737443613472 140737443612384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1020/statm: 2287 266 226 213 0 72 0
[pid=1021] ppid=1020 vsize=92452 CPUtime=1.43 cores=0,2,4,6
/proc/1021/stat : 1021 (glucose) R 1020 926 27515 0 -1 4202496 12194 0 0 0 139 4 0 0 20 0 1 0 287538640 94670848 21200 33554432000 4194304 5208918 140734878264608 140734878262456 4229311 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1021/statm: 23113 21200 101 248 0 22862 0
Current children cumulated CPU time (s) 45.12
Current children cumulated vsize (KiB) 261820

[startup+49.4003 s]
/proc/loadavg: 2.56 2.49 2.33 3/183 1021
/proc/meminfo: memFree=29943404/32873844 swapFree=7900/7900
[pid=926] ppid=924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/926/stat : 926 (npSolver-wbo-I.) S 924 926 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287533864 9367552 275 33554432000 4194304 5064252 140736108597552 140736108596464 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/926/statm: 2287 275 233 213 0 72 0
[pid=927] ppid=926 vsize=151072 CPUtime=45.23 cores=0,2,4,6
/proc/927/stat : 927 (npSolver-wbo) S 926 926 27515 0 -1 4202496 13237 130707 0 0 779 126 3487 131 20 0 1 0 287533864 154697728 33271 33554432000 4194304 5990268 140736601915744 140736601907760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 253 0 0
/proc/927/statm: 37768 33271 166 439 0 37325 0
Current children cumulated CPU time (s) 45.23
Current children cumulated vsize (KiB) 160220

Child status: 0
Real time (s): 49.4549
CPU time (s): 45.4051
CPU user time (s): 42.6715
CPU system time (s): 2.73358
CPU usage (%): 91.8112
Max. virtual memory (cumulated for all children) (KiB): 323272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.6715
system time used= 2.73358
maximum resident set size= 177796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145299
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1090064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 439
involuntary context switches= 392

runsolver used 0.150977 second user time and 0.32295 second system time

The end