runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15299 MiB free)
memory of node 1: 16384 MiB (14445 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283863-1503205655/watcher-4283863-1503205655 -o /tmp/evaluation-result-4283863-1503205655/solver-4283863-1503205655 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503172050-30419 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1256064184 HOME/instance-4283863-1503205655.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3439, runsolver pid=3436
[startup+0.100168 s]*
/proc/loadavg: 1.93 2.00 1.95 2/196 3440
/proc/meminfo: memFree=30458588/32770624 swapFree=67108860/67108860
[pid=3439] ppid=3436 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/3439/stat : 3439 (runsolver) D 3436 3439 15523 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 1 0 18973511 34791424 114 18446744073709551615 4194304 4346622 140726233080432 140726233077064 140408373928663 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6446216 6449568 19243008 140726233088055 140726233088549 140726233088549 140726233092042 0
/proc/3439/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.209206 s]*
/proc/loadavg: 1.93 2.00 1.95 2/196 3440
/proc/meminfo: memFree=30458588/32770624 swapFree=67108860/67108860
[pid=3439] ppid=3436 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/3439/stat : 3439 (runsolver) D 3436 3439 15523 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 1 0 18973511 34791424 114 18446744073709551615 4194304 4346622 140726233080432 140726233077064 140408373928663 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6446216 6449568 19243008 140726233088055 140726233088549 140726233088549 140726233092042 0
/proc/3439/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.308968 s]*
/proc/loadavg: 1.93 2.00 1.95 2/196 3440
/proc/meminfo: memFree=30458588/32770624 swapFree=67108860/67108860
[pid=3439] ppid=3436 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/3439/stat : 3439 (runsolver) D 3436 3439 15523 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 1 0 18973511 34791424 114 18446744073709551615 4194304 4346622 140726233080432 140726233077064 140408373928663 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6446216 6449568 19243008 140726233088055 140726233088549 140726233088549 140726233092042 0
/proc/3439/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.700732 s]
/proc/loadavg: 1.93 2.00 1.95 2/210 3454
/proc/meminfo: memFree=30447284/32770624 swapFree=67108860/67108860
[pid=3439] ppid=3436 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3439/stat : 3439 (xcsp3-exec) S 3436 3439 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18973511 9740288 345 18446744073709551615 4194304 5098028 140725151227616 140725151225720 140079380279932 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 35 0 0 7196144 7232144 12566528 140725151232377 140725151232582 140725151232582 140725151236075 0
/proc/3439/statm: 2378 345 289 221 0 87 0
[pid=3441] ppid=3439 vsize=13907304 memory=22128 CPUtime=0.05 cores=0,2,4,6
/proc/3441/stat : 3441 (java) S 3439 3439 15523 0 -1 1077944320 4937 0 0 0 5 0 0 0 20 0 14 0 18973546 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140736080588480 140714611924727 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
/proc/3441/statm: 3476826 5532 2561 1 0 3466323 0
[pid=3441/tid=3442] ppid=3439 vsize=13907304 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3441/task/3442/stat : 3442 (java) D 3439 3439 15523 0 -1 4202560 3104 0 0 0 4 0 0 0 20 0 14 0 18973547 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714616162208 140714611946749 0 4 1 16800974 18446744071580418449 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3443] ppid=3439 vsize=13907304 memory=54 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3443/stat : 3443 (java) S 3439 3439 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 18973547 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714546359312 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3444] ppid=3439 vsize=13907304 memory=140408376877553 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3444/stat : 3444 (java) S 3439 3439 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 18973547 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714545306768 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3445] ppid=3439 vsize=13907304 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3445/stat : 3445 (java) S 3439 3439 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 18973547 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714544253712 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3446] ppid=3439 vsize=13907304 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3446/stat : 3446 (java) S 3439 3439 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 18973547 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714543201168 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3447] ppid=3439 vsize=13907304 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3447/stat : 3447 (java) S 3439 3439 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 18973549 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714089863408 140714611935874 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3448] ppid=3439 vsize=13907304 memory=-7684191407570971757 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3448/stat : 3448 (java) S 3439 3439 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 18973549 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714088809632 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3449] ppid=3439 vsize=13907304 memory=-7523660553960122769 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3449/stat : 3449 (java) S 3439 3439 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 18973550 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714087756528 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3450] ppid=3439 vsize=13907304 memory=-2541025662029814883 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3450/stat : 3450 (java) S 3439 3439 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 18973552 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714086705104 140714611943323 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3451] ppid=3439 vsize=13907304 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3451/stat : 3451 (java) S 3439 3439 15523 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 14 0 18973552 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714085653232 140714611935874 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3452] ppid=3439 vsize=13907304 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3452/stat : 3452 (java) S 3439 3439 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 18973552 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714084600688 140714611935874 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3453] ppid=3439 vsize=13907304 memory=6944656592385698452 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3453/stat : 3453 (java) S 3439 3439 15523 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 14 0 18973552 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714083547632 140714611935874 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3454] ppid=3439 vsize=13907304 memory=-5940348547849083487 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3454/stat : 3454 (java) S 3439 3439 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 18973552 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714082495328 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23508 KiB
[startup+1.50064 s]
/proc/loadavg: 1.93 2.00 1.95 2/210 3454
/proc/meminfo: memFree=30446856/32770624 swapFree=67108860/67108860
[pid=3439] ppid=3436 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3439/stat : 3439 (xcsp3-exec) S 3436 3439 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18973511 9740288 345 18446744073709551615 4194304 5098028 140725151227616 140725151225720 140079380279932 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 35 0 0 7196144 7232144 12566528 140725151232377 140725151232582 140725151232582 140725151236075 0
/proc/3439/statm: 2378 345 289 221 0 87 0
[pid=3441] ppid=3439 vsize=13907304 memory=22128 CPUtime=0.05 cores=0,2,4,6
/proc/3441/stat : 3441 (java) S 3439 3439 15523 0 -1 1077944320 4937 0 0 0 5 0 0 0 20 0 14 0 18973546 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140736080588480 140714611924727 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
/proc/3441/statm: 3476826 5532 2561 1 0 3466323 0
[pid=3441/tid=3442] ppid=3439 vsize=13907304 memory=-2746958450906831424 CPUtime=0.04 cores=0,2,4,6
/proc/3441/task/3442/stat : 3442 (java) D 3439 3439 15523 0 -1 4202560 3104 0 0 0 4 0 0 0 20 0 14 0 18973547 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714616162208 140714611946749 0 4 1 16800974 18446744071580418449 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3443] ppid=3439 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3443/stat : 3443 (java) S 3439 3439 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 18973547 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714546359312 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3444] ppid=3439 vsize=13907304 memory=140408252366398 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3444/stat : 3444 (java) S 3439 3439 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 18973547 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714545306768 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3445] ppid=3439 vsize=13907304 memory=140408252651984 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3445/stat : 3445 (java) S 3439 3439 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 18973547 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714544253712 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3446] ppid=3439 vsize=13907304 memory=140408252652256 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3446/stat : 3446 (java) S 3439 3439 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 18973547 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714543201168 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3447] ppid=3439 vsize=13907304 memory=140408252652352 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3447/stat : 3447 (java) S 3439 3439 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 18973549 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714089863408 140714611935874 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3448] ppid=3439 vsize=13907304 memory=1891262007041 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3448/stat : 3448 (java) S 3439 3439 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 18973549 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714088809632 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3449] ppid=3439 vsize=13907304 memory=1942801614593 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3449/stat : 3449 (java) S 3439 3439 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 18973550 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714087756528 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3450] ppid=3439 vsize=13907304 memory=2350823507713 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3450/stat : 3450 (java) S 3439 3439 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 18973552 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714086705104 140714611943323 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3451] ppid=3439 vsize=13907304 memory=2441017820929 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3451/stat : 3451 (java) S 3439 3439 15523 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 14 0 18973552 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714085653232 140714611935874 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3452] ppid=3439 vsize=13907304 memory=2445312788225 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3452/stat : 3452 (java) S 3439 3439 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 18973552 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714084600688 140714611935874 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3453] ppid=3439 vsize=13907304 memory=2458197690113 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3453/stat : 3453 (java) S 3439 3439 15523 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 14 0 18973552 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714083547632 140714611935874 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3454] ppid=3439 vsize=13907304 memory=2466787624705 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3454/stat : 3454 (java) S 3439 3439 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 18973552 14241079296 5532 18446744073709551615 4194304 4196468 140736080605936 140714082495328 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23508 KiB
[startup+3.11036 s]
/proc/loadavg: 1.93 2.00 1.95 4/211 3455
/proc/meminfo: memFree=30423636/32770624 swapFree=67108860/67108860
[pid=3439] ppid=3436 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3439/stat : 3439 (xcsp3-exec) S 3436 3439 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18973511 9740288 345 18446744073709551615 4194304 5098028 140725151227616 140725151225720 140079380279932 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 35 0 0 7196144 7232144 12566528 140725151232377 140725151232582 140725151232582 140725151236075 0
/proc/3439/statm: 2378 345 289 221 0 87 0
[pid=3441] ppid=3439 vsize=13978608 memory=65128 CPUtime=0.86 cores=0,2,4,6
/proc/3441/stat : 3441 (java) S 3439 3439 15523 0 -1 1077944320 12514 0 0 0 82 4 0 0 20 0 15 0 18973546 14314094592 16282 18446744073709551615 4194304 4196468 140736080605936 140736080588480 140714611924727 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
/proc/3441/statm: 3494652 16282 3121 1 0 3482964 0
[pid=3441/tid=3442] ppid=3439 vsize=13978608 memory=22128 CPUtime=0.41 cores=0,2,4,6
/proc/3441/task/3442/stat : 3442 (java) R 3439 3439 15523 0 -1 4202560 7561 0 0 0 38 3 0 0 20 0 15 0 18973547 14314094592 16282 18446744073709551615 4194304 4196468 140736080605936 140714616162544 140714611946653 0 4 1 16800974 0 0 0 -1 4 0 0 233 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3443] ppid=3439 vsize=13978608 memory=280816504961536 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3443/stat : 3443 (java) S 3439 3439 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18973547 14314094592 16282 18446744073709551615 4194304 4196468 140736080605936 140714546359312 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3444] ppid=3439 vsize=13978608 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3444/stat : 3444 (java) S 3439 3439 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18973547 14314094592 16282 18446744073709551615 4194304 4196468 140736080605936 140714545306768 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3445] ppid=3439 vsize=13978608 memory=55 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3445/stat : 3445 (java) S 3439 3439 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18973547 14314094592 16282 18446744073709551615 4194304 4196468 140736080605936 140714544253712 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3446] ppid=3439 vsize=13978608 memory=280816505023568 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3446/stat : 3446 (java) S 3439 3439 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18973547 14314094592 16282 18446744073709551615 4194304 4196468 140736080605936 140714543201168 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3447] ppid=3439 vsize=13978608 memory=4496378513408616292 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3447/stat : 3447 (java) S 3439 3439 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18973549 14314094592 16282 18446744073709551615 4194304 4196468 140736080605936 140714089863408 140714611935874 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3448] ppid=3439 vsize=13978608 memory=7373912391685269093 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3448/stat : 3448 (java) S 3439 3439 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18973549 14314094592 16282 18446744073709551615 4194304 4196468 140736080605936 140714088809632 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3449] ppid=3439 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3449/stat : 3449 (java) S 3439 3439 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18973550 14314094592 16282 18446744073709551615 4194304 4196468 140736080605936 140714087756528 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3450] ppid=3439 vsize=13978608 memory=9156 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3450/stat : 3450 (java) S 3439 3439 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18973552 14314094592 16282 18446744073709551615 4194304 4196468 140736080605936 140714086705104 140714611943323 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3451] ppid=3439 vsize=13978608 memory=19098 CPUtime=0.15 cores=0,2,4,6
/proc/3441/task/3451/stat : 3451 (java) R 3439 3439 15523 0 -1 4202560 1679 0 0 0 15 0 0 0 20 0 15 0 18973552 14314094592 16282 18446744073709551615 4194304 4196468 140736080605936 140714085649600 140714591296359 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3452] ppid=3439 vsize=13978608 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/3441/task/3452/stat : 3452 (java) R 3439 3439 15523 0 -1 4202560 613 0 0 0 11 0 0 0 20 0 15 0 18973552 14314094592 16282 18446744073709551615 4194304 4196468 140736080605936 140714084581704 140714589149696 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3453] ppid=3439 vsize=13978608 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/3441/task/3453/stat : 3453 (java) S 3439 3439 15523 0 -1 1077944384 1355 0 0 0 17 0 0 0 20 0 15 0 18973552 14314094592 16282 18446744073709551615 4194304 4196468 140736080605936 140714083547632 140714611935874 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3454] ppid=3439 vsize=13978608 memory=140408252334472 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3454/stat : 3454 (java) S 3439 3439 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18973552 14314094592 16282 18446744073709551615 4194304 4196468 140736080605936 140714082495328 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3455] ppid=3439 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3455/stat : 3455 (java) S 3439 3439 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18973786 14314094592 16282 18446744073709551615 4194304 4196468 140736080605936 140714081442352 140714611935874 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 66508 KiB
heavy processes:
[startup+6.30083 s]
/proc/loadavg: 1.93 2.00 1.95 3/211 3455
/proc/meminfo: memFree=29769192/32770624 swapFree=67108860/67108860
[pid=3439] ppid=3436 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3439/stat : 3439 (xcsp3-exec) S 3436 3439 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18973511 9740288 345 18446744073709551615 4194304 5098028 140725151227616 140725151225720 140079380279932 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 35 0 0 7196144 7232144 12566528 140725151232377 140725151232582 140725151232582 140725151236075 0
/proc/3439/statm: 2378 345 289 221 0 87 0
[pid=3441] ppid=3439 vsize=13980732 memory=702156 CPUtime=8.53 cores=0,2,4,6
/proc/3441/stat : 3441 (java) S 3439 3439 15523 0 -1 1077944320 19891 0 0 0 824 29 0 0 20 0 15 0 18973546 14316269568 175539 18446744073709551615 4194304 4196468 140736080605936 140736080588480 140714611924727 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
/proc/3441/statm: 3495183 175539 3236 1 0 3483476 0
[pid=3441/tid=3442] ppid=3439 vsize=13980732 memory=13656 CPUtime=3.39 cores=0,2,4,6
/proc/3441/task/3442/stat : 3442 (java) R 3439 3439 15523 0 -1 4202560 9188 0 0 0 329 10 0 0 20 0 15 0 18973547 14316269568 175539 18446744073709551615 4194304 4196468 140736080605936 140714616163904 140714225654485 0 4 1 16800974 0 0 0 -1 0 0 0 233 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3443] ppid=3439 vsize=13980732 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/3441/task/3443/stat : 3443 (java) S 3439 3439 15523 0 -1 1077944384 221 0 0 0 10 4 0 0 20 0 15 0 18973547 14316269568 175539 18446744073709551615 4194304 4196468 140736080605936 140714546359312 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3444] ppid=3439 vsize=13980732 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/3441/task/3444/stat : 3444 (java) S 3439 3439 15523 0 -1 1077944384 250 0 0 0 13 3 0 0 20 0 15 0 18973547 14316269568 175539 18446744073709551615 4194304 4196468 140736080605936 140714545306768 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3445] ppid=3439 vsize=13980732 memory=4420 CPUtime=0.14 cores=0,2,4,6
/proc/3441/task/3445/stat : 3445 (java) S 3439 3439 15523 0 -1 1077944384 100 0 0 0 11 3 0 0 20 0 15 0 18973547 14316269568 175539 18446744073709551615 4194304 4196468 140736080605936 140714544253712 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3446] ppid=3439 vsize=13980732 memory=6628 CPUtime=0.16 cores=0,2,4,6
/proc/3441/task/3446/stat : 3446 (java) S 3439 3439 15523 0 -1 1077944384 351 0 0 0 12 4 0 0 20 0 15 0 18973547 14316269568 175539 18446744073709551615 4194304 4196468 140736080605936 140714543201168 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3447] ppid=3439 vsize=13980732 memory=8836 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
Solver just ended.
Dumping a history of the last processes samples
[startup+1726.4 s]
/proc/loadavg: 4.15 3.33 2.54 6/210 4340
/proc/meminfo: memFree=19385324/32770624 swapFree=67108860/67108860
[pid=3441] ppid=3436 vsize=14046268 memory=11900272 CPUtime=2522.62 cores=0,2,4,6
/proc/3441/stat : 3441 (java) S 3436 3439 15523 0 -1 1077944320 1514055 0 0 0 250935 1327 0 0 20 0 15 0 18973546 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140736080588480 140714611924727 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
/proc/3441/statm: 3511567 2975068 3252 1 0 3499860 0
[pid=3441/tid=3442] ppid=3436 vsize=14046268 memory=1296 CPUtime=1432.89 cores=0,2,4,6
/proc/3441/task/3442/stat : 3442 (java) S 3436 3439 15523 0 -1 1077944384 33959 0 0 0 143260 29 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714616164368 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 233 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3443] ppid=3436 vsize=14046268 memory=1008 CPUtime=265.8 cores=0,2,4,6
/proc/3441/task/3443/stat : 3443 (java) R 3436 3439 15523 0 -1 4202560 511690 0 0 0 26233 347 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714546359208 140714604552935 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3444] ppid=3436 vsize=14046268 memory=1228 CPUtime=266.85 cores=0,2,4,6
/proc/3441/task/3444/stat : 3444 (java) R 3436 3439 15523 0 -1 4202560 309817 0 0 0 26369 316 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714545306352 140714604552935 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3445] ppid=3436 vsize=14046268 memory=1704 CPUtime=267.19 cores=0,2,4,6
/proc/3441/task/3445/stat : 3445 (java) R 3436 3439 15523 0 -1 4202560 155709 0 0 0 26420 299 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714544253296 140714604552935 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3446] ppid=3436 vsize=14046268 memory=1996 CPUtime=268.59 cores=0,2,4,6
/proc/3441/task/3446/stat : 3446 (java) R 3436 3439 15523 0 -1 4202560 395316 0 0 0 26571 288 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714543201368 140714596876202 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3447] ppid=3436 vsize=14046268 memory=1440 CPUtime=15.77 cores=0,2,4,6
/proc/3441/task/3447/stat : 3447 (java) S 3436 3439 15523 0 -1 1077944384 94908 0 0 0 1571 6 0 0 20 0 15 0 18973549 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714089861728 140714611934933 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3448] ppid=3436 vsize=14046268 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3448/stat : 3448 (java) S 3436 3439 15523 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 18973549 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714088809696 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3449] ppid=3436 vsize=14046268 memory=140408252761904 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3449/stat : 3449 (java) S 3436 3439 15523 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 18973550 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714087756544 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3450] ppid=3436 vsize=14046268 memory=6944656592452938395 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3450/stat : 3450 (java) S 3436 3439 15523 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714086704752 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3451] ppid=3436 vsize=14046268 memory=1399101730491701635 CPUtime=1.92 cores=0,2,4,6
/proc/3441/task/3451/stat : 3451 (java) S 3436 3439 15523 0 -1 1077944384 3572 0 0 0 192 0 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714085652992 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3452] ppid=3436 vsize=14046268 memory=7680170660397595203 CPUtime=1.95 cores=0,2,4,6
/proc/3441/task/3452/stat : 3452 (java) S 3436 3439 15523 0 -1 1077944384 2869 0 0 0 194 1 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714084600736 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3453] ppid=3436 vsize=14046268 memory=11900272 CPUtime=0.61 cores=0,2,4,6
/proc/3441/task/3453/stat : 3453 (java) S 3436 3439 15523 0 -1 1077944384 2625 0 0 0 60 1 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714083547680 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3454] ppid=3436 vsize=14046268 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3454/stat : 3454 (java) S 3436 3439 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714082495328 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3455] ppid=3436 vsize=14046268 memory=7680170660397595203 CPUtime=0.95 cores=0,2,4,6
/proc/3441/task/3455/stat : 3455 (java) S 3436 3439 15523 0 -1 1077944384 2259 0 0 0 45 50 0 0 20 0 15 0 18973786 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714081442352 140714611935874 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
Current cumulated CPU time of completed processes: 0.002232 s
Current children cumulated CPU time: 2522.62 s
Current children cumulated vsize: 14046268 KiB
Current children cumulated memory: 11900272 KiB
[startup+1727.2 s]
/proc/loadavg: 4.15 3.33 2.54 6/210 4340
/proc/meminfo: memFree=19385340/32770624 swapFree=67108860/67108860
[pid=3441] ppid=3436 vsize=14046268 memory=11900272 CPUtime=2525.71 cores=0,2,4,6
/proc/3441/stat : 3441 (java) S 3436 3439 15523 0 -1 1077944320 1514055 0 0 0 251243 1328 0 0 20 0 15 0 18973546 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140736080588480 140714611924727 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
/proc/3441/statm: 3511567 2975068 3252 1 0 3499860 0
[pid=3441/tid=3442] ppid=3436 vsize=14046268 memory=1296 CPUtime=1432.89 cores=0,2,4,6
/proc/3441/task/3442/stat : 3442 (java) S 3436 3439 15523 0 -1 1077944384 33959 0 0 0 143260 29 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714616164368 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 233 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3443] ppid=3436 vsize=14046268 memory=2412 CPUtime=266.56 cores=0,2,4,6
/proc/3441/task/3443/stat : 3443 (java) R 3436 3439 15523 0 -1 4202560 511690 0 0 0 26308 348 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714546359208 140714604552935 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3444] ppid=3436 vsize=14046268 memory=7680170660397595203 CPUtime=267.62 cores=0,2,4,6
/proc/3441/task/3444/stat : 3444 (java) R 3436 3439 15523 0 -1 4202560 309817 0 0 0 26446 316 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714545306352 140714604552935 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3445] ppid=3436 vsize=14046268 memory=956 CPUtime=267.97 cores=0,2,4,6
/proc/3441/task/3445/stat : 3445 (java) R 3436 3439 15523 0 -1 4202560 155709 0 0 0 26497 300 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714544253296 140714604552935 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3446] ppid=3436 vsize=14046268 memory=2240 CPUtime=269.39 cores=0,2,4,6
/proc/3441/task/3446/stat : 3446 (java) R 3436 3439 15523 0 -1 4202560 395316 0 0 0 26651 288 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714543201368 140714596622479 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3447] ppid=3436 vsize=14046268 memory=4300 CPUtime=15.77 cores=0,2,4,6
/proc/3441/task/3447/stat : 3447 (java) S 3436 3439 15523 0 -1 1077944384 94908 0 0 0 1571 6 0 0 20 0 15 0 18973549 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714089861728 140714611934933 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3448] ppid=3436 vsize=14046268 memory=11900272 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3448/stat : 3448 (java) S 3436 3439 15523 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 18973549 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714088809696 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3449] ppid=3436 vsize=14046268 memory=11900272 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3449/stat : 3449 (java) S 3436 3439 15523 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 18973550 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714087756544 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3450] ppid=3436 vsize=14046268 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3450/stat : 3450 (java) S 3436 3439 15523 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714086704752 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3451] ppid=3436 vsize=14046268 memory=1200 CPUtime=1.92 cores=0,2,4,6
/proc/3441/task/3451/stat : 3451 (java) S 3436 3439 15523 0 -1 1077944384 3572 0 0 0 192 0 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714085652992 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3452] ppid=3436 vsize=14046268 memory=15872 CPUtime=1.95 cores=0,2,4,6
/proc/3441/task/3452/stat : 3452 (java) S 3436 3439 15523 0 -1 1077944384 2869 0 0 0 194 1 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714084600736 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3453] ppid=3436 vsize=14046268 memory=18448 CPUtime=0.61 cores=0,2,4,6
/proc/3441/task/3453/stat : 3453 (java) S 3436 3439 15523 0 -1 1077944384 2625 0 0 0 60 1 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714083547680 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3454] ppid=3436 vsize=14046268 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3454/stat : 3454 (java) S 3436 3439 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714082495328 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3455] ppid=3436 vsize=14046268 memory=9396 CPUtime=0.95 cores=0,2,4,6
/proc/3441/task/3455/stat : 3455 (java) S 3436 3439 15523 0 -1 1077944384 2259 0 0 0 45 50 0 0 20 0 15 0 18973786 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714081442352 140714611935874 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
Current cumulated CPU time of completed processes: 0.002232 s
Current children cumulated CPU time: 2525.71 s
Current children cumulated vsize: 14046268 KiB
Current children cumulated memory: 11900272 KiB
[startup+1727.6 s]
/proc/loadavg: 4.15 3.33 2.54 6/210 4340
/proc/meminfo: memFree=19385340/32770624 swapFree=67108860/67108860
[pid=3441] ppid=3436 vsize=14046268 memory=11900272 CPUtime=2527.27 cores=0,2,4,6
/proc/3441/stat : 3441 (java) S 3436 3439 15523 0 -1 1077944320 1514055 0 0 0 251398 1329 0 0 20 0 15 0 18973546 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140736080588480 140714611924727 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
/proc/3441/statm: 3511567 2975068 3252 1 0 3499860 0
[pid=3441/tid=3442] ppid=3436 vsize=14046268 memory=2160 CPUtime=1432.89 cores=0,2,4,6
/proc/3441/task/3442/stat : 3442 (java) S 3436 3439 15523 0 -1 1077944384 33959 0 0 0 143260 29 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714616164368 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 233 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3443] ppid=3436 vsize=14046268 memory=840 CPUtime=266.93 cores=0,2,4,6
/proc/3441/task/3443/stat : 3443 (java) R 3436 3439 15523 0 -1 4202560 511690 0 0 0 26345 348 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714546359208 140714604552935 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3444] ppid=3436 vsize=14046268 memory=4064 CPUtime=268 cores=0,2,4,6
/proc/3441/task/3444/stat : 3444 (java) S 3436 3439 15523 0 -1 1077944384 309817 0 0 0 26484 316 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714545306352 140714611935874 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3445] ppid=3436 vsize=14046268 memory=7680170660397595203 CPUtime=268.35 cores=0,2,4,6
/proc/3441/task/3445/stat : 3445 (java) R 3436 3439 15523 0 -1 4202560 155709 0 0 0 26535 300 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714544253296 140714604552935 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3446] ppid=3436 vsize=14046268 memory=13760 CPUtime=269.79 cores=0,2,4,6
/proc/3441/task/3446/stat : 3446 (java) R 3436 3439 15523 0 -1 4202560 395316 0 0 0 26691 288 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714543201368 140714593521489 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3447] ppid=3436 vsize=14046268 memory=1296 CPUtime=15.77 cores=0,2,4,6
/proc/3441/task/3447/stat : 3447 (java) S 3436 3439 15523 0 -1 1077944384 94908 0 0 0 1571 6 0 0 20 0 15 0 18973549 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714089861728 140714611934933 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3448] ppid=3436 vsize=14046268 memory=2412 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3448/stat : 3448 (java) S 3436 3439 15523 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 18973549 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714088809696 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3449] ppid=3436 vsize=14046268 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3449/stat : 3449 (java) S 3436 3439 15523 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 18973550 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714087756544 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3450] ppid=3436 vsize=14046268 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3450/stat : 3450 (java) S 3436 3439 15523 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714086704752 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3451] ppid=3436 vsize=14046268 memory=1228 CPUtime=1.92 cores=0,2,4,6
/proc/3441/task/3451/stat : 3451 (java) S 3436 3439 15523 0 -1 1077944384 3572 0 0 0 192 0 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714085652992 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3452] ppid=3436 vsize=14046268 memory=1704 CPUtime=1.95 cores=0,2,4,6
/proc/3441/task/3452/stat : 3452 (java) S 3436 3439 15523 0 -1 1077944384 2869 0 0 0 194 1 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714084600736 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3453] ppid=3436 vsize=14046268 memory=11952 CPUtime=0.61 cores=0,2,4,6
/proc/3441/task/3453/stat : 3453 (java) S 3436 3439 15523 0 -1 1077944384 2625 0 0 0 60 1 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714083547680 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3454] ppid=3436 vsize=14046268 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3454/stat : 3454 (java) S 3436 3439 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714082495328 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3455] ppid=3436 vsize=14046268 memory=18448 CPUtime=0.95 cores=0,2,4,6
/proc/3441/task/3455/stat : 3455 (java) S 3436 3439 15523 0 -1 1077944384 2259 0 0 0 45 50 0 0 20 0 15 0 18973786 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714081442352 140714611935874 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
Current cumulated CPU time of completed processes: 0.002232 s
Current children cumulated CPU time: 2527.27 s
Current children cumulated vsize: 14046268 KiB
Current children cumulated memory: 11900272 KiB
[startup+1727.8 s]
/proc/loadavg: 4.15 3.33 2.54 6/210 4340
/proc/meminfo: memFree=19385340/32770624 swapFree=67108860/67108860
[pid=3441] ppid=3436 vsize=14046268 memory=11900272 CPUtime=2528.04 cores=0,2,4,6
/proc/3441/stat : 3441 (java) S 3436 3439 15523 0 -1 1077944320 1514055 0 0 0 251475 1329 0 0 20 0 15 0 18973546 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140736080588480 140714611924727 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
/proc/3441/statm: 3511567 2975068 3252 1 0 3499860 0
[pid=3441/tid=3442] ppid=3436 vsize=14046268 memory=9396 CPUtime=1432.89 cores=0,2,4,6
/proc/3441/task/3442/stat : 3442 (java) S 3436 3439 15523 0 -1 1077944384 33959 0 0 0 143260 29 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714616164368 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 233 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3443] ppid=3436 vsize=14046268 memory=1244 CPUtime=267.13 cores=0,2,4,6
/proc/3441/task/3443/stat : 3443 (java) R 3436 3439 15523 0 -1 4202560 511690 0 0 0 26364 349 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714546359208 140714604552935 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3444] ppid=3436 vsize=14046268 memory=644 CPUtime=268.19 cores=0,2,4,6
/proc/3441/task/3444/stat : 3444 (java) R 3436 3439 15523 0 -1 4202560 309817 0 0 0 26503 316 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714545306352 140714604552935 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3445] ppid=3436 vsize=14046268 memory=1792 CPUtime=268.54 cores=0,2,4,6
/proc/3441/task/3445/stat : 3445 (java) R 3436 3439 15523 0 -1 4202560 155709 0 0 0 26554 300 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714544253296 140714604552935 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3446] ppid=3436 vsize=14046268 memory=956 CPUtime=269.99 cores=0,2,4,6
/proc/3441/task/3446/stat : 3446 (java) R 3436 3439 15523 0 -1 4202560 395316 0 0 0 26711 288 0 0 20 0 15 0 18973547 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714543201368 140714593521389 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3447] ppid=3436 vsize=14046268 memory=1440 CPUtime=15.77 cores=0,2,4,6
/proc/3441/task/3447/stat : 3447 (java) S 3436 3439 15523 0 -1 1077944384 94908 0 0 0 1571 6 0 0 20 0 15 0 18973549 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714089861728 140714611934933 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3448] ppid=3436 vsize=14046268 memory=8696 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3448/stat : 3448 (java) S 3436 3439 15523 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 18973549 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714088809696 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3449] ppid=3436 vsize=14046268 memory=792 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3449/stat : 3449 (java) S 3436 3439 15523 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 18973550 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714087756544 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3450] ppid=3436 vsize=14046268 memory=5412 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3450/stat : 3450 (java) S 3436 3439 15523 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714086704752 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3451] ppid=3436 vsize=14046268 memory=4612 CPUtime=1.92 cores=0,2,4,6
/proc/3441/task/3451/stat : 3451 (java) S 3436 3439 15523 0 -1 1077944384 3572 0 0 0 192 0 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714085652992 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3452] ppid=3436 vsize=14046268 memory=1200 CPUtime=1.95 cores=0,2,4,6
/proc/3441/task/3452/stat : 3452 (java) S 3436 3439 15523 0 -1 1077944384 2869 0 0 0 194 1 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714084600736 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3453] ppid=3436 vsize=14046268 memory=15872 CPUtime=0.61 cores=0,2,4,6
/proc/3441/task/3453/stat : 3453 (java) S 3436 3439 15523 0 -1 1077944384 2625 0 0 0 60 1 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714083547680 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3454] ppid=3436 vsize=14046268 memory=11900272 CPUtime=0 cores=0,2,4,6
/proc/3441/task/3454/stat : 3454 (java) S 3436 3439 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18973552 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714082495328 140714611934933 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
[pid=3441/tid=3455] ppid=3436 vsize=14046268 memory=1160 CPUtime=0.95 cores=0,2,4,6
/proc/3441/task/3455/stat : 3455 (java) S 3436 3439 15523 0 -1 1077944384 2259 0 0 0 45 50 0 0 20 0 15 0 18973786 14383378432 2975068 18446744073709551615 4194304 4196468 140736080605936 140714081442352 140714611935874 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140736080613810 140736080613986 140736080613986 140736080617423 0
Current cumulated CPU time of completed processes: 0.002232 s
Current children cumulated CPU time: 2528.04 s
Current children cumulated vsize: 14046268 KiB
Current children cumulated memory: 11900272 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1727.89
CPU time (s): 2528.16
CPU user time (s): 2514.78
CPU system time (s): 13.3848
CPU usage (%): 146.315
Max. virtual memory (cumulated for all children) (KiB): 14055780
Max. memory (cumulated for all children) (KiB): 11901652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.78
system time used= 13.3848
maximum resident set size= 11900648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1514573
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67469
involuntary context switches= 28143
# summary of solver processes directly reported to runsolver:
# pid: 3439,3441
# total CPU time (s): 2528.16
# total CPU user time (s): 2514.78
# total CPU system time (s): 13.3848
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3532 second user time and 16.3404 second system time
The end