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-3730754-1338715900/watcher-3730754-1338715900 -o /tmp/evaluation-result-3730754-1338715900/solver-3730754-1338715900 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3730754-1338715900.opb -seed 1443076718 -budget 1800
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: 4.87 3.82 2.77 3/181 5360
/proc/meminfo: memFree=24690504/32873648 swapFree=7628/7628
[pid=5360] ppid=5358 vsize=15440 CPUtime=0 cores=1,3,5,7
/proc/5360/stat : 5360 (python) R 5358 5360 3958 0 -1 4202496 694 0 0 0 0 0 0 0 20 0 1 0 337716092 15810560 581 33554432000 4194304 5683644 140735924028672 140735924000856 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/5360/statm: 3860 582 326 364 0 302 0
[startup+0.0685671 s]
/proc/loadavg: 4.87 3.82 2.77 3/181 5360
/proc/meminfo: memFree=24690504/32873648 swapFree=7628/7628
[pid=5360] ppid=5358 vsize=46012 CPUtime=0.03 cores=1,3,5,7
/proc/5360/stat : 5360 (python) R 5358 5360 3958 0 -1 4202496 2098 0 0 0 3 0 0 0 20 0 1 0 337716092 47116288 1708 33554432000 4194304 5683644 140735924028672 140735923972904 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/5360/statm: 11503 1709 479 364 0 1207 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 46012
[startup+0.100192 s]
/proc/loadavg: 4.87 3.82 2.77 3/181 5360
/proc/meminfo: memFree=24690504/32873648 swapFree=7628/7628
[pid=5360] ppid=5358 vsize=92388 CPUtime=0.06 cores=1,3,5,7
/proc/5360/stat : 5360 (python) R 5358 5360 3958 0 -1 4202496 3220 506 1 0 5 1 0 0 20 0 1 0 337716092 94605312 2540 33554432000 4194304 5683644 140735924028672 140735923981144 5168691 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/5360/statm: 23097 2540 816 364 0 1619 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 92388
[startup+0.300203 s]
/proc/loadavg: 4.87 3.82 2.77 3/181 5360
/proc/meminfo: memFree=24690504/32873648 swapFree=7628/7628
[pid=5360] ppid=5358 vsize=166944 CPUtime=0.2 cores=1,3,5,7
/proc/5360/stat : 5360 (python) R 5358 5360 3958 0 -1 4202496 6562 1011 1 0 16 4 0 0 20 0 1 0 337716092 170950656 4351 33554432000 4194304 5683644 140735924028672 140735923932904 139930949600271 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/5360/statm: 41736 4351 1227 364 0 3289 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 166944
[startup+0.700146 s]
/proc/loadavg: 4.87 3.82 2.77 3/181 5360
/proc/meminfo: memFree=24690504/32873648 swapFree=7628/7628
[pid=5360] ppid=5358 vsize=358696 CPUtime=0.5 cores=1,3,5,7
/proc/5360/stat : 5360 (python) S 5358 5360 3958 0 -1 4202496 10729 1011 1 0 42 8 0 0 20 0 2 0 337716092 367304704 7535 33554432000 4194304 5683644 140735924028672 140735924023504 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5360/statm: 89674 7535 1900 364 0 24897 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 358696
############
# WARNING:
# current cumulated CPU time (0.5 s) is less than in the last sample (1.59 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1.09 s) to the 'lost time'.
[startup+1.1073 s]
/proc/loadavg: 4.87 3.82 2.77 5/203 5386
/proc/meminfo: memFree=24622000/32873648 swapFree=7628/7628
[pid=5360] ppid=5358 vsize=358696 CPUtime=0.5 cores=1,3,5,7
/proc/5360/stat : 5360 (python) S 5358 5360 3958 0 -1 4202496 10729 1011 1 0 42 8 0 0 20 0 2 0 337716092 367304704 7535 33554432000 4194304 5683644 140735924028672 140735924023504 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5360/statm: 89674 7535 1900 364 0 24897 0
[pid=5366] ppid=5360 vsize=282916 CPUtime=0 cores=1,3,5,7
/proc/5366/stat : 5366 (python) S 5360 5360 3958 0 -1 4202560 772 0 0 0 0 0 0 0 20 0 1 0 337716154 289705984 5970 33554432000 4194304 5683644 140735924028672 140735924019760 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/5366/statm: 70729 5970 341 364 0 5952 0
[pid=5368] ppid=5366 vsize=9624972 CPUtime=1.09 cores=1,3,5,7
/proc/5368/stat : 5368 (java) S 5366 5368 5368 0 -1 4202496 14707 0 1 0 105 4 0 0 20 0 19 0 337716154 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140736941435792 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5368/statm: 2406243 15632 2233 9 0 2396937 0
[pid=5368/tid=5369] ppid=5366 vsize=9624972 CPUtime=0.46 cores=1,3,5,7
/proc/5368/task/5369/stat : 5369 (java) R 5366 5368 5368 0 -1 4202560 2490 0 1 0 44 2 0 0 20 0 19 0 337716155 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165982536480 140165922318156 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5368/tid=5370] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5370/stat : 5370 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716155 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165826522152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5368/tid=5371] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5371/stat : 5371 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716155 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165825469352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5368/tid=5372] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5372/stat : 5372 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716156 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165824416552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5368/tid=5373] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5373/stat : 5373 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716156 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165823363752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5368/tid=5374] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5374/stat : 5374 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716156 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165822310952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5368/tid=5375] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5375/stat : 5375 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716156 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165821258152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5368/tid=5376] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5376/stat : 5376 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716156 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165820205352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5368/tid=5377] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5377/stat : 5377 (java) S 5366 5368 5368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337716156 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165819152552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5368/tid=5378] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5378/stat : 5378 (java) S 5366 5368 5368 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337716157 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165806742504 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5368/tid=5379] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5379/stat : 5379 (java) S 5366 5368 5368 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337716157 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165805688568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5368/tid=5380] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5380/stat : 5380 (java) S 5366 5368 5368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337716157 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165804635656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5368/tid=5381] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5381/stat : 5381 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716159 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165803584144 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5368/tid=5382] ppid=5366 vsize=9624972 CPUtime=0.31 cores=1,3,5,7
/proc/5368/task/5382/stat : 5382 (java) R 5366 5368 5368 0 -1 4202560 6250 0 0 0 29 2 0 0 20 0 19 0 337716159 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165802508408 140165989352349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5368/tid=5383] ppid=5366 vsize=9624972 CPUtime=0.28 cores=1,3,5,7
/proc/5368/task/5383/stat : 5383 (java) R 5366 5368 5368 0 -1 4202560 4558 0 0 0 28 0 0 0 20 0 19 0 337716159 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165801466024 140165989338257 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5368/tid=5384] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5384/stat : 5384 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716159 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165800425848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5368/tid=5385] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5385/stat : 5385 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716159 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165799373256 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5368/tid=5386] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5386/stat : 5386 (java) S 5366 5368 5368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337716188 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165798319784 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5360/tid=5367] ppid=5358 vsize=358696 CPUtime=0 cores=1,3,5,7
/proc/5360/task/5367/stat : 5367 (python) S 5358 5360 3958 0 -1 4202560 26 1011 0 0 0 0 0 0 20 0 2 0 337716154 367304704 7535 33554432000 4194304 5683644 140735924028672 139930778972720 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10266584
[startup+1.20082 s]
/proc/loadavg: 4.87 3.82 2.77 5/203 5386
/proc/meminfo: memFree=24622000/32873648 swapFree=7628/7628
[pid=5360] ppid=5358 vsize=358696 CPUtime=0.5 cores=1,3,5,7
/proc/5360/stat : 5360 (python) S 5358 5360 3958 0 -1 4202496 11027 1011 1 0 42 8 0 0 20 0 1 0 337716092 367304704 7537 33554432000 4194304 5683644 140735924028672 140735924025296 217413906525 0 0 16781312 33554434 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5360/statm: 89674 7537 1902 364 0 24897 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 358696
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+1.1073 s]
/proc/loadavg: 4.87 3.82 2.77 5/203 5386
/proc/meminfo: memFree=24622000/32873648 swapFree=7628/7628
[pid=5360] ppid=5358 vsize=358696 CPUtime=0.5 cores=1,3,5,7
/proc/5360/stat : 5360 (python) S 5358 5360 3958 0 -1 4202496 10729 1011 1 0 42 8 0 0 20 0 2 0 337716092 367304704 7535 33554432000 4194304 5683644 140735924028672 140735924023504 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5360/statm: 89674 7535 1900 364 0 24897 0
[pid=5366] ppid=5360 vsize=282916 CPUtime=0 cores=1,3,5,7
/proc/5366/stat : 5366 (python) S 5360 5360 3958 0 -1 4202560 772 0 0 0 0 0 0 0 20 0 1 0 337716154 289705984 5970 33554432000 4194304 5683644 140735924028672 140735924019760 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/5366/statm: 70729 5970 341 364 0 5952 0
[pid=5368] ppid=5366 vsize=9624972 CPUtime=1.09 cores=1,3,5,7
/proc/5368/stat : 5368 (java) S 5366 5368 5368 0 -1 4202496 14707 0 1 0 105 4 0 0 20 0 19 0 337716154 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140736941435792 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5368/statm: 2406243 15632 2233 9 0 2396937 0
[pid=5368/tid=5369] ppid=5366 vsize=9624972 CPUtime=0.46 cores=1,3,5,7
/proc/5368/task/5369/stat : 5369 (java) R 5366 5368 5368 0 -1 4202560 2490 0 1 0 44 2 0 0 20 0 19 0 337716155 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165982536480 140165922318156 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5368/tid=5370] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5370/stat : 5370 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716155 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165826522152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5368/tid=5371] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5371/stat : 5371 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716155 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165825469352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5368/tid=5372] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5372/stat : 5372 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716156 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165824416552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5368/tid=5373] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5373/stat : 5373 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716156 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165823363752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5368/tid=5374] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5374/stat : 5374 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716156 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165822310952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5368/tid=5375] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5375/stat : 5375 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716156 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165821258152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5368/tid=5376] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5376/stat : 5376 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716156 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165820205352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5368/tid=5377] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5377/stat : 5377 (java) S 5366 5368 5368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337716156 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165819152552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5368/tid=5378] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5378/stat : 5378 (java) S 5366 5368 5368 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337716157 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165806742504 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5368/tid=5379] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5379/stat : 5379 (java) S 5366 5368 5368 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337716157 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165805688568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5368/tid=5380] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5380/stat : 5380 (java) S 5366 5368 5368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337716157 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165804635656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5368/tid=5381] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5381/stat : 5381 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716159 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165803584144 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5368/tid=5382] ppid=5366 vsize=9624972 CPUtime=0.31 cores=1,3,5,7
/proc/5368/task/5382/stat : 5382 (java) R 5366 5368 5368 0 -1 4202560 6250 0 0 0 29 2 0 0 20 0 19 0 337716159 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165802508408 140165989352349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5368/tid=5383] ppid=5366 vsize=9624972 CPUtime=0.28 cores=1,3,5,7
/proc/5368/task/5383/stat : 5383 (java) R 5366 5368 5368 0 -1 4202560 4558 0 0 0 28 0 0 0 20 0 19 0 337716159 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165801466024 140165989338257 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5368/tid=5384] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5384/stat : 5384 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716159 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165800425848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5368/tid=5385] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5385/stat : 5385 (java) S 5366 5368 5368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337716159 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165799373256 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5368/tid=5386] ppid=5366 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5386/stat : 5386 (java) S 5366 5368 5368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337716188 9855971328 15632 33554432000 1073741824 1073778376 140736941444656 140165798319784 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5360/tid=5367] ppid=5358 vsize=358696 CPUtime=0 cores=1,3,5,7
/proc/5360/task/5367/stat : 5367 (python) S 5358 5360 3958 0 -1 4202560 26 1011 0 0 0 0 0 0 20 0 2 0 337716154 367304704 7535 33554432000 4194304 5683644 140735924028672 139930778972720 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10266584
[startup+1.20082 s]
/proc/loadavg: 4.87 3.82 2.77 5/203 5386
/proc/meminfo: memFree=24622000/32873648 swapFree=7628/7628
[pid=5360] ppid=5358 vsize=358696 CPUtime=0.5 cores=1,3,5,7
/proc/5360/stat : 5360 (python) S 5358 5360 3958 0 -1 4202496 11027 1011 1 0 42 8 0 0 20 0 1 0 337716092 367304704 7537 33554432000 4194304 5683644 140735924028672 140735924025296 217413906525 0 0 16781312 33554434 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5360/statm: 89674 7537 1902 364 0 24897 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 358696
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1.09
# lost CPU user time (s): 1.05
# lost CPU system time (s): 0.04
Real time (s): 1.22281
CPU time (s): 2.97871
CPU user time (s): 2.77374
CPU system time (s): 0.204974
CPU usage (%): 243.595
Max. virtual memory (cumulated for all children) (KiB): 10266584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.72374
system time used= 0.164974
maximum resident set size= 72872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32645
page faults= 2
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1314
involuntary context switches= 36
runsolver used 0.003999 second user time and 0.011998 second system time
The end