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-3730282-1338715228/watcher-3730282-1338715228 -o /tmp/evaluation-result-3730282-1338715228/solver-3730282-1338715228 -C 1800 -W 1900 -M 15500 solver HOME/instance-3730282-1338715228.opb 342454618
running on 4 cores: 1,3,5,7
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.18 2.11 2.02 3/180 12072
/proc/meminfo: memFree=28614360/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/12072/stat : 12072 (python) D 12070 12072 11290 0 -1 4202496 756 0 0 0 0 0 0 0 20 0 1 0 337647673 15642624 526 33554432000 4194304 5683644 140735302664064 140735302649976 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 3819 526 312 364 0 261 0
[startup+0.0482379 s]
/proc/loadavg: 2.18 2.11 2.02 3/180 12072
/proc/meminfo: memFree=28614360/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=16432 CPUtime=0 cores=1,3,5,7
/proc/12072/stat : 12072 (python) D 12070 12072 11290 0 -1 4202496 1182 0 0 0 0 0 0 0 20 0 1 0 337647673 16826368 886 33554432000 4194304 5683644 140735302664064 140735302646216 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 4108 886 382 364 0 550 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16432
[startup+0.100284 s]
/proc/loadavg: 2.18 2.11 2.02 3/180 12072
/proc/meminfo: memFree=28614360/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=17628 CPUtime=0.02 cores=1,3,5,7
/proc/12072/stat : 12072 (python) D 12070 12072 11290 0 -1 4202496 2215 0 0 0 1 1 0 0 20 0 1 0 337647673 18051072 723 33554432000 4194304 4196484 140733710665280 140733710595448 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 4407 723 354 1 0 342 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17628
[startup+0.300228 s]
/proc/loadavg: 2.18 2.11 2.02 3/180 12072
/proc/meminfo: memFree=28614360/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=54508 CPUtime=0.08 cores=1,3,5,7
/proc/12072/stat : 12072 (python) D 12070 12072 11290 0 -1 4202496 3954 0 0 0 4 4 0 0 20 0 1 0 337647673 55816192 2142 33554432000 4194304 4196484 140733710665280 140733710511096 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 13627 2142 600 1 0 1482 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 54508
[startup+0.700239 s]
/proc/loadavg: 2.18 2.11 2.02 3/180 12072
/proc/meminfo: memFree=28614360/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=99040 CPUtime=0.23 cores=1,3,5,7
/proc/12072/stat : 12072 (python) R 12070 12072 11290 0 -1 4202496 5771 0 0 0 14 9 0 0 20 0 1 0 337647673 101416960 3608 33554432000 4194304 4196484 140733710665280 140733710608552 215143499040 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 24760 3608 1047 1 0 2562 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 99040
[startup+1.50022 s]
/proc/loadavg: 2.18 2.11 2.02 2/181 12077
/proc/meminfo: memFree=28592644/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=118116 CPUtime=0.46 cores=1,3,5,7
/proc/12072/stat : 12072 (python) D 12070 12072 11290 0 -1 4202496 9592 1015 0 0 29 17 0 0 20 0 1 0 337647673 120950784 5830 33554432000 4194304 4196484 140733710665280 140733710598632 215143497397 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 29529 5830 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 118116
[startup+3.10025 s]
/proc/loadavg: 2.18 2.11 2.02 3/182 12078
/proc/meminfo: memFree=28585816/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=134480 CPUtime=0.66 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 11214 1015 0 0 44 22 0 0 20 0 1 0 337647673 137707520 6346 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 33620 6346 1170 1 0 5192 0
[pid=12078] ppid=12072 vsize=6136 CPUtime=1.25 cores=1,3,5,7
/proc/12078/stat : 12078 (clasp-1.3.3-x86) R 12072 12078 12078 0 -1 4202496 1586 0 0 0 125 0 0 0 20 0 1 0 337647858 6283264 1274 33554432000 134512640 136080129 4293542720 4293541712 134588742 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12078/statm: 1534 1274 175 383 0 1149 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 140616
heavy processes:
[startup+6.30025 s]
/proc/loadavg: 2.16 2.11 2.02 3/182 12078
/proc/meminfo: memFree=28570440/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=134480 CPUtime=0.8 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 11225 1015 0 0 56 24 0 0 20 0 1 0 337647673 137707520 6346 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 33620 6346 1170 1 0 5192 0
[pid=12078] ppid=12072 vsize=7972 CPUtime=4.45 cores=1,3,5,7
/proc/12078/stat : 12078 (clasp-1.3.3-x86) R 12072 12078 12078 0 -1 4202496 2064 0 0 0 445 0 0 0 20 0 1 0 337647858 8163328 1752 33554432000 134512640 136080129 4293542720 4293541712 134588755 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12078/statm: 1993 1752 175 383 0 1608 0
Current children cumulated CPU time (s) 5.25
Current children cumulated vsize (KiB) 142452
[startup+12.7002 s]
/proc/loadavg: 2.15 2.11 2.02 3/182 12078
/proc/meminfo: memFree=28546748/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=11.67 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 12473 4571 0 0 84 30 1052 1 20 0 1 0 337647673 139816960 6368 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6368 1180 1 0 5192 0
Current children cumulated CPU time (s) 11.67
Current children cumulated vsize (KiB) 136540
[startup+25.5002 s]
/proc/loadavg: 2.19 2.12 2.03 4/200 12102
/proc/meminfo: memFree=28609532/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=12.22 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 12502 4571 0 0 133 36 1052 1 20 0 1 0 337647673 139816960 6368 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6368 1180 1 0 5192 0
[pid=12081] ppid=12072 vsize=10196 CPUtime=13.1 cores=1,3,5,7
/proc/12081/stat : 12081 (clasp-1.3.3-x86) R 12072 12081 12081 0 -1 4202496 2620 0 0 0 1310 0 0 0 20 0 1 0 337648913 10440704 2311 33554432000 134512640 136080129 4292163200 4292162176 134804972 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12081/statm: 2549 2311 175 383 0 2164 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 146736
[startup+51.1003 s]
/proc/loadavg: 2.13 2.11 2.02 3/199 12102
/proc/meminfo: memFree=28494916/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=13.38 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 12530 4571 0 0 233 52 1052 1 20 0 1 0 337647673 139816960 6368 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6368 1180 1 0 5192 0
[pid=12081] ppid=12072 vsize=13252 CPUtime=38.69 cores=1,3,5,7
/proc/12081/stat : 12081 (clasp-1.3.3-x86) R 12072 12081 12081 0 -1 4202496 3389 0 0 0 3869 0 0 0 20 0 1 0 337648913 13570048 3077 33554432000 134512640 136080129 4292163200 4292162144 134804904 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12081/statm: 3313 3077 175 383 0 2928 0
Current children cumulated CPU time (s) 52.07
Current children cumulated vsize (KiB) 149792
[startup+102.307 s]
/proc/loadavg: 2.05 2.09 2.02 3/199 12105
/proc/meminfo: memFree=28226436/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=66.31 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 13717 9018 0 0 454 88 6087 2 20 0 1 0 337647673 139816960 6372 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6372 1180 1 0 5192 0
[pid=12105] ppid=12072 vsize=127204 CPUtime=39.52 cores=1,3,5,7
/proc/12105/stat : 12105 (wbo1.4a) R 12072 12105 12105 0 -1 4202496 31660 0 0 0 3936 16 0 0 20 0 1 0 337653951 130256896 31323 33554432000 134512640 135751879 4292841328 4292839580 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12105/statm: 31801 31323 139 303 0 31496 0
Current children cumulated CPU time (s) 105.83
Current children cumulated vsize (KiB) 263744
[startup+162.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/181 12111
/proc/meminfo: memFree=28546608/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=119.3 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 14968 48905 0 0 689 127 11089 25 20 0 1 0 337647673 139816960 6372 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6372 1180 1 0 5192 0
[pid=12108] ppid=12072 vsize=13752 CPUtime=49.24 cores=1,3,5,7
/proc/12108/stat : 12108 (clasp-1.3.3-x86) R 12072 12108 12108 0 -1 4202496 3538 0 0 0 4923 1 0 0 20 0 1 0 337658978 14082048 3195 33554432000 134512640 136080129 4287727472 4287726416 134580608 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12108/statm: 3438 3195 175 383 0 3053 0
Current children cumulated CPU time (s) 168.54
Current children cumulated vsize (KiB) 150292
[startup+222.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/181 12114
/proc/meminfo: memFree=28255244/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=222.31 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 16222 54031 0 0 935 169 21100 27 20 0 1 0 337647673 139816960 6376 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6376 1180 1 0 5192 0
[pid=12114] ppid=12072 vsize=37088 CPUtime=9.08 cores=1,3,5,7
/proc/12114/stat : 12114 (wbo1.4a) R 12072 12114 12114 0 -1 4202496 9149 0 0 0 903 5 0 0 20 0 1 0 337668994 37978112 8815 33554432000 134512640 135751879 4290036368 4290034544 134616514 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12114/statm: 9272 8815 139 303 0 8967 0
Current children cumulated CPU time (s) 231.39
Current children cumulated vsize (KiB) 173628
[startup+282.3 s]
/proc/loadavg: 2.03 2.07 2.01 3/181 12121
/proc/meminfo: memFree=28444036/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=225.05 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 16261 54031 0 0 1169 209 21100 27 20 0 1 0 337647673 139816960 6376 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6376 1180 1 0 5192 0
[pid=12114] ppid=12072 vsize=224104 CPUtime=69.07 cores=1,3,5,7
/proc/12114/stat : 12114 (wbo1.4a) R 12072 12114 12114 0 -1 4202496 55877 0 0 0 6881 26 0 0 20 0 1 0 337668994 229482496 55557 33554432000 134512640 135751879 4290036368 4290034544 134616492 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12114/statm: 56026 55557 139 303 0 55721 0
Current children cumulated CPU time (s) 294.12
Current children cumulated vsize (KiB) 360644
[startup+342.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/181 12142
/proc/meminfo: memFree=28577872/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=328.42 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 17495 137846 0 0 1419 250 31108 65 20 0 1 0 337647673 139816960 6378 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6378 1180 1 0 5192 0
[pid=12136] ppid=12072 vsize=88960 CPUtime=28.54 cores=1,3,5,7
/proc/12136/stat : 12136 (wbo1.4b) R 12072 12136 12136 0 -1 4202496 22262 0 0 0 2841 13 0 0 20 0 1 0 337679046 91095040 21783 33554432000 134512640 135751879 4288898992 4288897084 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12136/statm: 22240 21783 144 303 0 21935 0
Current children cumulated CPU time (s) 356.96
Current children cumulated vsize (KiB) 225500
[startup+402.301 s]
/proc/loadavg: 2.11 2.08 2.02 3/217 12190
/proc/meminfo: memFree=28265184/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=381.52 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 18732 177916 0 0 1660 294 36109 89 20 0 1 0 337647673 139816960 6378 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/12072/statm: 34135 6378 1180 1 0 5192 0
[pid=12172] ppid=12072 vsize=2715136 CPUtime=38.87 cores=1,3,5,7
/proc/12172/stat : 12172 (java) S 12072 12172 12172 0 -1 4202496 9373 0 1 0 3881 6 0 0 20 0 19 0 337684075 2780299264 53639 33554432000 1073741824 1073778376 140735422201664 140735422192800 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12172/statm: 678784 53639 2243 9 0 669477 0
################
# More data... #
################
/proc/12172/task/12184/stat : 12184 (java) S 12072 12172 12172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337684078 2780299264 53639 33554432000 1073741824 1073778376 140735422201664 140648251511816 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12172/tid=12185] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12185/stat : 12185 (java) S 12072 12172 12172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337684081 2780299264 53639 33554432000 1073741824 1073778376 140735422201664 140648250460304 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12172/tid=12186] ppid=12072 vsize=2715136 CPUtime=0.35 cores=1,3,5,7
/proc/12172/task/12186/stat : 12186 (java) S 12072 12172 12172 0 -1 4202560 2033 0 0 0 35 0 0 0 20 0 19 0 337684081 2780299264 53639 33554432000 1073741824 1073778376 140735422201664 140648249408440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12172/tid=12187] ppid=12072 vsize=2715136 CPUtime=0.27 cores=1,3,5,7
/proc/12172/task/12187/stat : 12187 (java) S 12072 12172 12172 0 -1 4202560 2988 0 0 0 27 0 0 0 20 0 19 0 337684081 2780299264 53639 33554432000 1073741824 1073778376 140735422201664 140648248355640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12172/tid=12188] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12188/stat : 12188 (java) S 12072 12172 12172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337684081 2780299264 53639 33554432000 1073741824 1073778376 140735422201664 140648247303032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12172/tid=12189] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12189/stat : 12189 (java) S 12072 12172 12172 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 337684081 2780299264 53639 33554432000 1073741824 1073778376 140735422201664 140648246250440 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12172/tid=12190] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12190/stat : 12190 (java) S 12072 12172 12172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337684103 2780299264 53639 33554432000 1073741824 1073778376 140735422201664 140648245195944 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 420.39
Current children cumulated vsize (KiB) 2851676
[startup+462.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/199 12205
/proc/meminfo: memFree=27980832/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=384.25 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 18760 177916 0 0 1892 335 36109 89 20 0 1 0 337647673 139816960 6378 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6378 1180 1 0 5192 0
[pid=12172] ppid=12072 vsize=2715136 CPUtime=99.58 cores=1,3,5,7
/proc/12172/stat : 12172 (java) S 12072 12172 12172 0 -1 4202496 10123 0 1 0 9896 62 0 0 20 0 19 0 337684075 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140735422192800 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12172/statm: 678784 172443 2256 9 0 669477 0
[pid=12172/tid=12173] ppid=12072 vsize=2715136 CPUtime=97.97 cores=1,3,5,7
/proc/12172/task/12173/stat : 12173 (java) R 12072 12172 12172 0 -1 4202560 2916 0 1 0 9789 8 0 0 20 0 19 0 337684076 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648288947688 140648116687216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12172/tid=12174] ppid=12072 vsize=2715136 CPUtime=0.06 cores=1,3,5,7
/proc/12172/task/12174/stat : 12174 (java) S 12072 12172 12172 0 -1 4202560 64 0 0 0 1 5 0 0 20 0 19 0 337684076 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648273398312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12172/tid=12175] ppid=12072 vsize=2715136 CPUtime=0.1 cores=1,3,5,7
/proc/12172/task/12175/stat : 12175 (java) S 12072 12172 12172 0 -1 4202560 83 0 0 0 3 7 0 0 20 0 19 0 337684076 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648272345512 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12172/tid=12176] ppid=12072 vsize=2715136 CPUtime=0.1 cores=1,3,5,7
/proc/12172/task/12176/stat : 12176 (java) S 12072 12172 12172 0 -1 4202560 83 0 0 0 3 7 0 0 20 0 19 0 337684076 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648271292712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12172/tid=12177] ppid=12072 vsize=2715136 CPUtime=0.21 cores=1,3,5,7
/proc/12172/task/12177/stat : 12177 (java) S 12072 12172 12172 0 -1 4202560 167 0 0 0 9 12 0 0 20 0 19 0 337684076 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648270239912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12172/tid=12178] ppid=12072 vsize=2715136 CPUtime=0.1 cores=1,3,5,7
/proc/12172/task/12178/stat : 12178 (java) S 12072 12172 12172 0 -1 4202560 80 0 0 0 3 7 0 0 20 0 19 0 337684076 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648269188136 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12172/tid=12179] ppid=12072 vsize=2715136 CPUtime=0.1 cores=1,3,5,7
/proc/12172/task/12179/stat : 12179 (java) S 12072 12172 12172 0 -1 4202560 79 0 0 0 3 7 0 0 20 0 19 0 337684076 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648268135336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12172/tid=12180] ppid=12072 vsize=2715136 CPUtime=0.06 cores=1,3,5,7
/proc/12172/task/12180/stat : 12180 (java) S 12072 12172 12172 0 -1 4202560 55 0 0 0 2 4 0 0 20 0 19 0 337684076 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648267082536 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12172/tid=12181] ppid=12072 vsize=2715136 CPUtime=0.06 cores=1,3,5,7
/proc/12172/task/12181/stat : 12181 (java) S 12072 12172 12172 0 -1 4202560 60 0 0 0 2 4 0 0 20 0 19 0 337684076 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648266029736 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12172/tid=12182] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12182/stat : 12182 (java) S 12072 12172 12172 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 337684078 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648253618664 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12172/tid=12183] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12183/stat : 12183 (java) S 12072 12172 12172 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337684078 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648252564728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12172/tid=12184] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12184/stat : 12184 (java) S 12072 12172 12172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337684078 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648251511816 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12172/tid=12185] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12185/stat : 12185 (java) S 12072 12172 12172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337684081 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648250460304 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12172/tid=12186] ppid=12072 vsize=2715136 CPUtime=0.36 cores=1,3,5,7
/proc/12172/task/12186/stat : 12186 (java) S 12072 12172 12172 0 -1 4202560 2035 0 0 0 36 0 0 0 20 0 19 0 337684081 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648249408440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12172/tid=12187] ppid=12072 vsize=2715136 CPUtime=0.27 cores=1,3,5,7
/proc/12172/task/12187/stat : 12187 (java) S 12072 12172 12172 0 -1 4202560 2988 0 0 0 27 0 0 0 20 0 19 0 337684081 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648248355640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12172/tid=12188] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12188/stat : 12188 (java) S 12072 12172 12172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337684081 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648247303032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12172/tid=12189] ppid=12072 vsize=2715136 CPUtime=0.04 cores=1,3,5,7
/proc/12172/task/12189/stat : 12189 (java) S 12072 12172 12172 0 -1 4202560 6 0 0 0 2 2 0 0 20 0 19 0 337684081 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648246250440 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12172/tid=12190] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12190/stat : 12190 (java) S 12072 12172 12172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337684103 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648245195944 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 483.83
Current children cumulated vsize (KiB) 2851676
[startup+522.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/181 12211
/proc/meminfo: memFree=28465356/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=488.04 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 20004 188967 0 1 2151 374 46114 165 20 0 1 0 337647673 139816960 6380 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6380 1180 1 0 5192 0
[pid=12208] ppid=12072 vsize=197996 CPUtime=58.81 cores=1,3,5,7
/proc/12208/stat : 12208 (wbo1.4b) R 12072 12208 12208 0 -1 4202496 49509 0 0 0 5857 24 0 0 20 0 1 0 337694018 202747904 49043 33554432000 134512640 135751879 4287041504 4287039596 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12208/statm: 49499 49043 144 303 0 49194 0
Current children cumulated CPU time (s) 546.85
Current children cumulated vsize (KiB) 334536
Solver just ended. Dumping a history of the last processes samples
[startup+537.5 s]
/proc/loadavg: 2.10 2.08 2.02 3/181 12211
/proc/meminfo: memFree=28424544/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=488.72 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 20010 188967 0 1 2210 383 46114 165 20 0 1 0 337647673 139816960 6380 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6380 1180 1 0 5192 0
[pid=12208] ppid=12072 vsize=236040 CPUtime=74 cores=1,3,5,7
/proc/12208/stat : 12208 (wbo1.4b) R 12072 12208 12208 0 -1 4202496 59024 0 0 0 7371 29 0 0 20 0 1 0 337694018 241704960 58558 33554432000 134512640 135751879 4287041504 4287039596 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12208/statm: 59010 58558 144 303 0 58705 0
Current children cumulated CPU time (s) 562.72
Current children cumulated vsize (KiB) 372580
[startup+550.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/181 12211
/proc/meminfo: memFree=28378648/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=489.31 cores=1,3,5,7
/proc/12072/stat : 12072 (python) R 12070 12072 11290 0 -1 4202496 20016 188967 0 1 2260 392 46114 165 20 0 1 0 337647673 139816960 6380 33554432000 4194304 4196484 140733710665280 140733710657040 215143539639 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6380 1180 1 0 5192 0
[pid=12208] ppid=12072 vsize=281464 CPUtime=86.8 cores=1,3,5,7
/proc/12208/stat : 12208 (wbo1.4b) R 12072 12208 12208 0 -1 4202496 70376 0 0 0 8646 34 0 0 20 0 1 0 337694018 288219136 69910 33554432000 134512640 135751879 4287041504 4287039596 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12208/statm: 70366 69910 144 303 0 70061 0
Current children cumulated CPU time (s) 576.11
Current children cumulated vsize (KiB) 418004
[startup+563.1 s]
/proc/loadavg: 2.07 2.07 2.01 3/181 12211
/proc/meminfo: memFree=28327032/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=489.89 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 20021 188967 0 1 2310 400 46114 165 20 0 1 0 337647673 139816960 6380 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6380 1180 1 0 5192 0
[pid=12208] ppid=12072 vsize=329932 CPUtime=99.6 cores=1,3,5,7
/proc/12208/stat : 12208 (wbo1.4b) R 12072 12208 12208 0 -1 4202496 82495 0 0 0 9923 37 0 0 20 0 1 0 337694018 337850368 82035 33554432000 134512640 135751879 4287041504 4287039512 134517414 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12208/statm: 82483 82035 144 303 0 82178 0
Current children cumulated CPU time (s) 589.49
Current children cumulated vsize (KiB) 466472
[startup+566.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/181 12214
/proc/meminfo: memFree=28647484/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=590.6 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 21213 272965 0 1 2331 403 56122 204 20 0 1 0 337647673 139816960 6381 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6381 1180 1 0 5192 0
[pid=12214] ppid=12072 vsize=22196 CPUtime=2.31 cores=1,3,5,7
/proc/12214/stat : 12214 (bsolo_pb10) R 12072 12214 12214 0 -1 4202496 3481 0 0 0 230 1 0 0 20 0 1 0 337704071 22728704 3109 33554432000 134512640 137138936 4291859984 4291854144 134598928 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/12214/statm: 5549 3109 192 642 0 4905 0
Current children cumulated CPU time (s) 592.91
Current children cumulated vsize (KiB) 158736
[startup+569.5 s]
/proc/loadavg: 2.06 2.07 2.01 3/181 12214
/proc/meminfo: memFree=28636200/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=590.77 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 21218 272965 0 1 2344 407 56122 204 20 0 1 0 337647673 139816960 6381 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6381 1180 1 0 5192 0
[pid=12214] ppid=12072 vsize=31964 CPUtime=5.51 cores=1,3,5,7
/proc/12214/stat : 12214 (bsolo_pb10) R 12072 12214 12214 0 -1 4202496 5938 0 0 0 550 1 0 0 20 0 1 0 337704071 32731136 5566 33554432000 134512640 137138936 4291859984 4291858912 134542770 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/12214/statm: 7991 5566 192 642 0 7347 0
Current children cumulated CPU time (s) 596.28
Current children cumulated vsize (KiB) 168504
[startup+570.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/181 12214
/proc/meminfo: memFree=28633224/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=590.79 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 21220 272965 0 1 2346 407 56122 204 20 0 1 0 337647673 139816960 6381 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6381 1180 1 0 5192 0
[pid=12214] ppid=12072 vsize=34228 CPUtime=6.31 cores=1,3,5,7
/proc/12214/stat : 12214 (bsolo_pb10) R 12072 12214 12214 0 -1 4202496 6479 0 0 0 629 2 0 0 20 0 1 0 337704071 35049472 6107 33554432000 134512640 137138936 4291859984 4291858736 134575900 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/12214/statm: 8557 6107 192 642 0 7913 0
Current children cumulated CPU time (s) 597.1
Current children cumulated vsize (KiB) 170768
[startup+570.7 s]
/proc/loadavg: 2.06 2.07 2.01 3/181 12214
/proc/meminfo: memFree=28633224/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=590.81 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 21220 272965 0 1 2348 407 56122 204 20 0 1 0 337647673 139816960 6381 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6381 1180 1 0 5192 0
[pid=12214] ppid=12072 vsize=34960 CPUtime=6.71 cores=1,3,5,7
/proc/12214/stat : 12214 (bsolo_pb10) R 12072 12214 12214 0 -1 4202496 6685 0 0 0 669 2 0 0 20 0 1 0 337704071 35799040 6312 33554432000 134512640 137138936 4291859984 4291858912 134542307 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/12214/statm: 8740 6312 192 642 0 8096 0
Current children cumulated CPU time (s) 597.52
Current children cumulated vsize (KiB) 171500
[startup+570.907 s]
/proc/loadavg: 2.06 2.07 2.01 4/181 12214
/proc/meminfo: memFree=28630232/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=597.73 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 21317 279700 0 1 2354 408 56804 207 20 0 1 0 337647673 139816960 6381 33554432000 4194304 4196484 140733710665280 140733710655248 215146885150 0 0 16781312 2 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6381 1180 1 0 5192 0
Current children cumulated CPU time (s) 597.73
Current children cumulated vsize (KiB) 136540
Child status: 20
Real time (s): 570.95
CPU time (s): 597.799
CPU user time (s): 591.627
CPU system time (s): 6.17206
CPU usage (%): 104.702
Max. virtual memory (cumulated for all children) (KiB): 2851680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 591.627
system time used= 6.17206
maximum resident set size= 689772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 306757
page faults= 1
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7075
involuntary context switches= 1211
runsolver used 1.70174 second user time and 3.81442 second system time
The end