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 (14164 MiB free)
memory of node 1: 16384 MiB (15385 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396001-1568396230/watcher-4396001-1568396230 -o /tmp/evaluation-result-4396001-1568396230/solver-4396001-1568396230 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568393581-9267 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1843141123 HOME/instance-4396001-1568396230.xml
running on 4 cores: 1,3,5,7
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=10010, runsolver pid=10007
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.49 1.42 1.39 3/219 10067
/proc/meminfo: memFree=30248164/32770624 swapFree=66934672/67108860
[pid=10010] ppid=10007 vsize=10055356 memory=19124 CPUtime=0.08 cores=1,3,5,7
/proc/10010/stat : 10010 (java) S 10007 10010 9235 0 -1 1077944320 4506 13296 0 0 1 0 4 3 20 0 7 0 415894476 10296684544 4781 33554432000 4194304 4196468 140722454622112 140722454604656 140429906415351 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
/proc/10010/statm: 2513839 4781 2016 1 0 2502277 0
[pid=10010/tid=10063] ppid=10007 vsize=10055356 memory=5854520767527157917 CPUtime=0.08 cores=1,3,5,7
/proc/10010/task/10063/stat : 10063 (java) R 10007 10010 9235 0 -1 4202560 2311 13296 0 0 1 0 4 3 20 0 7 0 415894484 10296684544 4781 33554432000 4194304 4196468 140722454622112 140429878258448 140429888889072 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10064] ppid=10007 vsize=10055356 memory=5793854920428067257 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10064/stat : 10064 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 7 0 415894485 10296684544 4781 33554432000 4194304 4196468 140722454622112 140429910657936 140429906425557 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10065] ppid=10007 vsize=10055356 memory=139669418174080 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10065/stat : 10065 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 7 0 415894485 10296684544 4781 33554432000 4194304 4196468 140722454622112 140429798931216 140429906425557 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10066] ppid=10007 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10066/stat : 10066 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 7 0 415894485 10296684544 4781 33554432000 4194304 4196468 140722454622112 140429797878928 140429906425557 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10067] ppid=10007 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10067/stat : 10067 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 7 0 415894485 10296684544 4781 33554432000 4194304 4196468 140722454622112 140429796826128 140429906425557 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10068] ppid=10007 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10068/stat : 10068 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 7 0 415894487 10296684544 4781 33554432000 4194304 4196468 140722454622112 140429365438576 140429906426498 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10055356 KiB
Current children cumulated memory: 19124 KiB
[startup+0.211374 s]*
/proc/loadavg: 1.49 1.42 1.39 3/228 10076
/proc/meminfo: memFree=30229340/32770624 swapFree=66934672/67108860
[pid=10010] ppid=10007 vsize=10819972 memory=44872 CPUtime=0.26 cores=1,3,5,7
/proc/10010/stat : 10010 (java) S 10007 10010 9235 0 -1 1077944320 7056 13296 0 0 18 1 4 3 20 0 15 0 415894476 11079651328 11218 33554432000 4194304 4196468 140722454622112 140722454604656 140429906415351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
/proc/10010/statm: 2704993 11218 3208 1 0 2667149 0
[pid=10010/tid=10063] ppid=10007 vsize=10820116 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/10010/task/10063/stat : 10063 (java) R 10007 10010 9235 0 -1 4202560 3534 13296 0 0 11 1 4 3 20 0 15 0 415894484 11079798784 11218 33554432000 4194304 4196468 140722454622112 140429878245344 140429829492598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10064] ppid=10007 vsize=10820116 memory=4211973395622964618 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10064/stat : 10064 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 15 0 415894485 11079798784 11284 33554432000 4194304 4196468 140722454622112 140429910657936 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10065] ppid=10007 vsize=10820116 memory=139669418174080 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10065/stat : 10065 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 15 0 415894485 11079798784 11284 33554432000 4194304 4196468 140722454622112 140429798931216 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10066] ppid=10007 vsize=10820116 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10066/stat : 10066 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 15 0 415894485 11079798784 11284 33554432000 4194304 4196468 140722454622112 140429797878928 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10067] ppid=10007 vsize=10820116 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10067/stat : 10067 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 15 0 415894485 11079798784 11284 33554432000 4194304 4196468 140722454622112 140429796826128 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10068] ppid=10007 vsize=10820116 memory=139669418174080 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10068/stat : 10068 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 15 0 415894487 11079798784 11284 33554432000 4194304 4196468 140722454622112 140429365438576 140429906426498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10069] ppid=10007 vsize=10820116 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10069/stat : 10069 (java) S 10007 10010 9235 0 -1 1077944384 33 13296 0 0 0 0 4 3 20 0 15 0 415894487 11079798784 11284 33554432000 4194304 4196468 140722454622112 140429364384544 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10070] ppid=10007 vsize=10820116 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10070/stat : 10070 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 15 0 415894487 11079798784 11284 33554432000 4194304 4196468 140722454622112 140429257335920 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10071] ppid=10007 vsize=10820116 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10071/stat : 10071 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 15 0 415894490 11079798784 11284 33554432000 4194304 4196468 140722454622112 140428653357136 140429906433947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10072] ppid=10007 vsize=10820116 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10010/task/10072/stat : 10072 (java) R 10007 10010 9235 0 -1 4202560 355 13296 0 0 1 0 4 3 20 0 15 0 415894490 11079798784 11284 33554432000 4194304 4196468 140722454622112 140429330827888 140429906427286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10073] ppid=10007 vsize=10820116 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10010/task/10073/stat : 10073 (java) S 10007 10010 9235 0 -1 1077944384 299 13296 0 0 1 0 4 3 20 0 15 0 415894490 11079798784 11284 33554432000 4194304 4196468 140722454622112 140429329775088 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10074] ppid=10007 vsize=10820116 memory=139669418174080 CPUtime=0.1 cores=1,3,5,7
/proc/10010/task/10074/stat : 10074 (java) S 10007 10010 9235 0 -1 1077944384 617 13296 0 0 3 0 4 3 20 0 15 0 415894490 11079798784 11284 33554432000 4194304 4196468 140722454622112 140429328722800 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10075] ppid=10007 vsize=10820128 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10075/stat : 10075 (java) S 10007 10010 9235 0 -1 1077944384 3 13296 0 0 0 0 4 3 20 0 15 0 415894490 11079811072 11284 33554432000 4194304 4196468 140722454622112 140428183596000 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10076] ppid=10007 vsize=10820128 memory=139669418174080 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10076/stat : 10076 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 15 0 415894490 11079811072 11284 33554432000 4194304 4196468 140722454622112 140429327669680 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819972 KiB
Current children cumulated memory: 44872 KiB
[startup+0.310501 s]*
/proc/loadavg: 1.49 1.42 1.39 3/228 10076
/proc/meminfo: memFree=30216408/32770624 swapFree=66934672/67108860
[pid=10010] ppid=10007 vsize=10820148 memory=53424 CPUtime=0.4 cores=1,3,5,7
/proc/10010/stat : 10010 (java) S 10007 10010 9235 0 -1 1077944320 10609 13296 0 0 30 3 4 3 20 0 15 0 415894476 11079831552 13356 33554432000 4194304 4196468 140722454622112 140722454604656 140429906415351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
/proc/10010/statm: 2705037 13356 3304 1 0 2667149 0
[pid=10010/tid=10063] ppid=10007 vsize=10820260 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/10010/task/10063/stat : 10063 (java) R 10007 10010 9235 0 -1 4202560 7085 13296 0 0 19 2 4 3 20 0 15 0 415894484 11079946240 13421 33554432000 4194304 4196468 140722454622112 140429878235568 140429829491666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10064] ppid=10007 vsize=10820260 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10064/stat : 10064 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 15 0 415894485 11079946240 13421 33554432000 4194304 4196468 140722454622112 140429910657936 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10065] ppid=10007 vsize=10820260 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10065/stat : 10065 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 15 0 415894485 11079946240 13421 33554432000 4194304 4196468 140722454622112 140429798931216 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10066] ppid=10007 vsize=10820260 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10066/stat : 10066 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 15 0 415894485 11079946240 13421 33554432000 4194304 4196468 140722454622112 140429797878928 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10067] ppid=10007 vsize=10820260 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10067/stat : 10067 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 15 0 415894485 11079946240 13421 33554432000 4194304 4196468 140722454622112 140429796826128 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10068] ppid=10007 vsize=10820260 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10068/stat : 10068 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 15 0 415894487 11079946240 13421 33554432000 4194304 4196468 140722454622112 140429365438576 140429906426498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10069] ppid=10007 vsize=10820260 memory=139669418174079 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10069/stat : 10069 (java) S 10007 10010 9235 0 -1 1077944384 33 13296 0 0 0 0 4 3 20 0 15 0 415894487 11079946240 13421 33554432000 4194304 4196468 140722454622112 140429364384544 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10070] ppid=10007 vsize=10820264 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10070/stat : 10070 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 15 0 415894487 11079950336 13421 33554432000 4194304 4196468 140722454622112 140429257335920 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10071] ppid=10007 vsize=10820264 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10071/stat : 10071 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 15 0 415894490 11079950336 13421 33554432000 4194304 4196468 140722454622112 140428653357136 140429906433947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10072] ppid=10007 vsize=10820264 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10010/task/10072/stat : 10072 (java) S 10007 10010 9235 0 -1 1077944384 364 13296 0 0 2 0 4 3 20 0 15 0 415894490 11079950336 13421 33554432000 4194304 4196468 140722454622112 140429330827888 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10073] ppid=10007 vsize=10820264 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10010/task/10073/stat : 10073 (java) S 10007 10010 9235 0 -1 1077944384 300 13296 0 0 1 0 4 3 20 0 15 0 415894490 11079950336 13421 33554432000 4194304 4196468 140722454622112 140429329775088 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10074] ppid=10007 vsize=10820264 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10010/task/10074/stat : 10074 (java) S 10007 10010 9235 0 -1 1077944384 626 13296 0 0 5 0 4 3 20 0 15 0 415894490 11079950336 13421 33554432000 4194304 4196468 140722454622112 140429328722800 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10075] ppid=10007 vsize=10820264 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10075/stat : 10075 (java) S 10007 10010 9235 0 -1 1077944384 3 13296 0 0 0 0 4 3 20 0 15 0 415894490 11079950336 13421 33554432000 4194304 4196468 140722454622112 140428183596000 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10076] ppid=10007 vsize=10820264 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10076/stat : 10076 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 15 0 415894490 11079950336 13421 33554432000 4194304 4196468 140722454622112 140429327669680 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 53424 KiB
[startup+0.700679 s]
/proc/loadavg: 1.49 1.42 1.39 3/228 10076
/proc/meminfo: memFree=30201736/32770624 swapFree=66934672/67108860
[pid=10010] ppid=10007 vsize=10824360 memory=85732 CPUtime=1.14 cores=1,3,5,7
/proc/10010/stat : 10010 (java) S 10007 10010 9235 0 -1 1077944320 14667 13296 0 0 102 5 4 3 20 0 15 0 415894476 11084144640 21433 33554432000 4194304 4196468 140722454622112 140722454604656 140429906415351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
/proc/10010/statm: 2706090 21433 3500 1 0 2668173 0
[pid=10010/tid=10063] ppid=10007 vsize=10824360 memory=2124 CPUtime=0.67 cores=1,3,5,7
/proc/10010/task/10063/stat : 10063 (java) R 10007 10010 9235 0 -1 4202560 9948 13296 0 0 56 4 4 3 20 0 15 0 415894484 11084144640 21433 33554432000 4194304 4196468 140722454622112 140429878242512 140429906427286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10064] ppid=10007 vsize=10824360 memory=7312 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10064/stat : 10064 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 15 0 415894485 11084144640 21433 33554432000 4194304 4196468 140722454622112 140429910657936 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10065] ppid=10007 vsize=10824360 memory=504 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10065/stat : 10065 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 15 0 415894485 11084144640 21433 33554432000 4194304 4196468 140722454622112 140429798931216 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10066] ppid=10007 vsize=10824360 memory=1564 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10066/stat : 10066 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 15 0 415894485 11084144640 21433 33554432000 4194304 4196468 140722454622112 140429797878928 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10067] ppid=10007 vsize=10824360 memory=924 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10067/stat : 10067 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 15 0 415894485 11084144640 21433 33554432000 4194304 4196468 140722454622112 140429796826128 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10068] ppid=10007 vsize=10824360 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10068/stat : 10068 (java) S 10007 10010 9235 0 -1 1077944384 5 13296 0 0 0 0 4 3 20 0 15 0 415894487 11084144640 21433 33554432000 4194304 4196468 140722454622112 140429365438576 140429906426498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10069] ppid=10007 vsize=10824360 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10069/stat : 10069 (java) S 10007 10010 9235 0 -1 1077944384 33 13296 0 0 0 0 4 3 20 0 15 0 415894487 11084144640 21433 33554432000 4194304 4196468 140722454622112 140429364384544 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10070] ppid=10007 vsize=10824360 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10070/stat : 10070 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 15 0 415894487 11084144640 21433 33554432000 4194304 4196468 140722454622112 140429257335920 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10071] ppid=10007 vsize=10824360 memory=11928 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10071/stat : 10071 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 15 0 415894490 11084144640 21433 33554432000 4194304 4196468 140722454622112 140428653357136 140429906433947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10072] ppid=10007 vsize=10824360 memory=2124 CPUtime=0.2 cores=1,3,5,7
/proc/10010/task/10072/stat : 10072 (java) R 10007 10010 9235 0 -1 4202560 730 13296 0 0 13 0 4 3 20 0 15 0 415894490 11084144640 21433 33554432000 4194304 4196468 140722454622112 140429330827888 140429889627035 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10073] ppid=10007 vsize=10824360 memory=6944652177228980320 CPUtime=0.22 cores=1,3,5,7
/proc/10010/task/10073/stat : 10073 (java) R 10007 10010 9235 0 -1 1077944384 901 13296 0 0 15 0 4 3 20 0 15 0 415894490 11084144640 21433 33554432000 4194304 4196468 140722454622112 140429329775088 140429906426498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10074] ppid=10007 vsize=10824360 memory=504 CPUtime=0.24 cores=1,3,5,7
/proc/10010/task/10074/stat : 10074 (java) R 10007 10010 9235 0 -1 4202560 828 13296 0 0 17 0 4 3 20 0 15 0 415894490 11084144640 21433 33554432000 4194304 4196468 140722454622112 140429328722800 140429906427286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10075] ppid=10007 vsize=10824360 memory=1564 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10075/stat : 10075 (java) S 10007 10010 9235 0 -1 1077944384 3 13296 0 0 0 0 4 3 20 0 15 0 415894490 11084144640 21433 33554432000 4194304 4196468 140722454622112 140428183596000 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10076] ppid=10007 vsize=10824360 memory=924 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10076/stat : 10076 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 15 0 415894490 11084144640 21433 33554432000 4194304 4196468 140722454622112 140429327669680 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85732 KiB
[startup+1.50153 s]
/proc/loadavg: 1.49 1.42 1.39 6/228 10076
/proc/meminfo: memFree=30129884/32770624 swapFree=66934672/67108860
[pid=10010] ppid=10007 vsize=10830580 memory=224896 CPUtime=3.37 cores=1,3,5,7
/proc/10010/stat : 10010 (java) S 10007 10010 9235 0 -1 1077944320 26755 13296 0 0 321 9 4 3 20 0 15 0 415894476 11090513920 56224 33554432000 4194304 4196468 140722454622112 140722454604656 140429906415351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
/proc/10010/statm: 2707645 56224 3580 1 0 2669709 0
[pid=10010/tid=10063] ppid=10007 vsize=10830580 memory=3620 CPUtime=1.44 cores=1,3,5,7
/proc/10010/task/10063/stat : 10063 (java) R 10007 10010 9235 0 -1 4202560 13553 13296 0 0 131 6 4 3 20 0 15 0 415894484 11090513920 56224 33554432000 4194304 4196468 140722454622112 140429878226880 140429891786640 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10064] ppid=10007 vsize=10830580 memory=22728 CPUtime=0.08 cores=1,3,5,7
/proc/10010/task/10064/stat : 10064 (java) S 10007 10010 9235 0 -1 1077944384 45 13296 0 0 1 0 4 3 20 0 15 0 415894485 11090513920 56224 33554432000 4194304 4196468 140722454622112 140429910657936 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10065] ppid=10007 vsize=10830580 memory=984 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10065/stat : 10065 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 15 0 415894485 11090513920 56224 33554432000 4194304 4196468 140722454622112 140429798931216 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10066] ppid=10007 vsize=10830580 memory=217372 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10066/stat : 10066 (java) S 10007 10010 9235 0 -1 1077944384 226 13296 0 0 0 0 4 3 20 0 15 0 415894485 11090513920 56224 33554432000 4194304 4196468 140722454622112 140429797878928 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10067] ppid=10007 vsize=10830580 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10010/task/10067/stat : 10067 (java) S 10007 10010 9235 0 -1 1077944384 66 13296 0 0 1 0 4 3 20 0 15 0 415894485 11090513920 56224 33554432000 4194304 4196468 140722454622112 140429796826128 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10068] ppid=10007 vsize=10830580 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10068/stat : 10068 (java) S 10007 10010 9235 0 -1 1077944384 96 13296 0 0 0 0 4 3 20 0 15 0 415894487 11090513920 56224 33554432000 4194304 4196468 140722454622112 140429365438576 140429906426498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10069] ppid=10007 vsize=10830580 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10069/stat : 10069 (java) S 10007 10010 9235 0 -1 1077944384 33 13296 0 0 0 0 4 3 20 0 15 0 415894487 11090513920 56224 33554432000 4194304 4196468 140722454622112 140429364384544 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10070] ppid=10007 vsize=10830580 memory=182911047359859 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10070/stat : 10070 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 15 0 415894487 11090513920 56224 33554432000 4194304 4196468 140722454622112 140429257335920 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10071] ppid=10007 vsize=10830580 memory=3304769 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10071/stat : 10071 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 15 0 415894490 11090513920 56224 33554432000 4194304 4196468 140722454622112 140428653357136 140429906433947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10072] ppid=10007 vsize=10830580 memory=6935649255810949952 CPUtime=0.75 cores=1,3,5,7
/proc/10010/task/10072/stat : 10072 (java) S 10007 10010 9235 0 -1 1077944384 4695 13296 0 0 68 0 4 3 20 0 15 0 415894490 11090513920 56224 33554432000 4194304 4196468 140722454622112 140429330827888 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10073] ppid=10007 vsize=10830580 memory=4638778398332764256 CPUtime=0.81 cores=1,3,5,7
/proc/10010/task/10073/stat : 10073 (java) S 10007 10010 9235 0 -1 1077944384 3633 13296 0 0 74 0 4 3 20 0 15 0 415894490 11090513920 56224 33554432000 4194304 4196468 140722454622112 140429329775088 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10074] ppid=10007 vsize=10830580 memory=279338633134320 CPUtime=0.5 cores=1,3,5,7
/proc/10010/task/10074/stat : 10074 (java) S 10007 10010 9235 0 -1 1077944384 2190 13296 0 0 42 1 4 3 20 0 15 0 415894490 11090513920 56224 33554432000 4194304 4196468 140722454622112 140429328722800 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10075] ppid=10007 vsize=10830580 memory=6935649255945234513 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10075/stat : 10075 (java) S 10007 10010 9235 0 -1 1077944384 3 13296 0 0 0 0 4 3 20 0 15 0 415894490 11090513920 56224 33554432000 4194304 4196468 140722454622112 140428183596000 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10076] ppid=10007 vsize=10830580 memory=-6654720865164901210 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10076/stat : 10076 (java) S 10007 10010 9235 0 -1 1077944384 1 13296 0 0 0 0 4 3 20 0 15 0 415894490 11090513920 56224 33554432000 4194304 4196468 140722454622112 140429327669680 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
################
# More data... #
################
/proc/10010/task/10063/stat : 10063 (java) R 10007 10010 9235 0 -1 4202560 77600 13296 0 0 235943 54 4 3 20 0 15 0 415894484 11107311616 181004 33554432000 4194304 4196468 140722454622112 140429878250416 140429494266018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10064] ppid=10007 vsize=10846984 memory=724012 CPUtime=12.47 cores=1,3,5,7
/proc/10010/task/10064/stat : 10064 (java) S 10007 10010 9235 0 -1 1077944384 21423 13296 0 0 1191 49 4 3 20 0 15 0 415894485 11107311616 181004 33554432000 4194304 4196468 140722454622112 140429910657936 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10065] ppid=10007 vsize=10846984 memory=724016 CPUtime=12.38 cores=1,3,5,7
/proc/10010/task/10065/stat : 10065 (java) S 10007 10010 9235 0 -1 1077944384 16777 13296 0 0 1180 51 4 3 20 0 15 0 415894485 11107311616 181004 33554432000 4194304 4196468 140722454622112 140429798931216 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10066] ppid=10007 vsize=10846984 memory=741 CPUtime=12.47 cores=1,3,5,7
/proc/10010/task/10066/stat : 10066 (java) S 10007 10010 9235 0 -1 1077944384 23074 13296 0 0 1191 49 4 3 20 0 15 0 415894485 11107311616 181004 33554432000 4194304 4196468 140722454622112 140429797878928 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10067] ppid=10007 vsize=10846984 memory=724012 CPUtime=12.44 cores=1,3,5,7
/proc/10010/task/10067/stat : 10067 (java) S 10007 10010 9235 0 -1 1077944384 19439 13296 0 0 1189 48 4 3 20 0 15 0 415894485 11107311616 181004 33554432000 4194304 4196468 140722454622112 140429796826128 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10068] ppid=10007 vsize=10846984 memory=724012 CPUtime=7.56 cores=1,3,5,7
/proc/10010/task/10068/stat : 10068 (java) S 10007 10010 9235 0 -1 1077944384 16477 13296 0 0 690 59 4 3 20 0 15 0 415894487 11107311616 181004 33554432000 4194304 4196468 140722454622112 140429365438576 140429906426498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10069] ppid=10007 vsize=10846984 memory=724012 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10069/stat : 10069 (java) S 10007 10010 9235 0 -1 1077944384 44 13296 0 0 0 0 4 3 20 0 15 0 415894487 11107311616 181004 33554432000 4194304 4196468 140722454622112 140429364384608 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10070] ppid=10007 vsize=10846984 memory=724012 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10070/stat : 10070 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 15 0 415894487 11107311616 181004 33554432000 4194304 4196468 140722454622112 140429257335936 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10071] ppid=10007 vsize=10846984 memory=3620 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10071/stat : 10071 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 15 0 415894490 11107311616 181004 33554432000 4194304 4196468 140722454622112 140428653357136 140429906433947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10072] ppid=10007 vsize=10846984 memory=22832 CPUtime=7.86 cores=1,3,5,7
/proc/10010/task/10072/stat : 10072 (java) S 10007 10010 9235 0 -1 1077944384 30480 13296 0 0 775 4 4 3 20 0 15 0 415894490 11107311616 181004 33554432000 4194304 4196468 140722454622112 140429330827888 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10073] ppid=10007 vsize=10846984 memory=724012 CPUtime=7.48 cores=1,3,5,7
/proc/10010/task/10073/stat : 10073 (java) S 10007 10010 9235 0 -1 1077944384 33292 13296 0 0 737 4 4 3 20 0 15 0 415894490 11107311616 181004 33554432000 4194304 4196468 140722454622112 140429329775088 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10074] ppid=10007 vsize=10846984 memory=3620 CPUtime=2.51 cores=1,3,5,7
/proc/10010/task/10074/stat : 10074 (java) S 10007 10010 9235 0 -1 1077944384 20317 13296 0 0 238 6 4 3 20 0 15 0 415894490 11107311616 181004 33554432000 4194304 4196468 140722454622112 140429328722800 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10075] ppid=10007 vsize=10846984 memory=1984 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10075/stat : 10075 (java) S 10007 10010 9235 0 -1 1077944384 3 13296 0 0 0 0 4 3 20 0 15 0 415894490 11107311616 181004 33554432000 4194304 4196468 140722454622112 140428183596000 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10076] ppid=10007 vsize=10846984 memory=2532 CPUtime=1.44 cores=1,3,5,7
/proc/10010/task/10076/stat : 10076 (java) S 10007 10010 9235 0 -1 1077944384 1213 13296 0 0 61 76 4 3 20 0 15 0 415894490 11107311616 181004 33554432000 4194304 4196468 140722454622112 140429327669680 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
Current children cumulated CPU time: 2436.11 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 724016 KiB
[startup+2442.3 s]
/proc/loadavg: 1.14 1.31 1.38 3/226 10454
/proc/meminfo: memFree=29981952/32770624 swapFree=66934720/67108860
[pid=10010] ppid=10007 vsize=10846984 memory=726100 CPUtime=2497.1 cores=1,3,5,7
/proc/10010/stat : 10010 (java) S 10007 10010 9235 0 -1 1077944320 263177 13296 0 0 249337 366 4 3 20 0 15 0 415894476 11107311616 181525 33554432000 4194304 4196468 140722454622112 140722454604656 140429906415351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
/proc/10010/statm: 2711746 181525 3642 1 0 2673805 0
[pid=10010/tid=10063] ppid=10007 vsize=10846984 memory=3932 CPUtime=2419.45 cores=1,3,5,7
/proc/10010/task/10063/stat : 10063 (java) R 10007 10010 9235 0 -1 4202560 78123 13296 0 0 241884 54 4 3 20 0 15 0 415894484 11107311616 181525 33554432000 4194304 4196468 140722454622112 140429878250752 140429477655944 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10064] ppid=10007 vsize=10846984 memory=726100 CPUtime=12.8 cores=1,3,5,7
/proc/10010/task/10064/stat : 10064 (java) S 10007 10010 9235 0 -1 1077944384 21479 13296 0 0 1223 50 4 3 20 0 15 0 415894485 11107311616 181525 33554432000 4194304 4196468 140722454622112 140429910657936 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10065] ppid=10007 vsize=10846984 memory=726100 CPUtime=12.72 cores=1,3,5,7
/proc/10010/task/10065/stat : 10065 (java) S 10007 10010 9235 0 -1 1077944384 16952 13296 0 0 1213 52 4 3 20 0 15 0 415894485 11107311616 181525 33554432000 4194304 4196468 140722454622112 140429798931216 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10066] ppid=10007 vsize=10846984 memory=724052 CPUtime=12.79 cores=1,3,5,7
/proc/10010/task/10066/stat : 10066 (java) S 10007 10010 9235 0 -1 1077944384 23082 13296 0 0 1223 49 4 3 20 0 15 0 415894485 11107311616 181525 33554432000 4194304 4196468 140722454622112 140429797878928 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10067] ppid=10007 vsize=10846984 memory=726100 CPUtime=12.77 cores=1,3,5,7
/proc/10010/task/10067/stat : 10067 (java) S 10007 10010 9235 0 -1 1077944384 19444 13296 0 0 1222 48 4 3 20 0 15 0 415894485 11107311616 181525 33554432000 4194304 4196468 140722454622112 140429796826128 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10068] ppid=10007 vsize=10846984 memory=726100 CPUtime=7.76 cores=1,3,5,7
/proc/10010/task/10068/stat : 10068 (java) S 10007 10010 9235 0 -1 1077944384 16511 13296 0 0 709 60 4 3 20 0 15 0 415894487 11107311616 181525 33554432000 4194304 4196468 140722454622112 140429365438576 140429906426498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10069] ppid=10007 vsize=10846984 memory=724016 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10069/stat : 10069 (java) S 10007 10010 9235 0 -1 1077944384 44 13296 0 0 0 0 4 3 20 0 15 0 415894487 11107311616 181525 33554432000 4194304 4196468 140722454622112 140429364384608 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10070] ppid=10007 vsize=10846984 memory=726100 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10070/stat : 10070 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 15 0 415894487 11107311616 181525 33554432000 4194304 4196468 140722454622112 140429257335936 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10071] ppid=10007 vsize=10846984 memory=726100 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10071/stat : 10071 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 15 0 415894490 11107311616 181525 33554432000 4194304 4196468 140722454622112 140428653357136 140429906433947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10072] ppid=10007 vsize=10846984 memory=726100 CPUtime=7.86 cores=1,3,5,7
/proc/10010/task/10072/stat : 10072 (java) S 10007 10010 9235 0 -1 1077944384 30482 13296 0 0 775 4 4 3 20 0 15 0 415894490 11107311616 181525 33554432000 4194304 4196468 140722454622112 140429330827888 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10073] ppid=10007 vsize=10846984 memory=724052 CPUtime=7.48 cores=1,3,5,7
/proc/10010/task/10073/stat : 10073 (java) S 10007 10010 9235 0 -1 1077944384 33294 13296 0 0 737 4 4 3 20 0 15 0 415894490 11107311616 181525 33554432000 4194304 4196468 140722454622112 140429329775088 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10074] ppid=10007 vsize=10846984 memory=726100 CPUtime=2.51 cores=1,3,5,7
/proc/10010/task/10074/stat : 10074 (java) S 10007 10010 9235 0 -1 1077944384 20319 13296 0 0 238 6 4 3 20 0 15 0 415894490 11107311616 181525 33554432000 4194304 4196468 140722454622112 140429328722800 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10075] ppid=10007 vsize=10846984 memory=726100 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10075/stat : 10075 (java) S 10007 10010 9235 0 -1 1077944384 3 13296 0 0 0 0 4 3 20 0 15 0 415894490 11107311616 181525 33554432000 4194304 4196468 140722454622112 140428183596000 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10076] ppid=10007 vsize=10846984 memory=726100 CPUtime=1.48 cores=1,3,5,7
/proc/10010/task/10076/stat : 10076 (java) S 10007 10010 9235 0 -1 1077944384 1230 13296 0 0 63 78 4 3 20 0 15 0 415894490 11107311616 181525 33554432000 4194304 4196468 140722454622112 140429327669680 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
Current children cumulated CPU time: 2497.1 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 726100 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2464.9 s]
/proc/loadavg: 1.25 1.32 1.38 3/227 10457
/proc/meminfo: memFree=29980928/32770624 swapFree=66934720/67108860
[pid=10010] ppid=10007 vsize=10846984 memory=726152 CPUtime=2520.07 cores=1,3,5,7
/proc/10010/stat : 10010 (java) S 10007 10010 9235 0 -1 1077944320 263887 13296 0 0 251631 369 4 3 20 0 15 0 415894476 11107311616 181538 33554432000 4194304 4196468 140722454622112 140722454604656 140429906415351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
/proc/10010/statm: 2711746 181538 3642 1 0 2673805 0
[pid=10010/tid=10063] ppid=10007 vsize=10846984 memory=6791534058613427641 CPUtime=2441.82 cores=1,3,5,7
/proc/10010/task/10063/stat : 10063 (java) R 10007 10010 9235 0 -1 4202560 78271 13296 0 0 244121 54 4 3 20 0 15 0 415894484 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429878250768 140429486142359 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10064] ppid=10007 vsize=10846984 memory=726152 CPUtime=12.92 cores=1,3,5,7
/proc/10010/task/10064/stat : 10064 (java) S 10007 10010 9235 0 -1 1077944384 21516 13296 0 0 1235 50 4 3 20 0 15 0 415894485 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429910657936 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10065] ppid=10007 vsize=10846984 memory=726152 CPUtime=12.85 cores=1,3,5,7
/proc/10010/task/10065/stat : 10065 (java) S 10007 10010 9235 0 -1 1077944384 17062 13296 0 0 1225 53 4 3 20 0 15 0 415894485 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429798931216 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10066] ppid=10007 vsize=10846984 memory=726136 CPUtime=12.92 cores=1,3,5,7
/proc/10010/task/10066/stat : 10066 (java) S 10007 10010 9235 0 -1 1077944384 23257 13296 0 0 1235 50 4 3 20 0 15 0 415894485 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429797878928 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10067] ppid=10007 vsize=10846984 memory=726136 CPUtime=12.9 cores=1,3,5,7
/proc/10010/task/10067/stat : 10067 (java) S 10007 10010 9235 0 -1 1077944384 19513 13296 0 0 1234 49 4 3 20 0 15 0 415894485 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429796826128 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10068] ppid=10007 vsize=10846984 memory=726136 CPUtime=7.84 cores=1,3,5,7
/proc/10010/task/10068/stat : 10068 (java) S 10007 10010 9235 0 -1 1077944384 16680 13296 0 0 716 61 4 3 20 0 15 0 415894487 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429365438576 140429906426498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10069] ppid=10007 vsize=10846984 memory=139669317429640 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10069/stat : 10069 (java) S 10007 10010 9235 0 -1 1077944384 44 13296 0 0 0 0 4 3 20 0 15 0 415894487 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429364384608 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10070] ppid=10007 vsize=10846984 memory=726152 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10070/stat : 10070 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 15 0 415894487 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429257335936 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10071] ppid=10007 vsize=10846984 memory=726152 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10071/stat : 10071 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 15 0 415894490 11107311616 181538 33554432000 4194304 4196468 140722454622112 140428653357136 140429906433947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10072] ppid=10007 vsize=10846984 memory=2209 CPUtime=7.86 cores=1,3,5,7
/proc/10010/task/10072/stat : 10072 (java) S 10007 10010 9235 0 -1 1077944384 30482 13296 0 0 775 4 4 3 20 0 15 0 415894490 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429330827888 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10073] ppid=10007 vsize=10846984 memory=65 CPUtime=7.48 cores=1,3,5,7
/proc/10010/task/10073/stat : 10073 (java) S 10007 10010 9235 0 -1 1077944384 33294 13296 0 0 737 4 4 3 20 0 15 0 415894490 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429329775088 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10074] ppid=10007 vsize=10846984 memory=726152 CPUtime=2.51 cores=1,3,5,7
/proc/10010/task/10074/stat : 10074 (java) S 10007 10010 9235 0 -1 1077944384 20319 13296 0 0 238 6 4 3 20 0 15 0 415894490 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429328722800 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10075] ppid=10007 vsize=10846984 memory=726152 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10075/stat : 10075 (java) S 10007 10010 9235 0 -1 1077944384 3 13296 0 0 0 0 4 3 20 0 15 0 415894490 11107311616 181538 33554432000 4194304 4196468 140722454622112 140428183596000 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10076] ppid=10007 vsize=10846984 memory=1548 CPUtime=1.49 cores=1,3,5,7
/proc/10010/task/10076/stat : 10076 (java) S 10007 10010 9235 0 -1 1077944384 1232 13296 0 0 63 79 4 3 20 0 15 0 415894490 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429327669680 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 726152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2464.92 s]
# the end of solver process 10010 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.39 s, system=3.73392 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2464.9 s]
/proc/loadavg: 1.25 1.32 1.38 3/227 10457
/proc/meminfo: memFree=29980928/32770624 swapFree=66934720/67108860
[pid=10010] ppid=10007 vsize=10846984 memory=726152 CPUtime=2520.07 cores=1,3,5,7
/proc/10010/stat : 10010 (java) S 10007 10010 9235 0 -1 1077944320 263887 13296 0 0 251631 369 4 3 20 0 15 0 415894476 11107311616 181538 33554432000 4194304 4196468 140722454622112 140722454604656 140429906415351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
/proc/10010/statm: 2711746 181538 3642 1 0 2673805 0
[pid=10010/tid=10063] ppid=10007 vsize=10846984 memory=6791534058613427641 CPUtime=2441.82 cores=1,3,5,7
/proc/10010/task/10063/stat : 10063 (java) R 10007 10010 9235 0 -1 4202560 78271 13296 0 0 244121 54 4 3 20 0 15 0 415894484 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429878250768 140429486142359 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10064] ppid=10007 vsize=10846984 memory=726152 CPUtime=12.92 cores=1,3,5,7
/proc/10010/task/10064/stat : 10064 (java) S 10007 10010 9235 0 -1 1077944384 21516 13296 0 0 1235 50 4 3 20 0 15 0 415894485 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429910657936 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10065] ppid=10007 vsize=10846984 memory=726152 CPUtime=12.85 cores=1,3,5,7
/proc/10010/task/10065/stat : 10065 (java) S 10007 10010 9235 0 -1 1077944384 17062 13296 0 0 1225 53 4 3 20 0 15 0 415894485 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429798931216 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10066] ppid=10007 vsize=10846984 memory=726136 CPUtime=12.92 cores=1,3,5,7
/proc/10010/task/10066/stat : 10066 (java) S 10007 10010 9235 0 -1 1077944384 23257 13296 0 0 1235 50 4 3 20 0 15 0 415894485 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429797878928 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10067] ppid=10007 vsize=10846984 memory=726136 CPUtime=12.9 cores=1,3,5,7
/proc/10010/task/10067/stat : 10067 (java) S 10007 10010 9235 0 -1 1077944384 19513 13296 0 0 1234 49 4 3 20 0 15 0 415894485 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429796826128 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10068] ppid=10007 vsize=10846984 memory=726136 CPUtime=7.84 cores=1,3,5,7
/proc/10010/task/10068/stat : 10068 (java) S 10007 10010 9235 0 -1 1077944384 16680 13296 0 0 716 61 4 3 20 0 15 0 415894487 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429365438576 140429906426498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10069] ppid=10007 vsize=10846984 memory=139669317429640 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10069/stat : 10069 (java) S 10007 10010 9235 0 -1 1077944384 44 13296 0 0 0 0 4 3 20 0 15 0 415894487 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429364384608 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10070] ppid=10007 vsize=10846984 memory=726152 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10070/stat : 10070 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 15 0 415894487 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429257335936 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10071] ppid=10007 vsize=10846984 memory=726152 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10071/stat : 10071 (java) S 10007 10010 9235 0 -1 1077944384 2 13296 0 0 0 0 4 3 20 0 15 0 415894490 11107311616 181538 33554432000 4194304 4196468 140722454622112 140428653357136 140429906433947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10072] ppid=10007 vsize=10846984 memory=2209 CPUtime=7.86 cores=1,3,5,7
/proc/10010/task/10072/stat : 10072 (java) S 10007 10010 9235 0 -1 1077944384 30482 13296 0 0 775 4 4 3 20 0 15 0 415894490 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429330827888 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10073] ppid=10007 vsize=10846984 memory=65 CPUtime=7.48 cores=1,3,5,7
/proc/10010/task/10073/stat : 10073 (java) S 10007 10010 9235 0 -1 1077944384 33294 13296 0 0 737 4 4 3 20 0 15 0 415894490 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429329775088 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10074] ppid=10007 vsize=10846984 memory=726152 CPUtime=2.51 cores=1,3,5,7
/proc/10010/task/10074/stat : 10074 (java) S 10007 10010 9235 0 -1 1077944384 20319 13296 0 0 238 6 4 3 20 0 15 0 415894490 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429328722800 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10075] ppid=10007 vsize=10846984 memory=726152 CPUtime=0.07 cores=1,3,5,7
/proc/10010/task/10075/stat : 10075 (java) S 10007 10010 9235 0 -1 1077944384 3 13296 0 0 0 0 4 3 20 0 15 0 415894490 11107311616 181538 33554432000 4194304 4196468 140722454622112 140428183596000 140429906425557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
[pid=10010/tid=10076] ppid=10007 vsize=10846984 memory=1548 CPUtime=1.49 cores=1,3,5,7
/proc/10010/task/10076/stat : 10076 (java) S 10007 10010 9235 0 -1 1077944384 1232 13296 0 0 63 79 4 3 20 0 15 0 415894490 11107311616 181538 33554432000 4194304 4196468 140722454622112 140429327669680 140429906426498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22814720 140722454629103 140722454631621 140722454631621 140722454634447 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 726152 KiB
Child status: 143
Real time (s): 2464.92
CPU time (s): 2520.12
CPU user time (s): 2516.39
CPU system time (s): 3.73392
CPU usage (%): 102.239
Max. virtual memory (cumulated for all children) (KiB): 10846984
Max. memory (cumulated for all children) (KiB): 1887172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.39
system time used= 3.73392
maximum resident set size= 1887172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278153
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 219988
involuntary context switches= 5776
# summary of solver processes directly reported to runsolver:
# pid: 10010
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.39
# total CPU system time (s): 3.73392
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0359 second user time and 23.6341 second system time
The end