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 (15150 MiB free)
memory of node 1: 16384 MiB (12019 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259837-1502648595/watcher-4259837-1502648595 -o /tmp/evaluation-result-4259837-1502648595/solver-4259837-1502648595 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25473 --watchdog 312 bin/concrete HOME/instance-4259837-1502648595.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=582, runsolver pid=577
[startup+0.100061 s]*
/proc/loadavg: 4.51 2.67 2.10 6/200 584
/proc/meminfo: memFree=27813928/32770624 swapFree=67108860/67108860
[pid=582] ppid=577 vsize=9508 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/582/stat : 582 (bash) S 577 582 8289 0 -1 4202496 653 0 0 0 0 0 0 0 20 0 1 0 112674669 9736192 351 18446744073709551615 4194304 5098028 140720755845488 140720755843128 140044536830976 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 9 0 0 7196144 7232144 13303808 140720755847668 140720755847753 140720755847753 140720755851242 0
/proc/582/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9508 KiB
Current children cumulated memory: 1404 KiB
[startup+0.210074 s]*
/proc/loadavg: 4.51 2.67 2.10 5/216 648
/proc/meminfo: memFree=27684940/32770624 swapFree=67108860/67108860
[pid=582] ppid=577 vsize=9636 memory=1512 CPUtime=0.01 cores=0,2,4,6
/proc/582/stat : 582 (bash) S 577 582 8289 0 -1 4202496 899 6487 0 0 0 0 0 1 20 0 1 0 112674669 9867264 378 18446744073709551615 4194304 5098028 140720755845488 140720755839496 140044536830976 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 9 0 0 7196144 7232144 13303808 140720755847668 140720755847753 140720755847753 140720755851242 0
/proc/582/statm: 2409 378 297 221 0 118 0
[pid=625] ppid=582 vsize=9636 memory=708 CPUtime=0 cores=0,2,4,6
/proc/625/stat : 625 (bash) S 582 582 8289 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 1 0 112674680 9867264 177 18446744073709551615 4194304 5098028 140720755845488 140720755838168 140044536656508 0 65536 1 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13303808 140720755847668 140720755847753 140720755847753 140720755851242 0
/proc/625/statm: 2409 177 96 221 0 118 0
[pid=626] ppid=625 vsize=10485312 memory=22836 CPUtime=0.05 cores=0,2,4,6
/proc/626/stat : 626 (java) S 625 582 8289 0 -1 1077944320 4654 0 0 0 4 1 0 0 20 0 14 0 112674680 10736959488 5709 18446744073709551615 4194304 4196468 140726036768608 140726036751152 140560370847479 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25579520 140726036771416 140726036771430 140726036771430 140726036774863 0
/proc/626/statm: 2621328 5709 2573 1 0 2610825 0
[pid=627] ppid=625 vsize=9872 memory=972 CPUtime=0 cores=0,2,4,6
/proc/627/stat : 627 (awk) S 625 582 8289 0 -1 4202496 391 0 0 0 0 0 0 0 20 0 1 0 112674680 10108928 243 18446744073709551615 4194304 4609284 140728315943312 140728315942488 139713674152960 0 0 1 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 7925760 140728315949696 140728315949726 140728315949726 140728315953131 0
/proc/627/statm: 2468 243 203 102 0 88 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10514456 KiB
Current children cumulated memory: 26028 KiB
[startup+0.31036 s]*
/proc/loadavg: 4.51 2.67 2.10 2/213 666
/proc/meminfo: memFree=27635488/32770624 swapFree=67108860/67108860
[pid=582] ppid=577 vsize=13907308 memory=20992 CPUtime=0.14 cores=0,2,4,6
/proc/582/stat : 582 (java) S 577 582 8289 0 -1 1077944320 5573 12494 0 0 5 1 5 3 20 0 14 0 112674669 14241083392 5248 18446744073709551615 4194304 4196468 140723776073264 140723776055808 140550500339447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
/proc/582/statm: 3476827 5248 2566 1 0 3466324 0
[pid=582/tid=653] ppid=577 vsize=13973872 memory=1398720917958146503 CPUtime=0.13 cores=0,2,4,6
/proc/582/task/653/stat : 653 (java) R 577 582 8289 0 -1 4202560 2859 12494 0 0 5 0 5 3 20 0 15 0 112674691 14309244928 5760 18446744073709551615 4194304 4196468 140723776073264 140550504581728 140550486021973 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=654] ppid=577 vsize=13973872 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/654/stat : 654 (java) S 577 582 8289 0 -1 1077944384 1 12494 0 0 0 0 5 3 20 0 15 0 112674692 14309244928 5760 18446744073709551615 4194304 4196468 140723776073264 140550457305488 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=655] ppid=577 vsize=13973872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/655/stat : 655 (java) S 577 582 8289 0 -1 1077944384 1 12494 0 0 0 0 5 3 20 0 15 0 112674692 14309244928 5760 18446744073709551615 4194304 4196468 140723776073264 140550099626256 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=656] ppid=577 vsize=13973872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/656/stat : 656 (java) S 577 582 8289 0 -1 1077944384 1 12494 0 0 0 0 5 3 20 0 15 0 112674692 14309244928 5760 18446744073709551615 4194304 4196468 140723776073264 140550098573968 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=657] ppid=577 vsize=13973872 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/657/stat : 657 (java) S 577 582 8289 0 -1 1077944384 2 12494 0 0 0 0 5 3 20 0 15 0 112674692 14309244928 5760 18446744073709551615 4194304 4196468 140723776073264 140550097521168 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=658] ppid=577 vsize=13973872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/658/stat : 658 (java) S 577 582 8289 0 -1 1077944384 2 12494 0 0 0 0 5 3 20 0 15 0 112674693 14309244928 5760 18446744073709551615 4194304 4196468 140723776073264 140549978815088 140550500350594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=659] ppid=577 vsize=13973872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/659/stat : 659 (java) S 577 582 8289 0 -1 1077944384 33 12494 0 0 0 0 5 3 20 0 15 0 112674694 14309244928 5760 18446744073709551615 4194304 4196468 140723776073264 140549977761056 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=660] ppid=577 vsize=13973872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/660/stat : 660 (java) S 577 582 8289 0 -1 1077944384 21 12494 0 0 0 0 5 3 20 0 15 0 112674694 14309244928 5760 18446744073709551615 4194304 4196468 140723776073264 140549976708720 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=661] ppid=577 vsize=13973872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/661/stat : 661 (java) S 577 582 8289 0 -1 1077944384 3 12494 0 0 0 0 5 3 20 0 15 0 112674696 14309244928 5760 18446744073709551615 4194304 4196468 140723776073264 140549975657040 140550500358043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=662] ppid=577 vsize=13973872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/662/stat : 662 (java) S 577 582 8289 0 -1 1077944384 296 12494 0 0 0 0 5 3 20 0 15 0 112674696 14309244928 5760 18446744073709551615 4194304 4196468 140723776073264 140549974603888 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=664] ppid=577 vsize=13973872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/664/stat : 664 (java) S 577 582 8289 0 -1 1077944384 3 12494 0 0 0 0 5 3 20 0 15 0 112674696 14309244928 5760 18446744073709551615 4194304 4196468 140723776073264 140549973551088 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=665] ppid=577 vsize=13973872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/665/stat : 665 (java) R 577 582 8289 0 -1 4202560 229 12494 0 0 0 0 5 3 20 0 15 0 112674697 14309244928 5760 18446744073709551615 4194304 4196468 140723776073264 140549972498800 140550479073276 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=666] ppid=577 vsize=13973872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/666/stat : 666 (java) S 577 582 8289 0 -1 1077944384 3 12494 0 0 0 0 5 3 20 0 15 0 112674697 14309244928 5760 18446744073709551615 4194304 4196468 140723776073264 140549971446240 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=667] ppid=577 vsize=13973872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/667/stat : 667 (java) S 577 582 8289 0 -1 1077944384 1 12494 0 0 0 0 5 3 20 0 15 0 112674700 14309244928 5760 18446744073709551615 4194304 4196468 140723776073264 140549970394032 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13907308 KiB
Current children cumulated memory: 20992 KiB
[startup+0.704561 s]
/proc/loadavg: 4.51 2.67 2.10 3/214 667
/proc/meminfo: memFree=27608340/32770624 swapFree=67108860/67108860
[pid=582] ppid=577 vsize=13974784 memory=56720 CPUtime=0.68 cores=0,2,4,6
/proc/582/stat : 582 (java) S 577 582 8289 0 -1 1077944320 13780 12494 0 0 56 4 5 3 20 0 15 0 112674669 14310178816 14180 18446744073709551615 4194304 4196468 140723776073264 140723776055808 140550500339447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
/proc/582/statm: 3493696 14180 3108 1 0 3482965 0
[pid=582/tid=653] ppid=577 vsize=13974784 memory=1398720917958146503 CPUtime=0.51 cores=0,2,4,6
/proc/582/task/653/stat : 653 (java) R 577 582 8289 0 -1 4202560 10121 12494 0 0 40 3 5 3 20 0 15 0 112674691 14310178816 14180 18446744073709551615 4194304 4196468 140723776073264 140550504551664 140550486032869 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=654] ppid=577 vsize=13974784 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/654/stat : 654 (java) S 577 582 8289 0 -1 1077944384 1 12494 0 0 0 0 5 3 20 0 15 0 112674692 14310178816 14180 18446744073709551615 4194304 4196468 140723776073264 140550457305488 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=655] ppid=577 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/655/stat : 655 (java) S 577 582 8289 0 -1 1077944384 1 12494 0 0 0 0 5 3 20 0 15 0 112674692 14310178816 14180 18446744073709551615 4194304 4196468 140723776073264 140550099626256 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=656] ppid=577 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/656/stat : 656 (java) S 577 582 8289 0 -1 1077944384 1 12494 0 0 0 0 5 3 20 0 15 0 112674692 14310178816 14180 18446744073709551615 4194304 4196468 140723776073264 140550098573968 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=657] ppid=577 vsize=13974784 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/657/stat : 657 (java) S 577 582 8289 0 -1 1077944384 2 12494 0 0 0 0 5 3 20 0 15 0 112674692 14310178816 14180 18446744073709551615 4194304 4196468 140723776073264 140550097521168 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=658] ppid=577 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/658/stat : 658 (java) S 577 582 8289 0 -1 1077944384 5 12494 0 0 0 0 5 3 20 0 15 0 112674693 14310178816 14180 18446744073709551615 4194304 4196468 140723776073264 140549978815088 140550500350594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=659] ppid=577 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/659/stat : 659 (java) S 577 582 8289 0 -1 1077944384 33 12494 0 0 0 0 5 3 20 0 15 0 112674694 14310178816 14180 18446744073709551615 4194304 4196468 140723776073264 140549977761056 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=660] ppid=577 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/660/stat : 660 (java) S 577 582 8289 0 -1 1077944384 21 12494 0 0 0 0 5 3 20 0 15 0 112674694 14310178816 14180 18446744073709551615 4194304 4196468 140723776073264 140549976708720 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=661] ppid=577 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/661/stat : 661 (java) S 577 582 8289 0 -1 1077944384 3 12494 0 0 0 0 5 3 20 0 15 0 112674696 14310178816 14180 18446744073709551615 4194304 4196468 140723776073264 140549975657040 140550500358043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=662] ppid=577 vsize=13974784 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/582/task/662/stat : 662 (java) R 577 582 8289 0 -1 4202560 625 12494 0 0 2 0 5 3 20 0 15 0 112674696 14310178816 14180 18446744073709551615 4194304 4196468 140723776073264 140549974603888 140550479585337 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=664] ppid=577 vsize=13974784 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/582/task/664/stat : 664 (java) R 577 582 8289 0 -1 1077944384 233 12494 0 0 3 0 5 3 20 0 15 0 112674696 14310178816 14180 18446744073709551615 4194304 4196468 140723776073264 140549973551088 140550500350594 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=665] ppid=577 vsize=13974784 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/582/task/665/stat : 665 (java) R 577 582 8289 0 -1 4202560 579 12494 0 0 9 0 5 3 20 0 15 0 112674697 14310178816 14180 18446744073709551615 4194304 4196468 140723776073264 140549972498800 140550486055690 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=666] ppid=577 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/666/stat : 666 (java) S 577 582 8289 0 -1 1077944384 3 12494 0 0 0 0 5 3 20 0 15 0 112674697 14310178816 14180 18446744073709551615 4194304 4196468 140723776073264 140549971446240 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=667] ppid=577 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/667/stat : 667 (java) S 577 582 8289 0 -1 1077944384 1 12494 0 0 0 0 5 3 20 0 15 0 112674700 14310178816 14180 18446744073709551615 4194304 4196468 140723776073264 140549970394032 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 56720 KiB
[startup+1.50428 s]
/proc/loadavg: 4.51 2.67 2.10 3/214 667
/proc/meminfo: memFree=27565192/32770624 swapFree=67108860/67108860
[pid=582] ppid=577 vsize=13985408 memory=135924 CPUtime=1.86 cores=0,2,4,6
/proc/582/stat : 582 (java) S 577 582 8289 0 -1 1077944320 27924 12494 0 0 170 8 5 3 20 0 15 0 112674669 14321057792 33981 18446744073709551615 4194304 4196468 140723776073264 140723776055808 140550500339447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
/proc/582/statm: 3496352 33981 3347 1 0 3485525 0
[pid=582/tid=653] ppid=577 vsize=13985408 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/582/task/653/stat : 653 (java) S 577 582 8289 0 -1 1077944384 22540 12494 0 0 117 6 5 3 20 0 15 0 112674691 14321057792 33981 18446744073709551615 4194304 4196468 140723776073264 140550504561088 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=654] ppid=577 vsize=13985408 memory=4168 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/654/stat : 654 (java) R 577 582 8289 0 -1 4202560 2 12494 0 0 0 0 5 3 20 0 15 0 112674692 14321057792 33981 18446744073709551615 4194304 4196468 140723776073264 140550457305488 140550485367339 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=655] ppid=577 vsize=13985408 memory=54572 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/655/stat : 655 (java) R 577 582 8289 0 -1 1077944384 1 12494 0 0 0 0 5 3 20 0 15 0 112674692 14321057792 33981 18446744073709551615 4194304 4196468 140723776073264 140550099626256 140550500349653 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=656] ppid=577 vsize=13985408 memory=123440 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/656/stat : 656 (java) R 577 582 8289 0 -1 4202560 5 12494 0 0 0 0 5 3 20 0 15 0 112674692 14321057792 33981 18446744073709551615 4194304 4196468 140723776073264 140550098573968 140550493436283 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=657] ppid=577 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/657/stat : 657 (java) R 577 582 8289 0 -1 4202560 4 12494 0 0 0 0 5 3 20 0 15 0 112674692 14321057792 33981 18446744073709551615 4194304 4196468 140723776073264 140550097521168 140550493445993 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=658] ppid=577 vsize=13985408 memory=50977 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/658/stat : 658 (java) S 577 582 8289 0 -1 1077944384 38 12494 0 0 0 0 5 3 20 0 15 0 112674693 14321057792 33981 18446744073709551615 4194304 4196468 140723776073264 140549978813568 140550500349653 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=659] ppid=577 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/659/stat : 659 (java) S 577 582 8289 0 -1 1077944384 33 12494 0 0 0 0 5 3 20 0 15 0 112674694 14321057792 33981 18446744073709551615 4194304 4196468 140723776073264 140549977761056 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=660] ppid=577 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/660/stat : 660 (java) S 577 582 8289 0 -1 1077944384 21 12494 0 0 0 0 5 3 20 0 15 0 112674694 14321057792 33981 18446744073709551615 4194304 4196468 140723776073264 140549976708720 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=661] ppid=577 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/661/stat : 661 (java) S 577 582 8289 0 -1 1077944384 3 12494 0 0 0 0 5 3 20 0 15 0 112674696 14321057792 33981 18446744073709551615 4194304 4196468 140723776073264 140549975657040 140550500358043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=662] ppid=577 vsize=13985408 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/582/task/662/stat : 662 (java) S 577 582 8289 0 -1 1077944384 921 12494 0 0 12 0 5 3 20 0 15 0 112674696 14321057792 33981 18446744073709551615 4194304 4196468 140723776073264 140549974603648 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=664] ppid=577 vsize=13985408 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/582/task/664/stat : 664 (java) S 577 582 8289 0 -1 1077944384 849 12494 0 0 16 0 5 3 20 0 15 0 112674696 14321057792 33981 18446744073709551615 4194304 4196468 140723776073264 140549973551088 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=665] ppid=577 vsize=13985408 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/582/task/665/stat : 665 (java) S 577 582 8289 0 -1 1077944384 1369 12494 0 0 23 0 5 3 20 0 15 0 112674697 14321057792 33981 18446744073709551615 4194304 4196468 140723776073264 140549972493664 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=666] ppid=577 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/666/stat : 666 (java) S 577 582 8289 0 -1 1077944384 3 12494 0 0 0 0 5 3 20 0 15 0 112674697 14321057792 33981 18446744073709551615 4194304 4196468 140723776073264 140549971446240 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=667] ppid=577 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/667/stat : 667 (java) S 577 582 8289 0 -1 1077944384 5 12494 0 0 0 0 5 3 20 0 15 0 112674700 14321057792 33981 18446744073709551615 4194304 4196468 140723776073264 140549970394032 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
Current children cumulated CPU time: 1.86 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 135924 KiB
[startup+3.11055 s]
/proc/loadavg: 4.51 2.67 2.10 5/214 667
/proc/meminfo: memFree=27304088/32770624 swapFree=67108860/67108860
[pid=582] ppid=577 vsize=13997884 memory=224780 CPUtime=5.62 cores=0,2,4,6
/proc/582/stat : 582 (java) S 577 582 8289 0 -1 1077944320 49008 12494 0 0 540 14 5 3 20 0 15 0 112674669 14333833216 56195 18446744073709551615 4194304 4196468 140723776073264 140723776055808 140550500339447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
/proc/582/statm: 3499471 56195 3448 1 0 3488085 0
[pid=582/tid=653] ppid=577 vsize=13997884 memory=281219694846592 CPUtime=2.87 cores=0,2,4,6
/proc/582/task/653/stat : 653 (java) R 577 582 8289 0 -1 4202560 35329 12494 0 0 271 8 5 3 20 0 15 0 112674691 14333833216 56195 18446744073709551615 4194304 4196468 140723776073264 140550504564560 140550486032928 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=654] ppid=577 vsize=13997884 memory=281219694762448 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/654/stat : 654 (java) S 577 582 8289 0 -1 1077944384 49 12494 0 0 0 0 5 3 20 0 15 0 112674692 14333833216 56195 18446744073709551615 4194304 4196468 140723776073264 140550457305488 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=655] ppid=577 vsize=13997884 memory=288291056406234289 CPUtime=0.09 cores=0,2,4,6
/proc/582/task/655/stat : 655 (java) S 577 582 8289 0 -1 1077944384 58 12494 0 0 1 0 5 3 20 0 15 0 112674692 14333833216 56195 18446744073709551615 4194304 4196468 140723776073264 140550099626256 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=656] ppid=577 vsize=13997884 memory=3857 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/656/stat : 656 (java) S 577 582 8289 0 -1 1077944384 177 12494 0 0 0 0 5 3 20 0 15 0 112674692 14333833216 56195 18446744073709551615 4194304 4196468 140723776073264 140550098573968 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=657] ppid=577 vsize=13997884 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/582/task/657/stat : 657 (java) S 577 582 8289 0 -1 1077944384 63 12494 0 0 1 0 5 3 20 0 15 0 112674692 14333833216 56195 18446744073709551615 4194304 4196468 140723776073264 140550097521168 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=658] ppid=577 vsize=13997884 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/582/task/658/stat : 658 (java) S 577 582 8289 0 -1 1077944384 1662 12494 0 0 1 0 5 3 20 0 15 0 112674693 14333833216 56195 18446744073709551615 4194304 4196468 140723776073264 140549978815088 140550500350594 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=659] ppid=577 vsize=13997884 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/659/stat : 659 (java) S 577 582 8289 0 -1 1077944384 55 12494 0 0 0 0 5 3 20 0 15 0 112674694 14333833216 56195 18446744073709551615 4194304 4196468 140723776073264 140549977761120 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=660] ppid=577 vsize=13997884 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/660/stat : 660 (java) S 577 582 8289 0 -1 1077944384 44 12494 0 0 0 0 5 3 20 0 15 0 112674694 14333833216 56195 18446744073709551615 4194304 4196468 140723776073264 140549976708720 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=661] ppid=577 vsize=13997884 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/661/stat : 661 (java) S 577 582 8289 0 -1 1077944384 3 12494 0 0 0 0 5 3 20 0 15 0 112674696 14333833216 56195 18446744073709551615 4194304 4196468 140723776073264 140549975657040 140550500358043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=662] ppid=577 vsize=13997884 memory=0 CPUtime=1.07 cores=0,2,4,6
/proc/582/task/662/stat : 662 (java) S 577 582 8289 0 -1 1077944384 4282 12494 0 0 98 1 5 3 20 0 15 0 112674696 14333833216 56195 18446744073709551615 4194304 4196468 140723776073264 140549974603888 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=664] ppid=577 vsize=13997884 memory=0 CPUtime=0.84 cores=0,2,4,6
################
# More data... #
################
/proc/582/task/653/stat : 653 (java) R 577 582 8289 0 -1 4202560 49525 12494 0 0 4417 19 5 3 20 0 15 0 112674691 14407233536 1061605 18446744073709551615 4194304 4196468 140723776073264 140550504545376 140550138482576 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=654] ppid=577 vsize=14069564 memory=54 CPUtime=6.28 cores=0,2,4,6
/proc/582/task/654/stat : 654 (java) S 577 582 8289 0 -1 1077944384 10572 12494 0 0 514 106 5 3 20 0 15 0 112674692 14407233536 1061605 18446744073709551615 4194304 4196468 140723776073264 140550457305488 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=655] ppid=577 vsize=14069564 memory=0 CPUtime=6.26 cores=0,2,4,6
/proc/582/task/655/stat : 655 (java) S 577 582 8289 0 -1 1077944384 8599 12494 0 0 512 106 5 3 20 0 15 0 112674692 14407233536 1061605 18446744073709551615 4194304 4196468 140723776073264 140550099626256 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=656] ppid=577 vsize=14069564 memory=-8097679506447634573 CPUtime=6.31 cores=0,2,4,6
/proc/582/task/656/stat : 656 (java) S 577 582 8289 0 -1 1077944384 9185 12494 0 0 518 105 5 3 20 0 15 0 112674692 14407233536 1061605 18446744073709551615 4194304 4196468 140723776073264 140550098573968 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=657] ppid=577 vsize=14069564 memory=0 CPUtime=6.28 cores=0,2,4,6
/proc/582/task/657/stat : 657 (java) S 577 582 8289 0 -1 1077944384 9434 12494 0 0 515 105 5 3 20 0 15 0 112674692 14407233536 1061605 18446744073709551615 4194304 4196468 140723776073264 140550097521168 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=658] ppid=577 vsize=14069564 memory=7302980766308458576 CPUtime=0.28 cores=0,2,4,6
/proc/582/task/658/stat : 658 (java) S 577 582 8289 0 -1 1077944384 13056 12494 0 0 19 1 5 3 20 0 15 0 112674693 14407233536 1061605 18446744073709551615 4194304 4196468 140723776073264 140549978815088 140550500350594 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=659] ppid=577 vsize=14069564 memory=7302980766308458576 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/659/stat : 659 (java) S 577 582 8289 0 -1 1077944384 70 12494 0 0 0 0 5 3 20 0 15 0 112674694 14407233536 1061605 18446744073709551615 4194304 4196468 140723776073264 140549977761184 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=660] ppid=577 vsize=14069564 memory=7519151349382407253 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/660/stat : 660 (java) S 577 582 8289 0 -1 1077944384 58 12494 0 0 0 0 5 3 20 0 15 0 112674694 14407233536 1061605 18446744073709551615 4194304 4196468 140723776073264 140549976708736 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=661] ppid=577 vsize=14069564 memory=792 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/661/stat : 661 (java) S 577 582 8289 0 -1 1077944384 3 12494 0 0 0 0 5 3 20 0 15 0 112674696 14407233536 1061605 18446744073709551615 4194304 4196468 140723776073264 140549975657040 140550500358043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=662] ppid=577 vsize=14069564 memory=1716 CPUtime=5.03 cores=0,2,4,6
/proc/582/task/662/stat : 662 (java) S 577 582 8289 0 -1 1077944384 14559 12494 0 0 492 3 5 3 20 0 15 0 112674696 14407233536 1061605 18446744073709551615 4194304 4196468 140723776073264 140549974603888 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=664] ppid=577 vsize=14069564 memory=3333488 CPUtime=5.04 cores=0,2,4,6
/proc/582/task/664/stat : 664 (java) S 577 582 8289 0 -1 1077944384 10703 12494 0 0 493 3 5 3 20 0 15 0 112674696 14407233536 1061605 18446744073709551615 4194304 4196468 140723776073264 140549973551088 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=665] ppid=577 vsize=14069564 memory=1228 CPUtime=1.86 cores=0,2,4,6
/proc/582/task/665/stat : 665 (java) S 577 582 8289 0 -1 1077944384 10896 12494 0 0 174 4 5 3 20 0 15 0 112674697 14407233536 1061605 18446744073709551615 4194304 4196468 140723776073264 140549972498800 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=666] ppid=577 vsize=14069564 memory=14356 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/666/stat : 666 (java) S 577 582 8289 0 -1 1077944384 3 12494 0 0 0 0 5 3 20 0 15 0 112674697 14407233536 1061605 18446744073709551615 4194304 4196468 140723776073264 140549971446240 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=667] ppid=577 vsize=14069564 memory=1008 CPUtime=0.1 cores=0,2,4,6
/proc/582/task/667/stat : 667 (java) S 577 582 8289 0 -1 1077944384 2574 12494 0 0 1 1 5 3 20 0 15 0 112674700 14407233536 1061605 18446744073709551615 4194304 4196468 140723776073264 140549970394032 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
Current children cumulated CPU time: 81.25 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4246420 KiB
[startup+102.301 s]
/proc/loadavg: 2.14 2.41 2.07 3/217 687
/proc/meminfo: memFree=22134952/32770624 swapFree=67108860/67108860
[pid=582] ppid=577 vsize=14069564 memory=4673000 CPUtime=137.87 cores=0,2,4,6
/proc/582/stat : 582 (java) S 577 582 8289 0 -1 1077944320 145153 12494 0 0 13261 518 5 3 20 0 15 0 112674669 14407233536 1168250 18446744073709551615 4194304 4196468 140723776073264 140723776055808 140550500339447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
/proc/582/statm: 3517391 1168250 3490 1 0 3506005 0
[pid=582/tid=653] ppid=577 vsize=14069564 memory=4675052 CPUtime=93.94 cores=0,2,4,6
/proc/582/task/653/stat : 653 (java) R 577 582 8289 0 -1 4202560 51659 12494 0 0 9367 19 5 3 20 0 15 0 112674691 14407233536 1168250 18446744073709551615 4194304 4196468 140723776073264 140550504563840 140550153788900 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=654] ppid=577 vsize=14069564 memory=14356 CPUtime=7.92 cores=0,2,4,6
/proc/582/task/654/stat : 654 (java) S 577 582 8289 0 -1 1077944384 10789 12494 0 0 664 120 5 3 20 0 15 0 112674692 14407233536 1168250 18446744073709551615 4194304 4196468 140723776073264 140550457305488 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=655] ppid=577 vsize=14069564 memory=4675052 CPUtime=7.9 cores=0,2,4,6
/proc/582/task/655/stat : 655 (java) S 577 582 8289 0 -1 1077944384 8812 12494 0 0 662 120 5 3 20 0 15 0 112674692 14407233536 1168250 18446744073709551615 4194304 4196468 140723776073264 140550099626256 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=656] ppid=577 vsize=14069564 memory=4675052 CPUtime=7.93 cores=0,2,4,6
/proc/582/task/656/stat : 656 (java) S 577 582 8289 0 -1 1077944384 9397 12494 0 0 666 119 5 3 20 0 15 0 112674692 14407233536 1168250 18446744073709551615 4194304 4196468 140723776073264 140550098573968 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=657] ppid=577 vsize=14069564 memory=4675052 CPUtime=7.93 cores=0,2,4,6
/proc/582/task/657/stat : 657 (java) S 577 582 8289 0 -1 1077944384 9653 12494 0 0 665 120 5 3 20 0 15 0 112674692 14407233536 1168250 18446744073709551615 4194304 4196468 140723776073264 140550097521168 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=658] ppid=577 vsize=14069564 memory=164 CPUtime=0.3 cores=0,2,4,6
/proc/582/task/658/stat : 658 (java) S 577 582 8289 0 -1 1077944384 13221 12494 0 0 20 2 5 3 20 0 15 0 112674693 14407233536 1168250 18446744073709551615 4194304 4196468 140723776073264 140549978815088 140550500350594 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=659] ppid=577 vsize=14069564 memory=288284476432450259 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/659/stat : 659 (java) S 577 582 8289 0 -1 1077944384 70 12494 0 0 0 0 5 3 20 0 15 0 112674694 14407233536 1168250 18446744073709551615 4194304 4196468 140723776073264 140549977761184 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=660] ppid=577 vsize=14069564 memory=4675052 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/660/stat : 660 (java) S 577 582 8289 0 -1 1077944384 58 12494 0 0 0 0 5 3 20 0 15 0 112674694 14407233536 1168250 18446744073709551615 4194304 4196468 140723776073264 140549976708736 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=661] ppid=577 vsize=14069564 memory=4675052 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/661/stat : 661 (java) S 577 582 8289 0 -1 1077944384 3 12494 0 0 0 0 5 3 20 0 15 0 112674696 14407233536 1168250 18446744073709551615 4194304 4196468 140723776073264 140549975657040 140550500358043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=662] ppid=577 vsize=14069564 memory=4673000 CPUtime=5.23 cores=0,2,4,6
/proc/582/task/662/stat : 662 (java) S 577 582 8289 0 -1 1077944384 14604 12494 0 0 512 3 5 3 20 0 15 0 112674696 14407233536 1168250 18446744073709551615 4194304 4196468 140723776073264 140549974603888 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=664] ppid=577 vsize=14069564 memory=1156 CPUtime=5.25 cores=0,2,4,6
/proc/582/task/664/stat : 664 (java) S 577 582 8289 0 -1 1077944384 10811 12494 0 0 514 3 5 3 20 0 15 0 112674696 14407233536 1168250 18446744073709551615 4194304 4196468 140723776073264 140549973551088 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=665] ppid=577 vsize=14069564 memory=2960 CPUtime=1.93 cores=0,2,4,6
/proc/582/task/665/stat : 665 (java) S 577 582 8289 0 -1 1077944384 11342 12494 0 0 181 4 5 3 20 0 15 0 112674697 14407233536 1168250 18446744073709551615 4194304 4196468 140723776073264 140549972498800 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=666] ppid=577 vsize=14069564 memory=4515788 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/666/stat : 666 (java) S 577 582 8289 0 -1 1077944384 3 12494 0 0 0 0 5 3 20 0 15 0 112674697 14407233536 1168250 18446744073709551615 4194304 4196468 140723776073264 140549971446240 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=667] ppid=577 vsize=14069564 memory=4675052 CPUtime=0.14 cores=0,2,4,6
/proc/582/task/667/stat : 667 (java) S 577 582 8289 0 -1 1077944384 2578 12494 0 0 2 4 5 3 20 0 15 0 112674700 14407233536 1168250 18446744073709551615 4194304 4196468 140723776073264 140549970394032 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
Current children cumulated CPU time: 137.87 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4673000 KiB
[startup+162.301 s]
/proc/loadavg: 1.76 2.26 2.04 3/214 689
/proc/meminfo: memFree=21885004/32770624 swapFree=67108860/67108860
[pid=582] ppid=577 vsize=14069564 memory=4659816 CPUtime=204.14 cores=0,2,4,6
/proc/582/stat : 582 (java) S 577 582 8289 0 -1 1077944320 162047 12494 0 0 19885 521 5 3 20 0 15 0 112674669 14407233536 1164954 18446744073709551615 4194304 4196468 140723776073264 140723776055808 140550500339447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
/proc/582/statm: 3517391 1164954 3490 1 0 3506005 0
[pid=582/tid=653] ppid=577 vsize=14069564 memory=4659816 CPUtime=151.98 cores=0,2,4,6
/proc/582/task/653/stat : 653 (java) S 577 582 8289 0 -1 1077944384 57149 12494 0 0 15170 20 5 3 20 0 15 0 112674691 14407233536 1164954 18446744073709551615 4194304 4196468 140723776073264 140550504560736 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=654] ppid=577 vsize=14069564 memory=4659756 CPUtime=9.82 cores=0,2,4,6
/proc/582/task/654/stat : 654 (java) R 577 582 8289 0 -1 4202560 11041 12494 0 0 854 120 5 3 20 0 15 0 112674692 14407233536 1164954 18446744073709551615 4194304 4196468 140723776073264 140550457305488 140550485366866 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=655] ppid=577 vsize=14069564 memory=4659756 CPUtime=9.84 cores=0,2,4,6
/proc/582/task/655/stat : 655 (java) R 577 582 8289 0 -1 4202560 10415 12494 0 0 856 120 5 3 20 0 15 0 112674692 14407233536 1164954 18446744073709551615 4194304 4196468 140723776073264 140550099626256 140550485366576 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=656] ppid=577 vsize=14069564 memory=4659756 CPUtime=9.86 cores=0,2,4,6
/proc/582/task/656/stat : 656 (java) R 577 582 8289 0 -1 4202560 9588 12494 0 0 859 119 5 3 20 0 15 0 112674692 14407233536 1164954 18446744073709551615 4194304 4196468 140723776073264 140550098574168 140550481965392 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=657] ppid=577 vsize=14069564 memory=4659816 CPUtime=9.86 cores=0,2,4,6
/proc/582/task/657/stat : 657 (java) R 577 582 8289 0 -1 4202560 9879 12494 0 0 858 120 5 3 20 0 15 0 112674692 14407233536 1164954 18446744073709551615 4194304 4196468 140723776073264 140550097521168 140550485366866 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=658] ppid=577 vsize=14069564 memory=4659816 CPUtime=0.32 cores=0,2,4,6
/proc/582/task/658/stat : 658 (java) S 577 582 8289 0 -1 1077944384 13542 12494 0 0 22 2 5 3 20 0 15 0 112674693 14407233536 1164954 18446744073709551615 4194304 4196468 140723776073264 140549978813600 140550500349653 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=659] ppid=577 vsize=14069564 memory=4659816 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/659/stat : 659 (java) S 577 582 8289 0 -1 1077944384 72 12494 0 0 0 0 5 3 20 0 15 0 112674694 14407233536 1164954 18446744073709551615 4194304 4196468 140723776073264 140549977761184 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=660] ppid=577 vsize=14069564 memory=4659816 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/660/stat : 660 (java) S 577 582 8289 0 -1 1077944384 58 12494 0 0 0 0 5 3 20 0 15 0 112674694 14407233536 1164954 18446744073709551615 4194304 4196468 140723776073264 140549976708736 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=661] ppid=577 vsize=14069564 memory=4659816 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/661/stat : 661 (java) S 577 582 8289 0 -1 1077944384 3 12494 0 0 0 0 5 3 20 0 15 0 112674696 14407233536 1164954 18446744073709551615 4194304 4196468 140723776073264 140549975657040 140550500358043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=662] ppid=577 vsize=14069564 memory=0 CPUtime=5.33 cores=0,2,4,6
/proc/582/task/662/stat : 662 (java) S 577 582 8289 0 -1 1077944384 17233 12494 0 0 522 3 5 3 20 0 15 0 112674696 14407233536 1164954 18446744073709551615 4194304 4196468 140723776073264 140549974603888 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=664] ppid=577 vsize=14069564 memory=4659816 CPUtime=5.56 cores=0,2,4,6
/proc/582/task/664/stat : 664 (java) S 577 582 8289 0 -1 1077944384 14821 12494 0 0 545 3 5 3 20 0 15 0 112674696 14407233536 1164954 18446744073709551615 4194304 4196468 140723776073264 140549973551088 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=665] ppid=577 vsize=14069564 memory=4168 CPUtime=1.99 cores=0,2,4,6
/proc/582/task/665/stat : 665 (java) S 577 582 8289 0 -1 1077944384 13483 12494 0 0 187 4 5 3 20 0 15 0 112674697 14407233536 1164954 18446744073709551615 4194304 4196468 140723776073264 140549972498800 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=666] ppid=577 vsize=14069564 memory=4659756 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/666/stat : 666 (java) S 577 582 8289 0 -1 1077944384 3 12494 0 0 0 0 5 3 20 0 15 0 112674697 14407233536 1164954 18446744073709551615 4194304 4196468 140723776073264 140549971446240 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=667] ppid=577 vsize=14069564 memory=4659756 CPUtime=0.17 cores=0,2,4,6
/proc/582/task/667/stat : 667 (java) S 577 582 8289 0 -1 1077944384 2607 12494 0 0 3 6 5 3 20 0 15 0 112674700 14407233536 1164954 18446744073709551615 4194304 4196468 140723776073264 140549970394032 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
Current children cumulated CPU time: 204.14 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4659816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+205.401 s]
/proc/loadavg: 1.82 2.20 2.03 3/215 818
/proc/meminfo: memFree=24517744/32770624 swapFree=67108860/67108860
[pid=582] ppid=577 vsize=14069564 memory=4693712 CPUtime=252.03 cores=0,2,4,6
/proc/582/stat : 582 (java) S 577 582 8289 0 -1 1077944320 176246 12494 0 0 24668 527 5 3 20 0 15 0 112674669 14407233536 1173428 18446744073709551615 4194304 4196468 140723776073264 140723776055808 140550500339447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
/proc/582/statm: 3517391 1173428 3491 1 0 3506005 0
[pid=582/tid=653] ppid=577 vsize=14069564 memory=4080 CPUtime=193.57 cores=0,2,4,6
/proc/582/task/653/stat : 653 (java) R 577 582 8289 0 -1 4202560 61796 12494 0 0 19327 22 5 3 20 0 15 0 112674691 14407233536 1173428 18446744073709551615 4194304 4196468 140723776073264 140550504565360 140550153788755 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=654] ppid=577 vsize=14069564 memory=4588 CPUtime=11.33 cores=0,2,4,6
/proc/582/task/654/stat : 654 (java) S 577 582 8289 0 -1 1077944384 12605 12494 0 0 1004 121 5 3 20 0 15 0 112674692 14407233536 1173428 18446744073709551615 4194304 4196468 140723776073264 140550457305488 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=655] ppid=577 vsize=14069564 memory=4134931637327791675 CPUtime=11.34 cores=0,2,4,6
/proc/582/task/655/stat : 655 (java) S 577 582 8289 0 -1 1077944384 11171 12494 0 0 1005 121 5 3 20 0 15 0 112674692 14407233536 1173428 18446744073709551615 4194304 4196468 140723776073264 140550099626256 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=656] ppid=577 vsize=14069564 memory=1620 CPUtime=11.37 cores=0,2,4,6
/proc/582/task/656/stat : 656 (java) S 577 582 8289 0 -1 1077944384 10085 12494 0 0 1009 120 5 3 20 0 15 0 112674692 14407233536 1173428 18446744073709551615 4194304 4196468 140723776073264 140550098573968 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=657] ppid=577 vsize=14069564 memory=844 CPUtime=11.36 cores=0,2,4,6
/proc/582/task/657/stat : 657 (java) S 577 582 8289 0 -1 1077944384 10262 12494 0 0 1007 121 5 3 20 0 15 0 112674692 14407233536 1173428 18446744073709551615 4194304 4196468 140723776073264 140550097521168 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=658] ppid=577 vsize=14069564 memory=18484 CPUtime=0.33 cores=0,2,4,6
/proc/582/task/658/stat : 658 (java) S 577 582 8289 0 -1 1077944384 13880 12494 0 0 23 2 5 3 20 0 15 0 112674693 14407233536 1173428 18446744073709551615 4194304 4196468 140723776073264 140549978815088 140550500350594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=659] ppid=577 vsize=14069564 memory=3912 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/659/stat : 659 (java) S 577 582 8289 0 -1 1077944384 75 12494 0 0 0 0 5 3 20 0 15 0 112674694 14407233536 1173428 18446744073709551615 4194304 4196468 140723776073264 140549977761184 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=660] ppid=577 vsize=14069564 memory=4659912 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/660/stat : 660 (java) S 577 582 8289 0 -1 1077944384 58 12494 0 0 0 0 5 3 20 0 15 0 112674694 14407233536 1173428 18446744073709551615 4194304 4196468 140723776073264 140549976708736 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=661] ppid=577 vsize=14069564 memory=2012 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/661/stat : 661 (java) S 577 582 8289 0 -1 1077944384 3 12494 0 0 0 0 5 3 20 0 15 0 112674696 14407233536 1173428 18446744073709551615 4194304 4196468 140723776073264 140549975657040 140550500358043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=662] ppid=577 vsize=14069564 memory=4659912 CPUtime=5.42 cores=0,2,4,6
/proc/582/task/662/stat : 662 (java) S 577 582 8289 0 -1 1077944384 19611 12494 0 0 531 3 5 3 20 0 15 0 112674696 14407233536 1173428 18446744073709551615 4194304 4196468 140723776073264 140549974603888 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=664] ppid=577 vsize=14069564 memory=4168 CPUtime=5.65 cores=0,2,4,6
/proc/582/task/664/stat : 664 (java) S 577 582 8289 0 -1 1077944384 15898 12494 0 0 554 3 5 3 20 0 15 0 112674696 14407233536 1173428 18446744073709551615 4194304 4196468 140723776073264 140549973551088 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=665] ppid=577 vsize=14069564 memory=54592 CPUtime=2.06 cores=0,2,4,6
/proc/582/task/665/stat : 665 (java) S 577 582 8289 0 -1 1077944384 16003 12494 0 0 194 4 5 3 20 0 15 0 112674697 14407233536 1173428 18446744073709551615 4194304 4196468 140723776073264 140549972498800 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=666] ppid=577 vsize=14069564 memory=2912 CPUtime=0.08 cores=0,2,4,6
/proc/582/task/666/stat : 666 (java) S 577 582 8289 0 -1 1077944384 3 12494 0 0 0 0 5 3 20 0 15 0 112674697 14407233536 1173428 18446744073709551615 4194304 4196468 140723776073264 140549971446240 140550500349653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
[pid=582/tid=667] ppid=577 vsize=14069564 memory=2952 CPUtime=0.2 cores=0,2,4,6
/proc/582/task/667/stat : 667 (java) S 577 582 8289 0 -1 1077944384 2643 12494 0 0 5 7 5 3 20 0 15 0 112674700 14407233536 1173428 18446744073709551615 4194304 4196468 140723776073264 140549970394032 140550500350594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36605952 140723776075696 140723776078481 140723776078481 140723776081871 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4693712 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+205.463 s]
# the end of solver process 582 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.756 s, system=5.34416 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 205.463
CPU time (s): 252.1
CPU user time (s): 246.756
CPU system time (s): 5.34416
CPU usage (%): 122.699
Max. virtual memory (cumulated for all children) (KiB): 14069564
Max. memory (cumulated for all children) (KiB): 4693712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.756
system time used= 5.34416
maximum resident set size= 4694196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189792
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15162
involuntary context switches= 1160
# summary of solver processes directly reported to runsolver:
# pid: 582
# total CPU time (s): 252.1
# total CPU user time (s): 246.756
# total CPU system time (s): 5.34416
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.70843 second user time and 1.66148 second system time
The end