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 (15230 MiB free)
memory of node 1: 16384 MiB (15434 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273557-1502787927/watcher-4273557-1502787927 -o /tmp/evaluation-result-4273557-1502787927/solver-4273557-1502787927 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1607127729 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273557-1502787927.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
solver pid=15480, runsolver pid=15477
Current StackSize limit: 8192 KiB
[startup+0.1002 s]*
/proc/loadavg: 1.21 1.41 1.44 3/203 15486
/proc/meminfo: memFree=31394728/32770624 swapFree=67108860/67108860
[pid=15480] ppid=15477 vsize=13573664 memory=16436 CPUtime=0.01 cores=0,2,4,6
/proc/15480/stat : 15480 (java) S 15477 15480 2357 0 -1 1077944320 3980 0 0 0 1 0 0 0 20 0 9 0 6407761 13899431936 4109 18446744073709551615 4194304 4196468 140721722245712 140721722228256 139725647118071 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
/proc/15480/statm: 3393416 4109 2072 1 0 3382913 0
[pid=15480/tid=15482] ppid=15477 vsize=13573664 memory=7077796292425249400 CPUtime=0.01 cores=0,2,4,6
/proc/15480/task/15482/stat : 15482 (java) R 15477 15480 2357 0 -1 4202560 2611 0 0 0 1 0 0 0 20 0 9 0 6407769 13899431936 4109 18446744073709551615 4194304 4196468 140721722245712 139725651353800 139725235169137 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15483] ppid=15477 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15483/stat : 15483 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 6407770 13899431936 4109 18446744073709551615 4194304 4196468 140721722245712 139725566532752 139725647128277 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15484] ppid=15477 vsize=13573664 memory=139713667335808 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15484/stat : 15484 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 6407770 13899431936 4109 18446744073709551615 4194304 4196468 140721722245712 139725565479952 139725647128277 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15485] ppid=15477 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15485/stat : 15485 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 6407770 13899431936 4109 18446744073709551615 4194304 4196468 140721722245712 139725564427152 139725647128277 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15486] ppid=15477 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15486/stat : 15486 (java) S 15477 15480 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 6407770 13899431936 4109 18446744073709551615 4194304 4196468 140721722245712 139725563374352 139725647128277 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15487] ppid=15477 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15487/stat : 15487 (java) S 15477 15480 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 6407772 13899431936 4109 18446744073709551615 4194304 4196468 140721722245712 139725125450096 139725647129218 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15488] ppid=15477 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15488/stat : 15488 (java) S 15477 15480 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 6407772 13899431936 4109 18446744073709551615 4194304 4196468 140721722245712 139725124396064 139725647128277 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15489] ppid=15477 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15489/stat : 15489 (java) S 15477 15480 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 6407772 13899431936 4109 18446744073709551615 4194304 4196468 140721722245712 139725123343280 139725647128277 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 16436 KiB
[startup+0.209927 s]*
/proc/loadavg: 1.27 1.42 1.44 3/212 15495
/proc/meminfo: memFree=31385372/32770624 swapFree=67108860/67108860
[pid=15480] ppid=15477 vsize=13975920 memory=30808 CPUtime=0.1 cores=0,2,4,6
/proc/15480/stat : 15480 (java) S 15477 15480 2357 0 -1 1077944320 7049 0 0 0 9 1 0 0 20 0 15 0 6407761 14311342080 7702 18446744073709551615 4194304 4196468 140721722245712 140721722228256 139725647118071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
/proc/15480/statm: 3493980 7702 3343 1 0 3482759 0
[pid=15480/tid=15482] ppid=15477 vsize=13975920 memory=8316850467074736180 CPUtime=0.08 cores=0,2,4,6
/proc/15480/task/15482/stat : 15482 (java) R 15477 15480 2357 0 -1 4202560 5118 0 0 0 7 1 0 0 20 0 15 0 6407769 14311342080 7702 18446744073709551615 4194304 4196468 140721722245712 139725651338536 139725626650497 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15483] ppid=15477 vsize=13975920 memory=11879 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15483/stat : 15483 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6407770 14311342080 7767 18446744073709551615 4194304 4196468 140721722245712 139725566532752 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15484] ppid=15477 vsize=13975920 memory=139713667349058 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15484/stat : 15484 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6407770 14311342080 7767 18446744073709551615 4194304 4196468 140721722245712 139725565479952 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15485] ppid=15477 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15485/stat : 15485 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6407770 14311342080 7767 18446744073709551615 4194304 4196468 140721722245712 139725564427152 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15486] ppid=15477 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15486/stat : 15486 (java) S 15477 15480 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 6407770 14311342080 7767 18446744073709551615 4194304 4196468 140721722245712 139725563374352 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15487] ppid=15477 vsize=13975920 memory=139713667335808 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15487/stat : 15487 (java) S 15477 15480 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 6407772 14311342080 7767 18446744073709551615 4194304 4196468 140721722245712 139725125450096 139725647129218 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15488] ppid=15477 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15488/stat : 15488 (java) S 15477 15480 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 6407772 14311342080 7767 18446744073709551615 4194304 4196468 140721722245712 139725124396064 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15489] ppid=15477 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15489/stat : 15489 (java) S 15477 15480 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 6407772 14311342080 7767 18446744073709551615 4194304 4196468 140721722245712 139725123343216 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15490] ppid=15477 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15490/stat : 15490 (java) S 15477 15480 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6407775 14311342080 7767 18446744073709551615 4194304 4196468 140721722245712 139725122291536 139725647136667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15491] ppid=15477 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15491/stat : 15491 (java) S 15477 15480 2357 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 6407775 14311342080 7767 18446744073709551615 4194304 4196468 140721722245712 139725121239920 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15492] ppid=15477 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15492/stat : 15492 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6407775 14311342080 7767 18446744073709551615 4194304 4196468 140721722245712 139725120187120 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15493] ppid=15477 vsize=13975920 memory=139713667335808 CPUtime=0.01 cores=0,2,4,6
/proc/15480/task/15493/stat : 15493 (java) R 15477 15480 2357 0 -1 4202560 293 0 0 0 1 0 0 0 20 0 15 0 6407775 14311342080 7767 18446744073709551615 4194304 4196468 140721722245712 139725119131528 139725640223733 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15494] ppid=15477 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15494/stat : 15494 (java) S 15477 15480 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6407775 14311342080 7767 18446744073709551615 4194304 4196468 140721722245712 139725118081760 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15495] ppid=15477 vsize=13975920 memory=139713667335808 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15495/stat : 15495 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6407780 14311342080 7767 18446744073709551615 4194304 4196468 140721722245712 139725117029040 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 30808 KiB
[startup+0.310334 s]*
/proc/loadavg: 1.27 1.42 1.44 3/212 15495
/proc/meminfo: memFree=31374548/32770624 swapFree=67108860/67108860
[pid=15480] ppid=15477 vsize=13975920 memory=40544 CPUtime=0.25 cores=0,2,4,6
/proc/15480/stat : 15480 (java) S 15477 15480 2357 0 -1 1077944320 10856 0 0 0 22 3 0 0 20 0 15 0 6407761 14311342080 10136 18446744073709551615 4194304 4196468 140721722245712 140721722228256 139725647118071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
/proc/15480/statm: 3493980 10136 3542 1 0 3482759 0
[pid=15480/tid=15482] ppid=15477 vsize=13975920 memory=8316850467074736180 CPUtime=0.18 cores=0,2,4,6
/proc/15480/task/15482/stat : 15482 (java) R 15477 15480 2357 0 -1 4202560 8566 0 0 0 15 3 0 0 20 0 15 0 6407769 14311342080 10136 18446744073709551615 4194304 4196468 140721722245712 139725651317824 139725647139997 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15483] ppid=15477 vsize=13975920 memory=11879 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15483/stat : 15483 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6407770 14311342080 10136 18446744073709551615 4194304 4196468 140721722245712 139725566532752 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15484] ppid=15477 vsize=13975920 memory=139713667349058 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15484/stat : 15484 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6407770 14311342080 10136 18446744073709551615 4194304 4196468 140721722245712 139725565479952 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15485] ppid=15477 vsize=13975920 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15485/stat : 15485 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6407770 14311342080 10136 18446744073709551615 4194304 4196468 140721722245712 139725564427152 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15486] ppid=15477 vsize=13975920 memory=3472328296227680299 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15486/stat : 15486 (java) S 15477 15480 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 6407770 14311342080 10136 18446744073709551615 4194304 4196468 140721722245712 139725563374352 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15487] ppid=15477 vsize=13975920 memory=3184237633743304368 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15487/stat : 15487 (java) S 15477 15480 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 6407772 14311342080 10136 18446744073709551615 4194304 4196468 140721722245712 139725125450096 139725647129218 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15488] ppid=15477 vsize=13975920 memory=7957700056708036360 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15488/stat : 15488 (java) S 15477 15480 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 6407772 14311342080 10136 18446744073709551615 4194304 4196468 140721722245712 139725124396064 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15489] ppid=15477 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15489/stat : 15489 (java) S 15477 15480 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 6407772 14311342080 10136 18446744073709551615 4194304 4196468 140721722245712 139725123343216 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15490] ppid=15477 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15490/stat : 15490 (java) S 15477 15480 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6407775 14311342080 10136 18446744073709551615 4194304 4196468 140721722245712 139725122291536 139725647136667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15491] ppid=15477 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15480/task/15491/stat : 15491 (java) S 15477 15480 2357 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 15 0 6407775 14311342080 10136 18446744073709551615 4194304 4196468 140721722245712 139725121239920 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15492] ppid=15477 vsize=13975920 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/15480/task/15492/stat : 15492 (java) S 15477 15480 2357 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 15 0 6407775 14311342080 10136 18446744073709551615 4194304 4196468 140721722245712 139725120187120 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15493] ppid=15477 vsize=13975920 memory=7599809463691475683 CPUtime=0.04 cores=0,2,4,6
/proc/15480/task/15493/stat : 15493 (java) R 15477 15480 2357 0 -1 4202560 396 0 0 0 4 0 0 0 20 0 15 0 6407775 14311342080 10136 18446744073709551615 4194304 4196468 140721722245712 139725119134320 139725626516800 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15494] ppid=15477 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15494/stat : 15494 (java) S 15477 15480 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6407775 14311342080 10136 18446744073709551615 4194304 4196468 140721722245712 139725118081760 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15495] ppid=15477 vsize=13975920 memory=139713667335808 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15495/stat : 15495 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6407780 14311342080 10136 18446744073709551615 4194304 4196468 140721722245712 139725117029040 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40544 KiB
[startup+0.70083 s]
/proc/loadavg: 1.27 1.42 1.44 4/212 15495
/proc/meminfo: memFree=31360852/32770624 swapFree=67108860/67108860
[pid=15480] ppid=15477 vsize=13977988 memory=68268 CPUtime=1.05 cores=0,2,4,6
/proc/15480/stat : 15480 (java) S 15477 15480 2357 0 -1 1077944320 13797 0 0 0 100 5 0 0 20 0 15 0 6407761 14313459712 17067 18446744073709551615 4194304 4196468 140721722245712 140721722228256 139725647118071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
/proc/15480/statm: 3494497 17067 3725 1 0 3483271 0
[pid=15480/tid=15482] ppid=15477 vsize=13977988 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/15480/task/15482/stat : 15482 (java) R 15477 15480 2357 0 -1 4202560 10331 0 0 0 51 4 0 0 20 0 15 0 6407769 14313459712 17133 18446744073709551615 4194304 4196468 140721722245712 139725651352912 139725235177776 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15483] ppid=15477 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15483/stat : 15483 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6407770 14313459712 17133 18446744073709551615 4194304 4196468 140721722245712 139725566532752 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15484] ppid=15477 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15484/stat : 15484 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6407770 14313459712 17133 18446744073709551615 4194304 4196468 140721722245712 139725565479952 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15485] ppid=15477 vsize=13977988 memory=644 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15485/stat : 15485 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6407770 14313459712 17133 18446744073709551615 4194304 4196468 140721722245712 139725564427152 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15486] ppid=15477 vsize=13977988 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15486/stat : 15486 (java) S 15477 15480 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 6407770 14313459712 17133 18446744073709551615 4194304 4196468 140721722245712 139725563374352 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15487] ppid=15477 vsize=13977988 memory=956 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15487/stat : 15487 (java) S 15477 15480 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 6407772 14313459712 17133 18446744073709551615 4194304 4196468 140721722245712 139725125450096 139725647129218 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15488] ppid=15477 vsize=13977988 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15488/stat : 15488 (java) S 15477 15480 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 6407772 14313459712 17133 18446744073709551615 4194304 4196468 140721722245712 139725124396064 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15489] ppid=15477 vsize=13977988 memory=4324 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15489/stat : 15489 (java) S 15477 15480 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 6407772 14313459712 17133 18446744073709551615 4194304 4196468 140721722245712 139725123343216 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15490] ppid=15477 vsize=13977988 memory=1592 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15490/stat : 15490 (java) S 15477 15480 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6407775 14313459712 17133 18446744073709551615 4194304 4196468 140721722245712 139725122291536 139725647136667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15491] ppid=15477 vsize=13977988 memory=932 CPUtime=0.14 cores=0,2,4,6
/proc/15480/task/15491/stat : 15491 (java) R 15477 15480 2357 0 -1 1077944384 645 0 0 0 14 0 0 0 20 0 15 0 6407775 14313459712 17133 18446744073709551615 4194304 4196468 140721722245712 139725121229312 139725647128277 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15492] ppid=15477 vsize=13977988 memory=15620 CPUtime=0.1 cores=0,2,4,6
/proc/15480/task/15492/stat : 15492 (java) R 15477 15480 2357 0 -1 4202560 537 0 0 0 10 0 0 0 20 0 15 0 6407775 14313459712 17133 18446744073709551615 4194304 4196468 140721722245712 139725120166928 139725628661788 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15493] ppid=15477 vsize=13977988 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/15480/task/15493/stat : 15493 (java) R 15477 15480 2357 0 -1 4202560 915 0 0 0 23 0 0 0 20 0 15 0 6407775 14313459712 17133 18446744073709551615 4194304 4196468 140721722245712 139725119132720 139725647130006 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15494] ppid=15477 vsize=13977988 memory=737 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15494/stat : 15494 (java) S 15477 15480 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6407775 14313459712 17133 18446744073709551615 4194304 4196468 140721722245712 139725118081760 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15495] ppid=15477 vsize=13977988 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15495/stat : 15495 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6407780 14313459712 17133 18446744073709551615 4194304 4196468 140721722245712 139725117029040 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68268 KiB
[startup+1.51068 s]
/proc/loadavg: 1.27 1.42 1.44 5/212 15495
/proc/meminfo: memFree=31312924/32770624 swapFree=67108860/67108860
[pid=15480] ppid=15477 vsize=13982084 memory=162880 CPUtime=3.56 cores=0,2,4,6
/proc/15480/stat : 15480 (java) S 15477 15480 2357 0 -1 1077944320 29116 0 0 0 346 10 0 0 20 0 15 0 6407761 14317654016 40720 18446744073709551615 4194304 4196468 140721722245712 140721722228256 139725647118071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
/proc/15480/statm: 3495521 40720 3764 1 0 3484295 0
[pid=15480/tid=15482] ppid=15477 vsize=13982084 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/15480/task/15482/stat : 15482 (java) R 15477 15480 2357 0 -1 4202560 14832 0 0 0 129 7 0 0 20 0 15 0 6407769 14317654016 40720 18446744073709551615 4194304 4196468 140721722245712 139725651350544 139725647139997 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15483] ppid=15477 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15483/stat : 15483 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6407770 14317654016 40720 18446744073709551615 4194304 4196468 140721722245712 139725566532752 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15484] ppid=15477 vsize=13982084 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15484/stat : 15484 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6407770 14317654016 40720 18446744073709551615 4194304 4196468 140721722245712 139725565479952 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15485] ppid=15477 vsize=13982084 memory=7936 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15485/stat : 15485 (java) S 15477 15480 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 6407770 14317654016 40720 18446744073709551615 4194304 4196468 140721722245712 139725564427152 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15486] ppid=15477 vsize=13982084 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15486/stat : 15486 (java) S 15477 15480 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 6407770 14317654016 40720 18446744073709551615 4194304 4196468 140721722245712 139725563374352 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15487] ppid=15477 vsize=13982084 memory=139713541714354 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15487/stat : 15487 (java) S 15477 15480 2357 0 -1 1077944384 391 0 0 0 0 0 0 0 20 0 15 0 6407772 14317654016 40720 18446744073709551615 4194304 4196468 140721722245712 139725125450096 139725647129218 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15488] ppid=15477 vsize=13982084 memory=7593747835961893714 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15488/stat : 15488 (java) S 15477 15480 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 6407772 14317654016 40720 18446744073709551615 4194304 4196468 140721722245712 139725124396064 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15489] ppid=15477 vsize=13982084 memory=7593747835961893714 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15489/stat : 15489 (java) S 15477 15480 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 6407772 14317654016 40720 18446744073709551615 4194304 4196468 140721722245712 139725123343216 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15490] ppid=15477 vsize=13982084 memory=7593747835961893714 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15490/stat : 15490 (java) S 15477 15480 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6407775 14317654016 40720 18446744073709551615 4194304 4196468 140721722245712 139725122291536 139725647136667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15491] ppid=15477 vsize=13982084 memory=7091318266741871215 CPUtime=0.76 cores=0,2,4,6
/proc/15480/task/15491/stat : 15491 (java) R 15477 15480 2357 0 -1 4202560 3164 0 0 0 76 0 0 0 20 0 15 0 6407775 14317654016 40720 18446744073709551615 4194304 4196468 140721722245712 139725121220936 139725628642351 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15492] ppid=15477 vsize=13982084 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/15480/task/15492/stat : 15492 (java) S 15477 15480 2357 0 -1 1077944384 3245 0 0 0 70 0 0 0 20 0 15 0 6407775 14317654016 40720 18446744073709551615 4194304 4196468 140721722245712 139725120187120 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15493] ppid=15477 vsize=13982084 memory=279427082876768 CPUtime=0.7 cores=0,2,4,6
/proc/15480/task/15493/stat : 15493 (java) R 15477 15480 2357 0 -1 4202560 6102 0 0 0 69 1 0 0 20 0 15 0 6407775 14317654016 40720 18446744073709551615 4194304 4196468 140721722245712 139725119128624 139725626033569 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
################
# More data... #
################
/proc/15480/task/15482/stat : 15482 (java) R 15477 15480 2357 0 -1 4202560 32837 0 0 0 243434 21 0 0 20 0 15 0 6407769 14317654016 78510 18446744073709551615 4194304 4196468 140721722245712 139725651356304 139725245090223 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15483] ppid=15477 vsize=13982084 memory=314040 CPUtime=3.41 cores=0,2,4,6
/proc/15480/task/15483/stat : 15483 (java) S 15477 15480 2357 0 -1 1077944384 3972 0 0 0 320 21 0 0 20 0 15 0 6407770 14317654016 78510 18446744073709551615 4194304 4196468 140721722245712 139725566532752 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15484] ppid=15477 vsize=13982084 memory=311992 CPUtime=3.43 cores=0,2,4,6
/proc/15480/task/15484/stat : 15484 (java) S 15477 15480 2357 0 -1 1077944384 4131 0 0 0 322 21 0 0 20 0 15 0 6407770 14317654016 78510 18446744073709551615 4194304 4196468 140721722245712 139725565479952 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15485] ppid=15477 vsize=13982084 memory=314040 CPUtime=3.41 cores=0,2,4,6
/proc/15480/task/15485/stat : 15485 (java) S 15477 15480 2357 0 -1 1077944384 3758 0 0 0 320 21 0 0 20 0 15 0 6407770 14317654016 78510 18446744073709551615 4194304 4196468 140721722245712 139725564427152 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15486] ppid=15477 vsize=13982084 memory=314040 CPUtime=3.41 cores=0,2,4,6
/proc/15480/task/15486/stat : 15486 (java) S 15477 15480 2357 0 -1 1077944384 4472 0 0 0 319 22 0 0 20 0 15 0 6407770 14317654016 78510 18446744073709551615 4194304 4196468 140721722245712 139725563374352 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15487] ppid=15477 vsize=13982084 memory=314040 CPUtime=2.64 cores=0,2,4,6
/proc/15480/task/15487/stat : 15487 (java) S 15477 15480 2357 0 -1 1077944384 6900 0 0 0 248 16 0 0 20 0 15 0 6407772 14317654016 78510 18446744073709551615 4194304 4196468 140721722245712 139725125450096 139725647129218 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 46 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15488] ppid=15477 vsize=13982084 memory=314040 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15488/stat : 15488 (java) S 15477 15480 2357 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 6407772 14317654016 78510 18446744073709551615 4194304 4196468 140721722245712 139725124396128 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15489] ppid=15477 vsize=13982084 memory=792 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15489/stat : 15489 (java) S 15477 15480 2357 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 6407772 14317654016 78510 18446744073709551615 4194304 4196468 140721722245712 139725123343232 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15490] ppid=15477 vsize=13982084 memory=314040 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15490/stat : 15490 (java) S 15477 15480 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6407775 14317654016 78510 18446744073709551615 4194304 4196468 140721722245712 139725122291536 139725647136667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15491] ppid=15477 vsize=13982084 memory=314040 CPUtime=1.64 cores=0,2,4,6
/proc/15480/task/15491/stat : 15491 (java) S 15477 15480 2357 0 -1 1077944384 7723 0 0 0 163 1 0 0 20 0 15 0 6407775 14317654016 78510 18446744073709551615 4194304 4196468 140721722245712 139725121239920 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15492] ppid=15477 vsize=13982084 memory=4104 CPUtime=1.8 cores=0,2,4,6
/proc/15480/task/15492/stat : 15492 (java) S 15477 15480 2357 0 -1 1077944384 7888 0 0 0 179 1 0 0 20 0 15 0 6407775 14317654016 78510 18446744073709551615 4194304 4196468 140721722245712 139725120187120 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 46 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15493] ppid=15477 vsize=13982084 memory=314040 CPUtime=0.91 cores=0,2,4,6
/proc/15480/task/15493/stat : 15493 (java) S 15477 15480 2357 0 -1 1077944384 10512 0 0 0 89 2 0 0 20 0 15 0 6407775 14317654016 78510 18446744073709551615 4194304 4196468 140721722245712 139725119134320 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15494] ppid=15477 vsize=13982084 memory=314040 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15494/stat : 15494 (java) S 15477 15480 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6407775 14317654016 78510 18446744073709551615 4194304 4196468 140721722245712 139725118081760 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15495] ppid=15477 vsize=13982084 memory=314040 CPUtime=0.83 cores=0,2,4,6
/proc/15480/task/15495/stat : 15495 (java) S 15477 15480 2357 0 -1 1077944384 716 0 0 0 39 44 0 0 20 0 15 0 6407780 14317654016 78510 18446744073709551615 4194304 4196468 140721722245712 139725117029040 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
Current children cumulated CPU time: 2456.12 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 314040 KiB
[startup+2502.3 s]
/proc/loadavg: 1.06 1.27 1.32 3/210 15744
/proc/meminfo: memFree=31078500/32770624 swapFree=67108860/67108860
[pid=15480] ppid=15477 vsize=13982084 memory=318136 CPUtime=2516.42 cores=0,2,4,6
/proc/15480/stat : 15480 (java) S 15477 15480 2357 0 -1 1077944320 85324 0 0 0 251502 140 0 0 20 0 15 0 6407761 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 140721722228256 139725647118071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
/proc/15480/statm: 3495521 79534 3802 1 0 3484295 0
[pid=15480/tid=15482] ppid=15477 vsize=13982084 memory=316088 CPUtime=2494.3 cores=0,2,4,6
/proc/15480/task/15482/stat : 15482 (java) R 15477 15480 2357 0 -1 4202560 33243 0 0 0 249409 21 0 0 20 0 15 0 6407769 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725651356368 139725244103503 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15483] ppid=15477 vsize=13982084 memory=316088 CPUtime=3.51 cores=0,2,4,6
/proc/15480/task/15483/stat : 15483 (java) S 15477 15480 2357 0 -1 1077944384 4041 0 0 0 330 21 0 0 20 0 15 0 6407770 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725566532752 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15484] ppid=15477 vsize=13982084 memory=0 CPUtime=3.54 cores=0,2,4,6
/proc/15480/task/15484/stat : 15484 (java) S 15477 15480 2357 0 -1 1077944384 4156 0 0 0 333 21 0 0 20 0 15 0 6407770 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725565479952 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15485] ppid=15477 vsize=13982084 memory=316088 CPUtime=3.52 cores=0,2,4,6
/proc/15480/task/15485/stat : 15485 (java) S 15477 15480 2357 0 -1 1077944384 3962 0 0 0 331 21 0 0 20 0 15 0 6407770 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725564427152 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15486] ppid=15477 vsize=13982084 memory=318136 CPUtime=3.52 cores=0,2,4,6
/proc/15480/task/15486/stat : 15486 (java) S 15477 15480 2357 0 -1 1077944384 4553 0 0 0 329 23 0 0 20 0 15 0 6407770 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725563374352 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15487] ppid=15477 vsize=13982084 memory=318136 CPUtime=2.72 cores=0,2,4,6
/proc/15480/task/15487/stat : 15487 (java) S 15477 15480 2357 0 -1 1077944384 7080 0 0 0 255 17 0 0 20 0 15 0 6407772 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725125450096 139725647129218 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 46 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15488] ppid=15477 vsize=13982084 memory=318136 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15488/stat : 15488 (java) S 15477 15480 2357 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 6407772 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725124396128 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15489] ppid=15477 vsize=13982084 memory=318136 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15489/stat : 15489 (java) S 15477 15480 2357 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 6407772 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725123343232 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15490] ppid=15477 vsize=13982084 memory=316088 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15490/stat : 15490 (java) S 15477 15480 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6407775 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725122291536 139725647136667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15491] ppid=15477 vsize=13982084 memory=318136 CPUtime=1.64 cores=0,2,4,6
/proc/15480/task/15491/stat : 15491 (java) S 15477 15480 2357 0 -1 1077944384 7725 0 0 0 163 1 0 0 20 0 15 0 6407775 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725121239920 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15492] ppid=15477 vsize=13982084 memory=0 CPUtime=1.8 cores=0,2,4,6
/proc/15480/task/15492/stat : 15492 (java) S 15477 15480 2357 0 -1 1077944384 7890 0 0 0 179 1 0 0 20 0 15 0 6407775 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725120187120 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 46 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15493] ppid=15477 vsize=13982084 memory=-8774313645642428999 CPUtime=0.91 cores=0,2,4,6
/proc/15480/task/15493/stat : 15493 (java) S 15477 15480 2357 0 -1 1077944384 10514 0 0 0 89 2 0 0 20 0 15 0 6407775 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725119134320 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15494] ppid=15477 vsize=13982084 memory=10932 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15494/stat : 15494 (java) S 15477 15480 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6407775 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725118081760 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15495] ppid=15477 vsize=13982084 memory=318136 CPUtime=0.85 cores=0,2,4,6
/proc/15480/task/15495/stat : 15495 (java) S 15477 15480 2357 0 -1 1077944384 731 0 0 0 40 45 0 0 20 0 15 0 6407780 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725117029040 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
Current children cumulated CPU time: 2516.42 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 318136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.9 s]
/proc/loadavg: 1.06 1.27 1.32 3/210 15744
/proc/meminfo: memFree=31078500/32770624 swapFree=67108860/67108860
[pid=15480] ppid=15477 vsize=13982084 memory=318136 CPUtime=2520.04 cores=0,2,4,6
/proc/15480/stat : 15480 (java) S 15477 15480 2357 0 -1 1077944320 85331 0 0 0 251864 140 0 0 20 0 15 0 6407761 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 140721722228256 139725647118071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
/proc/15480/statm: 3495521 79534 3802 1 0 3484295 0
[pid=15480/tid=15482] ppid=15477 vsize=13982084 memory=318136 CPUtime=2497.89 cores=0,2,4,6
/proc/15480/task/15482/stat : 15482 (java) R 15477 15480 2357 0 -1 4202560 33250 0 0 0 249768 21 0 0 20 0 15 0 6407769 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725651356480 139725244568388 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15483] ppid=15477 vsize=13982084 memory=318136 CPUtime=3.52 cores=0,2,4,6
/proc/15480/task/15483/stat : 15483 (java) S 15477 15480 2357 0 -1 1077944384 4041 0 0 0 331 21 0 0 20 0 15 0 6407770 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725566532752 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15484] ppid=15477 vsize=13982084 memory=316088 CPUtime=3.55 cores=0,2,4,6
/proc/15480/task/15484/stat : 15484 (java) S 15477 15480 2357 0 -1 1077944384 4156 0 0 0 334 21 0 0 20 0 15 0 6407770 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725565479952 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15485] ppid=15477 vsize=13982084 memory=0 CPUtime=3.52 cores=0,2,4,6
/proc/15480/task/15485/stat : 15485 (java) S 15477 15480 2357 0 -1 1077944384 3962 0 0 0 331 21 0 0 20 0 15 0 6407770 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725564427152 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15486] ppid=15477 vsize=13982084 memory=316088 CPUtime=3.53 cores=0,2,4,6
/proc/15480/task/15486/stat : 15486 (java) S 15477 15480 2357 0 -1 1077944384 4553 0 0 0 330 23 0 0 20 0 15 0 6407770 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725563374352 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15487] ppid=15477 vsize=13982084 memory=318136 CPUtime=2.72 cores=0,2,4,6
/proc/15480/task/15487/stat : 15487 (java) S 15477 15480 2357 0 -1 1077944384 7080 0 0 0 255 17 0 0 20 0 15 0 6407772 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725125450096 139725647129218 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15488] ppid=15477 vsize=13982084 memory=318136 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15488/stat : 15488 (java) S 15477 15480 2357 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 6407772 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725124396128 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15489] ppid=15477 vsize=13982084 memory=318136 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15489/stat : 15489 (java) S 15477 15480 2357 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 6407772 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725123343232 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15490] ppid=15477 vsize=13982084 memory=318136 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15490/stat : 15490 (java) S 15477 15480 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6407775 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725122291536 139725647136667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15491] ppid=15477 vsize=13982084 memory=316088 CPUtime=1.64 cores=0,2,4,6
/proc/15480/task/15491/stat : 15491 (java) S 15477 15480 2357 0 -1 1077944384 7725 0 0 0 163 1 0 0 20 0 15 0 6407775 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725121239920 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15492] ppid=15477 vsize=13982084 memory=318136 CPUtime=1.8 cores=0,2,4,6
/proc/15480/task/15492/stat : 15492 (java) S 15477 15480 2357 0 -1 1077944384 7890 0 0 0 179 1 0 0 20 0 15 0 6407775 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725120187120 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 46 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15493] ppid=15477 vsize=13982084 memory=318136 CPUtime=0.91 cores=0,2,4,6
/proc/15480/task/15493/stat : 15493 (java) S 15477 15480 2357 0 -1 1077944384 10514 0 0 0 89 2 0 0 20 0 15 0 6407775 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725119134320 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15494] ppid=15477 vsize=13982084 memory=318136 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15494/stat : 15494 (java) S 15477 15480 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6407775 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725118081760 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15495] ppid=15477 vsize=13982084 memory=318136 CPUtime=0.85 cores=0,2,4,6
/proc/15480/task/15495/stat : 15495 (java) S 15477 15480 2357 0 -1 1077944384 731 0 0 0 40 45 0 0 20 0 15 0 6407780 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725117029040 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 44 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 318136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.92 s]
# the end of solver process 15480 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.66 s, system=1.40778 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2505.9 s]
/proc/loadavg: 1.06 1.27 1.32 3/210 15744
/proc/meminfo: memFree=31078500/32770624 swapFree=67108860/67108860
[pid=15480] ppid=15477 vsize=13982084 memory=318136 CPUtime=2520.04 cores=0,2,4,6
/proc/15480/stat : 15480 (java) S 15477 15480 2357 0 -1 1077944320 85331 0 0 0 251864 140 0 0 20 0 15 0 6407761 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 140721722228256 139725647118071 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
/proc/15480/statm: 3495521 79534 3802 1 0 3484295 0
[pid=15480/tid=15482] ppid=15477 vsize=13982084 memory=318136 CPUtime=2497.89 cores=0,2,4,6
/proc/15480/task/15482/stat : 15482 (java) R 15477 15480 2357 0 -1 4202560 33250 0 0 0 249768 21 0 0 20 0 15 0 6407769 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725651356480 139725244568388 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15483] ppid=15477 vsize=13982084 memory=318136 CPUtime=3.52 cores=0,2,4,6
/proc/15480/task/15483/stat : 15483 (java) S 15477 15480 2357 0 -1 1077944384 4041 0 0 0 331 21 0 0 20 0 15 0 6407770 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725566532752 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15484] ppid=15477 vsize=13982084 memory=316088 CPUtime=3.55 cores=0,2,4,6
/proc/15480/task/15484/stat : 15484 (java) S 15477 15480 2357 0 -1 1077944384 4156 0 0 0 334 21 0 0 20 0 15 0 6407770 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725565479952 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15485] ppid=15477 vsize=13982084 memory=0 CPUtime=3.52 cores=0,2,4,6
/proc/15480/task/15485/stat : 15485 (java) S 15477 15480 2357 0 -1 1077944384 3962 0 0 0 331 21 0 0 20 0 15 0 6407770 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725564427152 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15486] ppid=15477 vsize=13982084 memory=316088 CPUtime=3.53 cores=0,2,4,6
/proc/15480/task/15486/stat : 15486 (java) S 15477 15480 2357 0 -1 1077944384 4553 0 0 0 330 23 0 0 20 0 15 0 6407770 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725563374352 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15487] ppid=15477 vsize=13982084 memory=318136 CPUtime=2.72 cores=0,2,4,6
/proc/15480/task/15487/stat : 15487 (java) S 15477 15480 2357 0 -1 1077944384 7080 0 0 0 255 17 0 0 20 0 15 0 6407772 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725125450096 139725647129218 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15488] ppid=15477 vsize=13982084 memory=318136 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15488/stat : 15488 (java) S 15477 15480 2357 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 6407772 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725124396128 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15489] ppid=15477 vsize=13982084 memory=318136 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15489/stat : 15489 (java) S 15477 15480 2357 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 6407772 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725123343232 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15490] ppid=15477 vsize=13982084 memory=318136 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15490/stat : 15490 (java) S 15477 15480 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6407775 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725122291536 139725647136667 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15491] ppid=15477 vsize=13982084 memory=316088 CPUtime=1.64 cores=0,2,4,6
/proc/15480/task/15491/stat : 15491 (java) S 15477 15480 2357 0 -1 1077944384 7725 0 0 0 163 1 0 0 20 0 15 0 6407775 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725121239920 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15492] ppid=15477 vsize=13982084 memory=318136 CPUtime=1.8 cores=0,2,4,6
/proc/15480/task/15492/stat : 15492 (java) S 15477 15480 2357 0 -1 1077944384 7890 0 0 0 179 1 0 0 20 0 15 0 6407775 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725120187120 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 46 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15493] ppid=15477 vsize=13982084 memory=318136 CPUtime=0.91 cores=0,2,4,6
/proc/15480/task/15493/stat : 15493 (java) S 15477 15480 2357 0 -1 1077944384 10514 0 0 0 89 2 0 0 20 0 15 0 6407775 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725119134320 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15494] ppid=15477 vsize=13982084 memory=318136 CPUtime=0 cores=0,2,4,6
/proc/15480/task/15494/stat : 15494 (java) S 15477 15480 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 6407775 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725118081760 139725647128277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
[pid=15480/tid=15495] ppid=15477 vsize=13982084 memory=318136 CPUtime=0.85 cores=0,2,4,6
/proc/15480/task/15495/stat : 15495 (java) S 15477 15480 2357 0 -1 1077944384 731 0 0 0 40 45 0 0 20 0 15 0 6407780 14317654016 79534 18446744073709551615 4194304 4196468 140721722245712 139725117029040 139725647129218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 44 0 0 6293624 6294260 27246592 140721722253681 140721722253868 140721722253868 140721722257359 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 318136 KiB
Child status: 143
Real time (s): 2505.92
CPU time (s): 2520.07
CPU user time (s): 2518.66
CPU system time (s): 1.40778
CPU usage (%): 100.564
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 318136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.66
system time used= 1.40778
maximum resident set size= 318660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85928
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128983
involuntary context switches= 4863
# summary of solver processes directly reported to runsolver:
# pid: 15480
# total CPU time (s): 2520.07
# total CPU user time (s): 2518.66
# total CPU system time (s): 1.40778
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1102 second user time and 20.7183 second system time
The end