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 (10669 MiB free)
memory of node 1: 16384 MiB (12173 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396031-1568395785/watcher-4396031-1568395785 -o /tmp/evaluation-result-4396031-1568395785/solver-4396031-1568395785 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568393275-31993 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=538959926 HOME/instance-4396031-1568395785.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32471, runsolver pid=32468
[startup+0.10015 s]*
/proc/loadavg: 1.26 1.32 1.37 3/218 32528
/proc/meminfo: memFree=23384456/32770624 swapFree=67108848/67108860
[pid=32471] ppid=32468 vsize=9972712 memory=15440 CPUtime=0.08 cores=0,2,4,6
/proc/32471/stat : 32471 (java) S 32468 32471 29438 0 -1 1077944320 4601 13308 0 0 1 0 5 2 20 0 6 0 415515882 10212057088 3860 33554432000 4194304 4196468 140721468931888 140721468914432 139755485077239 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
/proc/32471/statm: 2493178 3860 1958 1 0 2481616 0
[pid=32471/tid=32524] ppid=32468 vsize=9972712 memory=4279135703913103756 CPUtime=0.08 cores=0,2,4,6
/proc/32471/task/32524/stat : 32524 (java) R 32468 32471 29438 0 -1 4202560 2387 13308 0 0 1 0 5 2 20 0 6 0 415515891 10212057088 3860 33554432000 4194304 4196468 140721468931888 139755456914000 139755469157726 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32525] ppid=32468 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32525/stat : 32525 (java) S 32468 32471 29438 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 6 0 415515892 10212057088 3860 33554432000 4194304 4196468 140721468931888 139755489319184 139755485087445 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32526] ppid=32468 vsize=9972712 memory=140123436201600 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32526/stat : 32526 (java) S 32468 32471 29438 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 6 0 415515892 10212057088 3860 33554432000 4194304 4196468 140721468931888 139755419077008 139755485087445 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32527] ppid=32468 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32527/stat : 32527 (java) S 32468 32471 29438 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 6 0 415515892 10212057088 3860 33554432000 4194304 4196468 140721468931888 139755056982544 139755485087445 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32528] ppid=32468 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32528/stat : 32528 (java) S 32468 32471 29438 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 6 0 415515892 10212057088 3860 33554432000 4194304 4196468 140721468931888 139755055930000 139755485087445 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15440 KiB
[startup+0.211169 s]*
/proc/loadavg: 1.26 1.32 1.37 3/227 32537
/proc/meminfo: memFree=23364484/32770624 swapFree=67108848/67108860
[pid=32471] ppid=32468 vsize=10819664 memory=39480 CPUtime=0.26 cores=0,2,4,6
/proc/32471/stat : 32471 (java) S 32468 32471 29438 0 -1 1077944320 7239 13308 0 0 17 2 5 2 20 0 15 0 415515882 11079335936 9870 33554432000 4194304 4196468 140721468931888 140721468914432 139755485077239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
/proc/32471/statm: 2704916 9870 3162 1 0 2667149 0
[pid=32471/tid=32524] ppid=32468 vsize=10819664 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/32471/task/32524/stat : 32524 (java) R 32468 32471 29438 0 -1 1077944384 3630 13308 0 0 11 1 5 2 20 0 15 0 415515891 11079335936 9870 33554432000 4194304 4196468 140721468931888 139755456900400 139755485087445 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32525] ppid=32468 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32525/stat : 32525 (java) S 32468 32471 29438 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 415515892 11079335936 9870 33554432000 4194304 4196468 140721468931888 139755489319184 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32526] ppid=32468 vsize=10819664 memory=140123436201600 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32526/stat : 32526 (java) S 32468 32471 29438 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 415515892 11079335936 9870 33554432000 4194304 4196468 140721468931888 139755419077008 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32527] ppid=32468 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32527/stat : 32527 (java) S 32468 32471 29438 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 415515892 11079335936 9870 33554432000 4194304 4196468 140721468931888 139755056982544 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32528] ppid=32468 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32528/stat : 32528 (java) S 32468 32471 29438 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 415515892 11079335936 9870 33554432000 4194304 4196468 140721468931888 139755055930000 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32529] ppid=32468 vsize=10819664 memory=140123436201600 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32529/stat : 32529 (java) S 32468 32471 29438 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 415515893 11079335936 9870 33554432000 4194304 4196468 140721468931888 139754944313840 139755485088386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32530] ppid=32468 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32530/stat : 32530 (java) S 32468 32471 29438 0 -1 1077944384 33 13308 0 0 0 0 5 2 20 0 15 0 415515894 11079335936 9870 33554432000 4194304 4196468 140721468931888 139754943260064 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32531] ppid=32468 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32531/stat : 32531 (java) S 32468 32471 29438 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 415515894 11079335936 9870 33554432000 4194304 4196468 140721468931888 139754813253104 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32532] ppid=32468 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32532/stat : 32532 (java) S 32468 32471 29438 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 415515897 11079335936 9870 33554432000 4194304 4196468 140721468931888 139754209274576 139755485095835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32533] ppid=32468 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32471/task/32533/stat : 32533 (java) S 32468 32471 29438 0 -1 1077944384 487 13308 0 0 1 0 5 2 20 0 15 0 415515897 11079335936 9870 33554432000 4194304 4196468 140721468931888 139754909702128 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32534] ppid=32468 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32471/task/32534/stat : 32534 (java) S 32468 32471 29438 0 -1 1077944384 190 13308 0 0 1 0 5 2 20 0 15 0 415515897 11079335936 9870 33554432000 4194304 4196468 140721468931888 139754908649584 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32535] ppid=32468 vsize=10819664 memory=140123436201600 CPUtime=0.1 cores=0,2,4,6
/proc/32471/task/32535/stat : 32535 (java) R 32468 32471 29438 0 -1 4202560 677 13308 0 0 3 0 5 2 20 0 15 0 415515897 11079335936 9870 33554432000 4194304 4196468 140721468931888 139754907597040 139755477314366 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32536] ppid=32468 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32536/stat : 32536 (java) S 32468 32471 29438 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 415515897 11079335936 9870 33554432000 4194304 4196468 140721468931888 139753739512416 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32537] ppid=32468 vsize=10819664 memory=140123436201600 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32537/stat : 32537 (java) S 32468 32471 29438 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 415515897 11079335936 9870 33554432000 4194304 4196468 140721468931888 139754906544944 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39480 KiB
[startup+0.310346 s]*
/proc/loadavg: 1.26 1.32 1.37 2/211 32539
/proc/meminfo: memFree=24241868/32770624 swapFree=67108848/67108860
[pid=32471] ppid=32468 vsize=10820148 memory=50612 CPUtime=0.39 cores=0,2,4,6
/proc/32471/stat : 32471 (java) S 32468 32471 29438 0 -1 1077944320 10982 13308 0 0 29 3 5 2 20 0 15 0 415515882 11079831552 12653 33554432000 4194304 4196468 140721468931888 140721468914432 139755485077239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
/proc/32471/statm: 2705037 12653 3294 1 0 2667149 0
[pid=32471/tid=32524] ppid=32468 vsize=10820148 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/32471/task/32524/stat : 32524 (java) R 32468 32471 29438 0 -1 4202560 7306 13308 0 0 19 2 5 2 20 0 15 0 415515891 11079831552 12653 33554432000 4194304 4196468 140721468931888 139755456877152 139755471265829 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32525] ppid=32468 vsize=10820148 memory=6008173985985816939 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32525/stat : 32525 (java) S 32468 32471 29438 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 415515892 11079831552 12653 33554432000 4194304 4196468 140721468931888 139755489319184 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32526] ppid=32468 vsize=10820148 memory=7228928657774891088 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32526/stat : 32526 (java) S 32468 32471 29438 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 415515892 11079831552 12653 33554432000 4194304 4196468 140721468931888 139755419077008 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32527] ppid=32468 vsize=10820148 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32527/stat : 32527 (java) S 32468 32471 29438 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 415515892 11079831552 12653 33554432000 4194304 4196468 140721468931888 139755056982544 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32528] ppid=32468 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32528/stat : 32528 (java) S 32468 32471 29438 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 415515892 11079831552 12653 33554432000 4194304 4196468 140721468931888 139755055930000 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32529] ppid=32468 vsize=10820148 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32529/stat : 32529 (java) S 32468 32471 29438 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 415515893 11079831552 12653 33554432000 4194304 4196468 140721468931888 139754944313840 139755485088386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32530] ppid=32468 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32530/stat : 32530 (java) S 32468 32471 29438 0 -1 1077944384 33 13308 0 0 0 0 5 2 20 0 15 0 415515894 11079831552 12653 33554432000 4194304 4196468 140721468931888 139754943260064 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32531] ppid=32468 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32531/stat : 32531 (java) S 32468 32471 29438 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 415515894 11079831552 12653 33554432000 4194304 4196468 140721468931888 139754813253104 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32532] ppid=32468 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32532/stat : 32532 (java) S 32468 32471 29438 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 415515897 11079831552 12653 33554432000 4194304 4196468 140721468931888 139754209274576 139755485095835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32533] ppid=32468 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/32471/task/32533/stat : 32533 (java) S 32468 32471 29438 0 -1 1077944384 502 13308 0 0 2 0 5 2 20 0 15 0 415515897 11079831552 12653 33554432000 4194304 4196468 140721468931888 139754909702128 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32534] ppid=32468 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32471/task/32534/stat : 32534 (java) S 32468 32471 29438 0 -1 1077944384 197 13308 0 0 1 0 5 2 20 0 15 0 415515897 11079831552 12653 33554432000 4194304 4196468 140721468931888 139754908649584 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32535] ppid=32468 vsize=10820148 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/32471/task/32535/stat : 32535 (java) S 32468 32471 29438 0 -1 1077944384 719 13308 0 0 5 0 5 2 20 0 15 0 415515897 11079831552 12653 33554432000 4194304 4196468 140721468931888 139754907597040 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32536] ppid=32468 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32536/stat : 32536 (java) S 32468 32471 29438 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 415515897 11079831552 12653 33554432000 4194304 4196468 140721468931888 139753739512416 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32537] ppid=32468 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32537/stat : 32537 (java) S 32468 32471 29438 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 415515897 11079831552 12653 33554432000 4194304 4196468 140721468931888 139754906544944 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50612 KiB
[startup+0.700749 s]
/proc/loadavg: 1.26 1.32 1.37 3/220 32562
/proc/meminfo: memFree=24218304/32770624 swapFree=67108848/67108860
[pid=32471] ppid=32468 vsize=10824360 memory=84944 CPUtime=1.11 cores=0,2,4,6
/proc/32471/stat : 32471 (java) S 32468 32471 29438 0 -1 1077944320 15485 13308 0 0 99 5 5 2 20 0 15 0 415515882 11084144640 21236 33554432000 4194304 4196468 140721468931888 140721468914432 139755485077239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
/proc/32471/statm: 2706090 21236 3508 1 0 2668173 0
[pid=32471/tid=32524] ppid=32468 vsize=10824360 memory=2241 CPUtime=0.66 cores=0,2,4,6
/proc/32471/task/32524/stat : 32524 (java) R 32468 32471 29438 0 -1 4202560 10421 13308 0 0 55 4 5 2 20 0 15 0 415515891 11084144640 21236 33554432000 4194304 4196468 140721468931888 139755456901632 139755485099165 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32525] ppid=32468 vsize=10824360 memory=3924 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32525/stat : 32525 (java) S 32468 32471 29438 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 415515892 11084144640 21236 33554432000 4194304 4196468 140721468931888 139755489319184 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32526] ppid=32468 vsize=10824360 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32526/stat : 32526 (java) S 32468 32471 29438 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 415515892 11084144640 21236 33554432000 4194304 4196468 140721468931888 139755419077008 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32527] ppid=32468 vsize=10824360 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32527/stat : 32527 (java) S 32468 32471 29438 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 415515892 11084144640 21236 33554432000 4194304 4196468 140721468931888 139755056982544 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32528] ppid=32468 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32528/stat : 32528 (java) S 32468 32471 29438 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 415515892 11084144640 21236 33554432000 4194304 4196468 140721468931888 139755055930000 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32529] ppid=32468 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32529/stat : 32529 (java) S 32468 32471 29438 0 -1 1077944384 5 13308 0 0 0 0 5 2 20 0 15 0 415515893 11084144640 21236 33554432000 4194304 4196468 140721468931888 139754944313840 139755485088386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32530] ppid=32468 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32530/stat : 32530 (java) S 32468 32471 29438 0 -1 1077944384 33 13308 0 0 0 0 5 2 20 0 15 0 415515894 11084144640 21236 33554432000 4194304 4196468 140721468931888 139754943260064 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32531] ppid=32468 vsize=10824360 memory=6655300316396806240 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32531/stat : 32531 (java) S 32468 32471 29438 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 415515894 11084144640 21236 33554432000 4194304 4196468 140721468931888 139754813253104 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32532] ppid=32468 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32532/stat : 32532 (java) S 32468 32471 29438 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 415515897 11084144640 21236 33554432000 4194304 4196468 140721468931888 139754209274576 139755485095835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32533] ppid=32468 vsize=10824360 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/32471/task/32533/stat : 32533 (java) S 32468 32471 29438 0 -1 1077944384 996 13308 0 0 12 0 5 2 20 0 15 0 415515897 11084144640 21236 33554432000 4194304 4196468 140721468931888 139754909702128 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32534] ppid=32468 vsize=10824360 memory=280246616064240 CPUtime=0.19 cores=0,2,4,6
/proc/32471/task/32534/stat : 32534 (java) S 32468 32471 29438 0 -1 1077944384 780 13308 0 0 12 0 5 2 20 0 15 0 415515897 11084144640 21236 33554432000 4194304 4196468 140721468931888 139754908649584 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32535] ppid=32468 vsize=10824360 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/32471/task/32535/stat : 32535 (java) S 32468 32471 29438 0 -1 1077944384 1028 13308 0 0 17 0 5 2 20 0 15 0 415515897 11084144640 21236 33554432000 4194304 4196468 140721468931888 139754907597040 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32536] ppid=32468 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32536/stat : 32536 (java) S 32468 32471 29438 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 415515897 11084144640 21236 33554432000 4194304 4196468 140721468931888 139753739512416 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32537] ppid=32468 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32537/stat : 32537 (java) S 32468 32471 29438 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 415515897 11084144640 21236 33554432000 4194304 4196468 140721468931888 139754906544944 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 84944 KiB
[startup+1.50068 s]
/proc/loadavg: 1.26 1.32 1.37 3/208 32572
/proc/meminfo: memFree=24186664/32770624 swapFree=67108848/67108860
[pid=32471] ppid=32468 vsize=10834676 memory=172308 CPUtime=2.41 cores=0,2,4,6
/proc/32471/stat : 32471 (java) S 32468 32471 29438 0 -1 1077944320 22011 13308 0 0 223 11 5 2 20 0 15 0 415515882 11094708224 43077 33554432000 4194304 4196468 140721468931888 140721468914432 139755485077239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
/proc/32471/statm: 2708669 43077 3581 1 0 2670733 0
[pid=32471/tid=32524] ppid=32468 vsize=10834676 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/32471/task/32524/stat : 32524 (java) R 32468 32471 29438 0 -1 4202560 15300 13308 0 0 129 6 5 2 20 0 15 0 415515891 11094708224 43077 33554432000 4194304 4196468 140721468931888 139755456884464 139755485089174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32525] ppid=32468 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32471/task/32525/stat : 32525 (java) S 32468 32471 29438 0 -1 1077944384 21 13308 0 0 1 0 5 2 20 0 15 0 415515892 11094708224 43077 33554432000 4194304 4196468 140721468931888 139755489319184 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32526] ppid=32468 vsize=10834676 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32526/stat : 32526 (java) S 32468 32471 29438 0 -1 1077944384 59 13308 0 0 0 0 5 2 20 0 15 0 415515892 11094708224 43077 33554432000 4194304 4196468 140721468931888 139755419077008 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32527] ppid=32468 vsize=10834676 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32527/stat : 32527 (java) S 32468 32471 29438 0 -1 1077944384 63 13308 0 0 0 0 5 2 20 0 15 0 415515892 11094708224 43077 33554432000 4194304 4196468 140721468931888 139755056982544 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32528] ppid=32468 vsize=10834676 memory=7681407940103534239 CPUtime=0.08 cores=0,2,4,6
/proc/32471/task/32528/stat : 32528 (java) S 32468 32471 29438 0 -1 1077944384 347 13308 0 0 1 0 5 2 20 0 15 0 415515892 11094708224 43077 33554432000 4194304 4196468 140721468931888 139755055930000 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32529] ppid=32468 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32471/task/32529/stat : 32529 (java) S 32468 32471 29438 0 -1 1077944384 135 13308 0 0 1 0 5 2 20 0 15 0 415515893 11094708224 43077 33554432000 4194304 4196468 140721468931888 139754944313840 139755485088386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32530] ppid=32468 vsize=10834676 memory=280246616643296 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32530/stat : 32530 (java) S 32468 32471 29438 0 -1 1077944384 34 13308 0 0 0 0 5 2 20 0 15 0 415515894 11094708224 43077 33554432000 4194304 4196468 140721468931888 139754943260064 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32531] ppid=32468 vsize=10834676 memory=140123308332224 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32531/stat : 32531 (java) S 32468 32471 29438 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 415515894 11094708224 43077 33554432000 4194304 4196468 140721468931888 139754813253104 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32532] ppid=32468 vsize=10834676 memory=7016593781463033779 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32532/stat : 32532 (java) S 32468 32471 29438 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 415515897 11094708224 43077 33554432000 4194304 4196468 140721468931888 139754209274576 139755485095835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32533] ppid=32468 vsize=10834676 memory=9051283677730746851 CPUtime=0.31 cores=0,2,4,6
/proc/32471/task/32533/stat : 32533 (java) S 32468 32471 29438 0 -1 1077944384 1167 13308 0 0 24 0 5 2 20 0 15 0 415515897 11094708224 43077 33554432000 4194304 4196468 140721468931888 139754909702128 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32534] ppid=32468 vsize=10834676 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/32471/task/32534/stat : 32534 (java) R 32468 32471 29438 0 -1 1077944384 905 13308 0 0 21 0 5 2 20 0 15 0 415515897 11094708224 43077 33554432000 4194304 4196468 140721468931888 139754908649584 139755485088386 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32535] ppid=32468 vsize=10834676 memory=56 CPUtime=0.47 cores=0,2,4,6
/proc/32471/task/32535/stat : 32535 (java) R 32468 32471 29438 0 -1 4202560 1764 13308 0 0 40 0 5 2 20 0 15 0 415515897 11094708224 43077 33554432000 4194304 4196468 140721468931888 139754907597040 139755469157726 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32536] ppid=32468 vsize=10834676 memory=10829 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32536/stat : 32536 (java) S 32468 32471 29438 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 415515897 11094708224 43077 33554432000 4194304 4196468 140721468931888 139753739512416 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32537] ppid=32468 vsize=10834676 memory=12305 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32537/stat : 32537 (java) S 32468 32471 29438 0 -1 1077944384 1 13308 0 0 0 0 5 2 20 0 15 0 415515897 11094708224 43077 33554432000 4194304 4196468 140721468931888 139754906544944 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/32471/task/32524/stat : 32524 (java) R 32468 32471 29438 0 -1 4202560 180216 13308 0 0 235514 76 5 2 20 0 15 0 415515891 11111518208 163748 33554432000 4194304 4196468 140721468931888 139755456912672 139755096422987 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32525] ppid=32468 vsize=10851092 memory=664228 CPUtime=14.8 cores=0,2,4,6
/proc/32471/task/32525/stat : 32525 (java) S 32468 32471 29438 0 -1 1077944384 28556 13308 0 0 1401 72 5 2 20 0 15 0 415515892 11111518208 163748 33554432000 4194304 4196468 140721468931888 139755489319184 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32526] ppid=32468 vsize=10851092 memory=657560 CPUtime=14.84 cores=0,2,4,6
/proc/32471/task/32526/stat : 32526 (java) S 32468 32471 29438 0 -1 1077944384 31807 13308 0 0 1403 74 5 2 20 0 15 0 415515892 11111518208 163748 33554432000 4194304 4196468 140721468931888 139755419077008 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32527] ppid=32468 vsize=10851092 memory=654992 CPUtime=14.83 cores=0,2,4,6
/proc/32471/task/32527/stat : 32527 (java) S 32468 32471 29438 0 -1 1077944384 24715 13308 0 0 1403 73 5 2 20 0 15 0 415515892 11111518208 163748 33554432000 4194304 4196468 140721468931888 139755056982544 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32528] ppid=32468 vsize=10851092 memory=2008 CPUtime=14.82 cores=0,2,4,6
/proc/32471/task/32528/stat : 32528 (java) S 32468 32471 29438 0 -1 1077944384 25838 13308 0 0 1405 70 5 2 20 0 15 0 415515892 11111518208 163748 33554432000 4194304 4196468 140721468931888 139755055930000 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32529] ppid=32468 vsize=10851092 memory=666792 CPUtime=8.26 cores=0,2,4,6
/proc/32471/task/32529/stat : 32529 (java) S 32468 32471 29438 0 -1 1077944384 15392 13308 0 0 738 81 5 2 20 0 15 0 415515893 11111518208 163748 33554432000 4194304 4196468 140721468931888 139754944313840 139755485088386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32530] ppid=32468 vsize=10851092 memory=678196 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32530/stat : 32530 (java) S 32468 32471 29438 0 -1 1077944384 47 13308 0 0 0 0 5 2 20 0 15 0 415515894 11111518208 163748 33554432000 4194304 4196468 140721468931888 139754943260128 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32531] ppid=32468 vsize=10851092 memory=681272 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32531/stat : 32531 (java) S 32468 32471 29438 0 -1 1077944384 7 13308 0 0 0 0 5 2 20 0 15 0 415515894 11111518208 163748 33554432000 4194304 4196468 140721468931888 139754813253120 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32532] ppid=32468 vsize=10851092 memory=665768 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32532/stat : 32532 (java) S 32468 32471 29438 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 415515897 11111518208 163748 33554432000 4194304 4196468 140721468931888 139754209274576 139755485095835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32533] ppid=32468 vsize=10851092 memory=669872 CPUtime=7.36 cores=0,2,4,6
/proc/32471/task/32533/stat : 32533 (java) S 32468 32471 29438 0 -1 1077944384 51960 13308 0 0 723 6 5 2 20 0 15 0 415515897 11111518208 163748 33554432000 4194304 4196468 140721468931888 139754909702128 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32534] ppid=32468 vsize=10851092 memory=3924 CPUtime=7.1 cores=0,2,4,6
/proc/32471/task/32534/stat : 32534 (java) S 32468 32471 29438 0 -1 1077944384 52231 13308 0 0 690 13 5 2 20 0 15 0 415515897 11111518208 163748 33554432000 4194304 4196468 140721468931888 139754908649584 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32535] ppid=32468 vsize=10851092 memory=1412 CPUtime=5.94 cores=0,2,4,6
/proc/32471/task/32535/stat : 32535 (java) S 32468 32471 29438 0 -1 1077944384 66323 13308 0 0 575 12 5 2 20 0 15 0 415515897 11111518208 163748 33554432000 4194304 4196468 140721468931888 139754907597040 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32536] ppid=32468 vsize=10851092 memory=5536 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32536/stat : 32536 (java) S 32468 32471 29438 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 415515897 11111518208 163748 33554432000 4194304 4196468 140721468931888 139753739512416 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32537] ppid=32468 vsize=10851092 memory=4540 CPUtime=1.48 cores=0,2,4,6
/proc/32471/task/32537/stat : 32537 (java) S 32468 32471 29438 0 -1 1077944384 1311 13308 0 0 68 73 5 2 20 0 15 0 415515897 11111518208 163748 33554432000 4194304 4196468 140721468931888 139754906544944 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
Current children cumulated CPU time: 2444.89 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 654992 KiB
[startup+2442.3 s]
/proc/loadavg: 1.48 1.56 1.47 3/227 603
/proc/meminfo: memFree=22767036/32770624 swapFree=67108848/67108860
[pid=32471] ppid=32468 vsize=10851092 memory=1142800 CPUtime=2505.62 cores=0,2,4,6
/proc/32471/stat : 32471 (java) S 32468 32471 29438 0 -1 1077944320 505730 13308 0 0 250035 520 5 2 20 0 15 0 415515882 11111518208 285700 33554432000 4194304 4196468 140721468931888 140721468914432 139755485077239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
/proc/32471/statm: 2712773 285700 3641 1 0 2674829 0
[pid=32471/tid=32524] ppid=32468 vsize=10851092 memory=1132536 CPUtime=2415.54 cores=0,2,4,6
/proc/32471/task/32524/stat : 32524 (java) R 32468 32471 29438 0 -1 4202560 193673 13308 0 0 241464 83 5 2 20 0 15 0 415515891 11111518208 285700 33554432000 4194304 4196468 140721468931888 139755456912656 139755098598278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32525] ppid=32468 vsize=10851092 memory=1130488 CPUtime=15.06 cores=0,2,4,6
/proc/32471/task/32525/stat : 32525 (java) S 32468 32471 29438 0 -1 1077944384 29470 13308 0 0 1422 77 5 2 20 0 15 0 415515892 11111518208 285700 33554432000 4194304 4196468 140721468931888 139755489319184 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32526] ppid=32468 vsize=10851092 memory=1130488 CPUtime=15.08 cores=0,2,4,6
/proc/32471/task/32526/stat : 32526 (java) S 32468 32471 29438 0 -1 1077944384 32772 13308 0 0 1423 78 5 2 20 0 15 0 415515892 11111518208 285700 33554432000 4194304 4196468 140721468931888 139755419077008 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32527] ppid=32468 vsize=10851092 memory=1075236 CPUtime=15.08 cores=0,2,4,6
/proc/32471/task/32527/stat : 32527 (java) S 32468 32471 29438 0 -1 1077944384 25708 13308 0 0 1425 76 5 2 20 0 15 0 415515892 11111518208 285700 33554432000 4194304 4196468 140721468931888 139755056982544 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32528] ppid=32468 vsize=10851092 memory=1038084 CPUtime=15.08 cores=0,2,4,6
/proc/32471/task/32528/stat : 32528 (java) S 32468 32471 29438 0 -1 1077944384 26747 13308 0 0 1427 74 5 2 20 0 15 0 415515892 11111518208 285700 33554432000 4194304 4196468 140721468931888 139755055930000 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32529] ppid=32468 vsize=10851092 memory=1087524 CPUtime=8.38 cores=0,2,4,6
/proc/32471/task/32529/stat : 32529 (java) S 32468 32471 29438 0 -1 1077944384 23117 13308 0 0 749 82 5 2 20 0 15 0 415515893 11111518208 285700 33554432000 4194304 4196468 140721468931888 139754944313840 139755485088386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32530] ppid=32468 vsize=10851092 memory=895644 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32530/stat : 32530 (java) S 32468 32471 29438 0 -1 1077944384 47 13308 0 0 0 0 5 2 20 0 15 0 415515894 11111518208 285700 33554432000 4194304 4196468 140721468931888 139754943260128 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32531] ppid=32468 vsize=10851092 memory=1103796 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32531/stat : 32531 (java) S 32468 32471 29438 0 -1 1077944384 7 13308 0 0 0 0 5 2 20 0 15 0 415515894 11111518208 285700 33554432000 4194304 4196468 140721468931888 139754813253120 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32532] ppid=32468 vsize=10851092 memory=1116124 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32532/stat : 32532 (java) S 32468 32471 29438 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 415515897 11111518208 285700 33554432000 4194304 4196468 140721468931888 139754209274576 139755485095835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32533] ppid=32468 vsize=10851092 memory=1118172 CPUtime=7.36 cores=0,2,4,6
/proc/32471/task/32533/stat : 32533 (java) S 32468 32471 29438 0 -1 1077944384 52085 13308 0 0 723 6 5 2 20 0 15 0 415515897 11111518208 285700 33554432000 4194304 4196468 140721468931888 139754909702128 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32534] ppid=32468 vsize=10851092 memory=1132536 CPUtime=7.1 cores=0,2,4,6
/proc/32471/task/32534/stat : 32534 (java) S 32468 32471 29438 0 -1 1077944384 52233 13308 0 0 690 13 5 2 20 0 15 0 415515897 11111518208 285700 33554432000 4194304 4196468 140721468931888 139754908649584 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32535] ppid=32468 vsize=10851092 memory=1116124 CPUtime=5.94 cores=0,2,4,6
/proc/32471/task/32535/stat : 32535 (java) S 32468 32471 29438 0 -1 1077944384 66325 13308 0 0 575 12 5 2 20 0 15 0 415515897 11111518208 285700 33554432000 4194304 4196468 140721468931888 139754907597040 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32536] ppid=32468 vsize=10851092 memory=1132536 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32536/stat : 32536 (java) S 32468 32471 29438 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 415515897 11111518208 285700 33554432000 4194304 4196468 140721468931888 139753739512416 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32537] ppid=32468 vsize=10851092 memory=7172 CPUtime=1.52 cores=0,2,4,6
/proc/32471/task/32537/stat : 32537 (java) S 32468 32471 29438 0 -1 1077944384 1331 13308 0 0 70 75 5 2 20 0 15 0 415515897 11111518208 285700 33554432000 4194304 4196468 140721468931888 139754906544944 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
Current children cumulated CPU time: 2505.62 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 1142800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2456.7 s]
/proc/loadavg: 1.45 1.55 1.46 3/227 603
/proc/meminfo: memFree=22705832/32770624 swapFree=67108848/67108860
[pid=32471] ppid=32468 vsize=10851092 memory=1208580 CPUtime=2520.07 cores=0,2,4,6
/proc/32471/stat : 32471 (java) S 32468 32471 29438 0 -1 1077944320 506892 13308 0 0 251476 524 5 2 20 0 15 0 415515882 11111518208 302145 33554432000 4194304 4196468 140721468931888 140721468914432 139755485077239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
/proc/32471/statm: 2712773 302145 3641 1 0 2674829 0
[pid=32471/tid=32524] ppid=32468 vsize=10851092 memory=1198340 CPUtime=2429.92 cores=0,2,4,6
/proc/32471/task/32524/stat : 32524 (java) R 32468 32471 29438 0 -1 4202560 194750 13308 0 0 242901 84 5 2 20 0 15 0 415515891 11111518208 302145 33554432000 4194304 4196468 140721468931888 139755456912176 139755094650504 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32525] ppid=32468 vsize=10851092 memory=1171524 CPUtime=15.07 cores=0,2,4,6
/proc/32471/task/32525/stat : 32525 (java) S 32468 32471 29438 0 -1 1077944384 29481 13308 0 0 1422 78 5 2 20 0 15 0 415515892 11111518208 302145 33554432000 4194304 4196468 140721468931888 139755489319184 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32526] ppid=32468 vsize=10851092 memory=1161284 CPUtime=15.1 cores=0,2,4,6
/proc/32471/task/32526/stat : 32526 (java) S 32468 32471 29438 0 -1 1077944384 32785 13308 0 0 1424 79 5 2 20 0 15 0 415515892 11111518208 302145 33554432000 4194304 4196468 140721468931888 139755419077008 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32527] ppid=32468 vsize=10851092 memory=1181692 CPUtime=15.1 cores=0,2,4,6
/proc/32471/task/32527/stat : 32527 (java) S 32468 32471 29438 0 -1 1077944384 25723 13308 0 0 1426 77 5 2 20 0 15 0 415515892 11111518208 302145 33554432000 4194304 4196468 140721468931888 139755056982544 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32528] ppid=32468 vsize=10851092 memory=1185812 CPUtime=15.08 cores=0,2,4,6
/proc/32471/task/32528/stat : 32528 (java) S 32468 32471 29438 0 -1 1077944384 26754 13308 0 0 1427 74 5 2 20 0 15 0 415515892 11111518208 302145 33554432000 4194304 4196468 140721468931888 139755055930000 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32529] ppid=32468 vsize=10851092 memory=1185812 CPUtime=8.38 cores=0,2,4,6
/proc/32471/task/32529/stat : 32529 (java) S 32468 32471 29438 0 -1 1077944384 23154 13308 0 0 749 82 5 2 20 0 15 0 415515893 11111518208 302145 33554432000 4194304 4196468 140721468931888 139754944313840 139755485088386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32530] ppid=32468 vsize=10851092 memory=1198340 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32530/stat : 32530 (java) S 32468 32471 29438 0 -1 1077944384 47 13308 0 0 0 0 5 2 20 0 15 0 415515894 11111518208 302145 33554432000 4194304 4196468 140721468931888 139754943260128 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32531] ppid=32468 vsize=10851092 memory=1192 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32531/stat : 32531 (java) S 32468 32471 29438 0 -1 1077944384 7 13308 0 0 0 0 5 2 20 0 15 0 415515894 11111518208 302145 33554432000 4194304 4196468 140721468931888 139754813253120 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32532] ppid=32468 vsize=10851092 memory=1198340 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32532/stat : 32532 (java) S 32468 32471 29438 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 415515897 11111518208 302145 33554432000 4194304 4196468 140721468931888 139754209274576 139755485095835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32533] ppid=32468 vsize=10851092 memory=895644 CPUtime=7.36 cores=0,2,4,6
/proc/32471/task/32533/stat : 32533 (java) S 32468 32471 29438 0 -1 1077944384 52085 13308 0 0 723 6 5 2 20 0 15 0 415515897 11111518208 302145 33554432000 4194304 4196468 140721468931888 139754909702128 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32534] ppid=32468 vsize=10851092 memory=0 CPUtime=7.1 cores=0,2,4,6
/proc/32471/task/32534/stat : 32534 (java) S 32468 32471 29438 0 -1 1077944384 52233 13308 0 0 690 13 5 2 20 0 15 0 415515897 11111518208 302145 33554432000 4194304 4196468 140721468931888 139754908649584 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32535] ppid=32468 vsize=10851092 memory=1198340 CPUtime=5.94 cores=0,2,4,6
/proc/32471/task/32535/stat : 32535 (java) S 32468 32471 29438 0 -1 1077944384 66325 13308 0 0 575 12 5 2 20 0 15 0 415515897 11111518208 302145 33554432000 4194304 4196468 140721468931888 139754907597040 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32536] ppid=32468 vsize=10851092 memory=1198340 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32536/stat : 32536 (java) S 32468 32471 29438 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 415515897 11111518208 302145 33554432000 4194304 4196468 140721468931888 139753739512416 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32537] ppid=32468 vsize=10851092 memory=1196272 CPUtime=1.52 cores=0,2,4,6
/proc/32471/task/32537/stat : 32537 (java) S 32468 32471 29438 0 -1 1077944384 1333 13308 0 0 70 75 5 2 20 0 15 0 415515897 11111518208 302145 33554432000 4194304 4196468 140721468931888 139754906544944 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 1208580 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2456.74 s]
# the end of solver process 32471 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.84 s, system=5.29149 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2456.7 s]
/proc/loadavg: 1.45 1.55 1.46 3/227 603
/proc/meminfo: memFree=22705832/32770624 swapFree=67108848/67108860
[pid=32471] ppid=32468 vsize=10851092 memory=1208580 CPUtime=2520.07 cores=0,2,4,6
/proc/32471/stat : 32471 (java) S 32468 32471 29438 0 -1 1077944320 506892 13308 0 0 251476 524 5 2 20 0 15 0 415515882 11111518208 302145 33554432000 4194304 4196468 140721468931888 140721468914432 139755485077239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
/proc/32471/statm: 2712773 302145 3641 1 0 2674829 0
[pid=32471/tid=32524] ppid=32468 vsize=10851092 memory=1198340 CPUtime=2429.92 cores=0,2,4,6
/proc/32471/task/32524/stat : 32524 (java) R 32468 32471 29438 0 -1 4202560 194750 13308 0 0 242901 84 5 2 20 0 15 0 415515891 11111518208 302145 33554432000 4194304 4196468 140721468931888 139755456912176 139755094650504 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32525] ppid=32468 vsize=10851092 memory=1171524 CPUtime=15.07 cores=0,2,4,6
/proc/32471/task/32525/stat : 32525 (java) S 32468 32471 29438 0 -1 1077944384 29481 13308 0 0 1422 78 5 2 20 0 15 0 415515892 11111518208 302145 33554432000 4194304 4196468 140721468931888 139755489319184 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32526] ppid=32468 vsize=10851092 memory=1161284 CPUtime=15.1 cores=0,2,4,6
/proc/32471/task/32526/stat : 32526 (java) S 32468 32471 29438 0 -1 1077944384 32785 13308 0 0 1424 79 5 2 20 0 15 0 415515892 11111518208 302145 33554432000 4194304 4196468 140721468931888 139755419077008 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32527] ppid=32468 vsize=10851092 memory=1181692 CPUtime=15.1 cores=0,2,4,6
/proc/32471/task/32527/stat : 32527 (java) S 32468 32471 29438 0 -1 1077944384 25723 13308 0 0 1426 77 5 2 20 0 15 0 415515892 11111518208 302145 33554432000 4194304 4196468 140721468931888 139755056982544 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32528] ppid=32468 vsize=10851092 memory=1185812 CPUtime=15.08 cores=0,2,4,6
/proc/32471/task/32528/stat : 32528 (java) S 32468 32471 29438 0 -1 1077944384 26754 13308 0 0 1427 74 5 2 20 0 15 0 415515892 11111518208 302145 33554432000 4194304 4196468 140721468931888 139755055930000 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32529] ppid=32468 vsize=10851092 memory=1185812 CPUtime=8.38 cores=0,2,4,6
/proc/32471/task/32529/stat : 32529 (java) S 32468 32471 29438 0 -1 1077944384 23154 13308 0 0 749 82 5 2 20 0 15 0 415515893 11111518208 302145 33554432000 4194304 4196468 140721468931888 139754944313840 139755485088386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32530] ppid=32468 vsize=10851092 memory=1198340 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32530/stat : 32530 (java) S 32468 32471 29438 0 -1 1077944384 47 13308 0 0 0 0 5 2 20 0 15 0 415515894 11111518208 302145 33554432000 4194304 4196468 140721468931888 139754943260128 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32531] ppid=32468 vsize=10851092 memory=1192 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32531/stat : 32531 (java) S 32468 32471 29438 0 -1 1077944384 7 13308 0 0 0 0 5 2 20 0 15 0 415515894 11111518208 302145 33554432000 4194304 4196468 140721468931888 139754813253120 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32532] ppid=32468 vsize=10851092 memory=1198340 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32532/stat : 32532 (java) S 32468 32471 29438 0 -1 1077944384 2 13308 0 0 0 0 5 2 20 0 15 0 415515897 11111518208 302145 33554432000 4194304 4196468 140721468931888 139754209274576 139755485095835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32533] ppid=32468 vsize=10851092 memory=895644 CPUtime=7.36 cores=0,2,4,6
/proc/32471/task/32533/stat : 32533 (java) S 32468 32471 29438 0 -1 1077944384 52085 13308 0 0 723 6 5 2 20 0 15 0 415515897 11111518208 302145 33554432000 4194304 4196468 140721468931888 139754909702128 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32534] ppid=32468 vsize=10851092 memory=0 CPUtime=7.1 cores=0,2,4,6
/proc/32471/task/32534/stat : 32534 (java) S 32468 32471 29438 0 -1 1077944384 52233 13308 0 0 690 13 5 2 20 0 15 0 415515897 11111518208 302145 33554432000 4194304 4196468 140721468931888 139754908649584 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32535] ppid=32468 vsize=10851092 memory=1198340 CPUtime=5.94 cores=0,2,4,6
/proc/32471/task/32535/stat : 32535 (java) S 32468 32471 29438 0 -1 1077944384 66325 13308 0 0 575 12 5 2 20 0 15 0 415515897 11111518208 302145 33554432000 4194304 4196468 140721468931888 139754907597040 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32536] ppid=32468 vsize=10851092 memory=1198340 CPUtime=0.07 cores=0,2,4,6
/proc/32471/task/32536/stat : 32536 (java) S 32468 32471 29438 0 -1 1077944384 3 13308 0 0 0 0 5 2 20 0 15 0 415515897 11111518208 302145 33554432000 4194304 4196468 140721468931888 139753739512416 139755485087445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
[pid=32471/tid=32537] ppid=32468 vsize=10851092 memory=1196272 CPUtime=1.52 cores=0,2,4,6
/proc/32471/task/32537/stat : 32537 (java) S 32468 32471 29438 0 -1 1077944384 1333 13308 0 0 70 75 5 2 20 0 15 0 415515897 11111518208 302145 33554432000 4194304 4196468 140721468931888 139754906544944 139755485088386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37670912 140721468934896 140721468937413 140721468937413 140721468940239 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 1208580 KiB
Child status: 143
Real time (s): 2456.74
CPU time (s): 2520.13
CPU user time (s): 2514.84
CPU system time (s): 5.29149
CPU usage (%): 102.58
Max. virtual memory (cumulated for all children) (KiB): 10851888
Max. memory (cumulated for all children) (KiB): 1937356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.84
system time used= 5.29149
maximum resident set size= 1939460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 522044
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 237000
involuntary context switches= 7984
# summary of solver processes directly reported to runsolver:
# pid: 32471
# total CPU time (s): 2520.13
# total CPU user time (s): 2514.84
# total CPU system time (s): 5.29149
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8498 second user time and 22.9826 second system time
The end