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 (14221 MiB free)
memory of node 1: 16384 MiB (15574 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395784-1568395772/watcher-4395784-1568395772 -o /tmp/evaluation-result-4395784-1568395772/solver-4395784-1568395772 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568393270-2679 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=210668859 HOME/instance-4395784-1568395772.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
Current StackSize limit: 8192 KiB
solver pid=3154, runsolver pid=3151
[startup+0.100135 s]*
/proc/loadavg: 1.45 1.43 1.38 3/219 3211
/proc/meminfo: memFree=30505328/32770624 swapFree=66981636/67108860
[pid=3154] ppid=3151 vsize=9972712 memory=16812 CPUtime=0.08 cores=1,3,5,7
/proc/3154/stat : 3154 (java) S 3151 3154 1949 0 -1 1077944320 4471 13431 0 0 1 0 4 3 20 0 6 0 415839847 10212057088 4203 33554432000 4194304 4196468 140736518042784 140736518025328 139948477402871 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
/proc/3154/statm: 2493178 4203 1935 1 0 2481616 0
[pid=3154/tid=3207] ppid=3151 vsize=9972712 memory=7892391828772250251 CPUtime=0.08 cores=1,3,5,7
/proc/3154/task/3207/stat : 3207 (java) R 3151 3154 1949 0 -1 4202560 2312 13431 0 0 1 0 4 3 20 0 6 0 415839856 10212057088 4269 33554432000 4194304 4196468 140736518042784 139948449239632 139948461483358 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3208] ppid=3151 vsize=9972712 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3208/stat : 3208 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 6 0 415839857 10212057088 4269 33554432000 4194304 4196468 140736518042784 139948481645456 139948477413077 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3209] ppid=3151 vsize=9972712 memory=140707770197632 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3209/stat : 3209 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 6 0 415839857 10212057088 4269 33554432000 4194304 4196468 140736518042784 139948369918736 139948477413077 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3210] ppid=3151 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3210/stat : 3210 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 6 0 415839857 10212057088 4269 33554432000 4194304 4196468 140736518042784 139948368866448 139948477413077 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3211] ppid=3151 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3211/stat : 3211 (java) S 3151 3154 1949 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 6 0 415839857 10212057088 4269 33554432000 4194304 4196468 140736518042784 139948367813648 139948477413077 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.21014 s]*
/proc/loadavg: 1.45 1.43 1.38 3/228 3220
/proc/meminfo: memFree=30486532/32770624 swapFree=66981636/67108860
[pid=3154] ppid=3151 vsize=10820148 memory=40084 CPUtime=0.26 cores=1,3,5,7
/proc/3154/stat : 3154 (java) S 3151 3154 1949 0 -1 1077944320 7353 13431 0 0 17 2 4 3 20 0 15 0 415839847 11079831552 10021 33554432000 4194304 4196468 140736518042784 140736518025328 139948477402871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
/proc/3154/statm: 2705037 10021 3282 1 0 2667149 0
[pid=3154/tid=3207] ppid=3151 vsize=10820148 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/3154/task/3207/stat : 3207 (java) R 3151 3154 1949 0 -1 4202560 3837 13431 0 0 11 1 4 3 20 0 15 0 415839856 11079831552 10021 33554432000 4194304 4196468 140736518042784 139948449232464 139948461483358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3208] ppid=3151 vsize=10820148 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3208/stat : 3208 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839857 11079831552 10021 33554432000 4194304 4196468 140736518042784 139948481645456 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3209] ppid=3151 vsize=10820148 memory=288371083921909376 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3209/stat : 3209 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839857 11079831552 10021 33554432000 4194304 4196468 140736518042784 139948369918736 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3210] ppid=3151 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3210/stat : 3210 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839857 11079831552 10021 33554432000 4194304 4196468 140736518042784 139948368866448 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3211] ppid=3151 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3211/stat : 3211 (java) S 3151 3154 1949 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 15 0 415839857 11079831552 10021 33554432000 4194304 4196468 140736518042784 139948367813648 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3212] ppid=3151 vsize=10820148 memory=140707770197632 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3212/stat : 3212 (java) S 3151 3154 1949 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 15 0 415839858 11079831552 10021 33554432000 4194304 4196468 140736518042784 139947480643696 139948477414018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3213] ppid=3151 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3213/stat : 3213 (java) S 3151 3154 1949 0 -1 1077944384 33 13431 0 0 0 0 4 3 20 0 15 0 415839859 11079831552 10021 33554432000 4194304 4196468 140736518042784 139947479589664 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3214] ppid=3151 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3214/stat : 3214 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839859 11079831552 10021 33554432000 4194304 4196468 140736518042784 139947348583536 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3215] ppid=3151 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3215/stat : 3215 (java) S 3151 3154 1949 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 415839861 11079831552 10021 33554432000 4194304 4196468 140736518042784 139947041183824 139948477421467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3216] ppid=3151 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3154/task/3216/stat : 3216 (java) S 3151 3154 1949 0 -1 1077944384 465 13431 0 0 1 0 4 3 20 0 15 0 415839862 11079831552 10021 33554432000 4194304 4196468 140736518042784 139947446033008 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3217] ppid=3151 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3154/task/3217/stat : 3217 (java) S 3151 3154 1949 0 -1 1077944384 189 13431 0 0 1 0 4 3 20 0 15 0 415839862 11079831552 10021 33554432000 4194304 4196468 140736518042784 139947444980208 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3218] ppid=3151 vsize=10820148 memory=140707770197632 CPUtime=0.1 cores=1,3,5,7
/proc/3154/task/3218/stat : 3218 (java) R 3151 3154 1949 0 -1 4202560 615 13431 0 0 3 0 4 3 20 0 15 0 415839862 11079831552 10021 33554432000 4194304 4196468 140736518042784 139947443925712 139948477414806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3219] ppid=3151 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3219/stat : 3219 (java) S 3151 3154 1949 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 415839862 11079831552 10021 33554432000 4194304 4196468 140736518042784 139947007626208 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3220] ppid=3151 vsize=10820148 memory=140707770197632 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3220/stat : 3220 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839862 11079831552 10021 33554432000 4194304 4196468 140736518042784 139947442874800 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 40084 KiB
[startup+0.310534 s]*
/proc/loadavg: 1.45 1.43 1.38 4/228 3220
/proc/meminfo: memFree=30474120/32770624 swapFree=66981636/67108860
[pid=3154] ppid=3151 vsize=10820148 memory=48352 CPUtime=0.39 cores=1,3,5,7
/proc/3154/stat : 3154 (java) S 3151 3154 1949 0 -1 1077944320 10857 13431 0 0 29 3 4 3 20 0 15 0 415839847 11079831552 12088 33554432000 4194304 4196468 140736518042784 140736518025328 139948477402871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
/proc/3154/statm: 2705037 12088 3298 1 0 2667149 0
[pid=3154/tid=3207] ppid=3151 vsize=10820148 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/3154/task/3207/stat : 3207 (java) R 3151 3154 1949 0 -1 4202560 7326 13431 0 0 19 2 4 3 20 0 15 0 415839856 11079831552 12088 33554432000 4194304 4196468 140736518042784 139948449202784 139948477424797 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3208] ppid=3151 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3208/stat : 3208 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839857 11079831552 12088 33554432000 4194304 4196468 140736518042784 139948481645456 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3209] ppid=3151 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3209/stat : 3209 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839857 11079831552 12088 33554432000 4194304 4196468 140736518042784 139948369918736 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3210] ppid=3151 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3210/stat : 3210 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839857 11079831552 12088 33554432000 4194304 4196468 140736518042784 139948368866448 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3211] ppid=3151 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3211/stat : 3211 (java) S 3151 3154 1949 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 15 0 415839857 11079831552 12088 33554432000 4194304 4196468 140736518042784 139948367813648 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3212] ppid=3151 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3212/stat : 3212 (java) S 3151 3154 1949 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 15 0 415839858 11079831552 12088 33554432000 4194304 4196468 140736518042784 139947480643696 139948477414018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3213] ppid=3151 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3213/stat : 3213 (java) S 3151 3154 1949 0 -1 1077944384 33 13431 0 0 0 0 4 3 20 0 15 0 415839859 11079831552 12088 33554432000 4194304 4196468 140736518042784 139947479589664 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3214] ppid=3151 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3214/stat : 3214 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839859 11079831552 12088 33554432000 4194304 4196468 140736518042784 139947348583536 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3215] ppid=3151 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3215/stat : 3215 (java) S 3151 3154 1949 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 415839861 11079831552 12088 33554432000 4194304 4196468 140736518042784 139947041183824 139948477421467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3216] ppid=3151 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3154/task/3216/stat : 3216 (java) S 3151 3154 1949 0 -1 1077944384 465 13431 0 0 2 0 4 3 20 0 15 0 415839862 11079831552 12088 33554432000 4194304 4196468 140736518042784 139947446033008 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3217] ppid=3151 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3154/task/3217/stat : 3217 (java) S 3151 3154 1949 0 -1 1077944384 190 13431 0 0 1 0 4 3 20 0 15 0 415839862 11079831552 12088 33554432000 4194304 4196468 140736518042784 139947444980208 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3218] ppid=3151 vsize=10820148 memory=140707770197632 CPUtime=0.12 cores=1,3,5,7
/proc/3154/task/3218/stat : 3218 (java) S 3151 3154 1949 0 -1 1077944384 624 13431 0 0 5 0 4 3 20 0 15 0 415839862 11079831552 12088 33554432000 4194304 4196468 140736518042784 139947443927920 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3219] ppid=3151 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3219/stat : 3219 (java) S 3151 3154 1949 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 415839862 11079831552 12088 33554432000 4194304 4196468 140736518042784 139947007626208 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3220] ppid=3151 vsize=10820148 memory=140707770197632 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3220/stat : 3220 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839862 11079831552 12088 33554432000 4194304 4196468 140736518042784 139947442874800 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 48352 KiB
[startup+0.703801 s]
/proc/loadavg: 1.45 1.43 1.38 4/228 3220
/proc/meminfo: memFree=30459048/32770624 swapFree=66981636/67108860
[pid=3154] ppid=3151 vsize=10824360 memory=81832 CPUtime=1.15 cores=1,3,5,7
/proc/3154/stat : 3154 (java) S 3151 3154 1949 0 -1 1077944320 15215 13431 0 0 103 5 4 3 20 0 15 0 415839847 11084144640 20458 33554432000 4194304 4196468 140736518042784 140736518025328 139948477402871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
/proc/3154/statm: 2706090 20458 3507 1 0 2668173 0
[pid=3154/tid=3207] ppid=3151 vsize=10824360 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/3154/task/3207/stat : 3207 (java) R 3151 3154 1949 0 -1 4202560 10423 13431 0 0 56 4 4 3 20 0 15 0 415839856 11084144640 20458 33554432000 4194304 4196468 140736518042784 139948449229824 139948477424893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3208] ppid=3151 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3208/stat : 3208 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839857 11084144640 20458 33554432000 4194304 4196468 140736518042784 139948481645456 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3209] ppid=3151 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3209/stat : 3209 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839857 11084144640 20458 33554432000 4194304 4196468 140736518042784 139948369918736 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3210] ppid=3151 vsize=10824360 memory=68 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3210/stat : 3210 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839857 11084144640 20458 33554432000 4194304 4196468 140736518042784 139948368866448 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3211] ppid=3151 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3211/stat : 3211 (java) S 3151 3154 1949 0 -1 1077944384 2 13431 0 0 0 0 4 3 20 0 15 0 415839857 11084144640 20458 33554432000 4194304 4196468 140736518042784 139948367813648 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3212] ppid=3151 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3212/stat : 3212 (java) S 3151 3154 1949 0 -1 1077944384 5 13431 0 0 0 0 4 3 20 0 15 0 415839858 11084144640 20458 33554432000 4194304 4196468 140736518042784 139947480643696 139948477414018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3213] ppid=3151 vsize=10824360 memory=140707625054320 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3213/stat : 3213 (java) S 3151 3154 1949 0 -1 1077944384 33 13431 0 0 0 0 4 3 20 0 15 0 415839859 11084144640 20458 33554432000 4194304 4196468 140736518042784 139947479589664 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3214] ppid=3151 vsize=10824360 memory=140711718552150 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3214/stat : 3214 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839859 11084144640 20458 33554432000 4194304 4196468 140736518042784 139947348583536 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3215] ppid=3151 vsize=10824360 memory=1164 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3215/stat : 3215 (java) S 3151 3154 1949 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 415839861 11084144640 20458 33554432000 4194304 4196468 140736518042784 139947041183824 139948477421467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3216] ppid=3151 vsize=10824360 memory=7518026621751088999 CPUtime=0.2 cores=1,3,5,7
/proc/3154/task/3216/stat : 3216 (java) S 3151 3154 1949 0 -1 1077944384 852 13431 0 0 13 0 4 3 20 0 15 0 415839862 11084144640 20458 33554432000 4194304 4196468 140736518042784 139947446033008 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3217] ppid=3151 vsize=10824360 memory=6081102367496366441 CPUtime=0.22 cores=1,3,5,7
/proc/3154/task/3217/stat : 3217 (java) R 3151 3154 1949 0 -1 4202560 805 13431 0 0 15 0 4 3 20 0 15 0 415839862 11084144640 20458 33554432000 4194304 4196468 140736518042784 139947444961776 139948455781329 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3218] ppid=3151 vsize=10824360 memory=6154282490091891024 CPUtime=0.24 cores=1,3,5,7
/proc/3154/task/3218/stat : 3218 (java) R 3151 3154 1949 0 -1 4202560 878 13431 0 0 17 0 4 3 20 0 15 0 415839862 11084144640 20458 33554432000 4194304 4196468 140736518042784 139947443927920 139948477424218 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3219] ppid=3151 vsize=10824360 memory=3620 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3219/stat : 3219 (java) S 3151 3154 1949 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 415839862 11084144640 20458 33554432000 4194304 4196468 140736518042784 139947007626208 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3220] ppid=3151 vsize=10824360 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3220/stat : 3220 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839862 11084144640 20458 33554432000 4194304 4196468 140736518042784 139947442874800 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 81832 KiB
[startup+1.50071 s]
/proc/loadavg: 1.45 1.43 1.38 5/227 3220
/proc/meminfo: memFree=30379204/32770624 swapFree=66981636/67108860
[pid=3154] ppid=3151 vsize=10830580 memory=230072 CPUtime=2.91 cores=1,3,5,7
/proc/3154/stat : 3154 (java) S 3151 3154 1949 0 -1 1077944320 19808 13431 0 0 272 12 4 3 20 0 15 0 415839847 11090513920 57518 33554432000 4194304 4196468 140736518042784 140736518025328 139948477402871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
/proc/3154/statm: 2707645 57518 3569 1 0 2669709 0
[pid=3154/tid=3207] ppid=3151 vsize=10830580 memory=2996107 CPUtime=1.44 cores=1,3,5,7
/proc/3154/task/3207/stat : 3207 (java) R 3151 3154 1949 0 -1 4202560 13544 13431 0 0 131 6 4 3 20 0 15 0 415839856 11090513920 57518 33554432000 4194304 4196468 140736518042784 139948449234672 139948461483358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3208] ppid=3151 vsize=10830580 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/3154/task/3208/stat : 3208 (java) S 3151 3154 1949 0 -1 1077944384 22 13431 0 0 0 1 4 3 20 0 15 0 415839857 11090513920 57518 33554432000 4194304 4196468 140736518042784 139948481645456 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3209] ppid=3151 vsize=10830580 memory=965232 CPUtime=0.08 cores=1,3,5,7
/proc/3154/task/3209/stat : 3209 (java) S 3151 3154 1949 0 -1 1077944384 21 13431 0 0 1 0 4 3 20 0 15 0 415839857 11090513920 57518 33554432000 4194304 4196468 140736518042784 139948369918736 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3210] ppid=3151 vsize=10830580 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/3154/task/3210/stat : 3210 (java) S 3151 3154 1949 0 -1 1077944384 23 13431 0 0 1 0 4 3 20 0 15 0 415839857 11090513920 57518 33554432000 4194304 4196468 140736518042784 139948368866448 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3211] ppid=3151 vsize=10830580 memory=81832 CPUtime=0.08 cores=1,3,5,7
/proc/3154/task/3211/stat : 3211 (java) S 3151 3154 1949 0 -1 1077944384 32 13431 0 0 1 0 4 3 20 0 15 0 415839857 11090513920 57518 33554432000 4194304 4196468 140736518042784 139948367813648 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3212] ppid=3151 vsize=10830580 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3212/stat : 3212 (java) S 3151 3154 1949 0 -1 1077944384 86 13431 0 0 0 0 4 3 20 0 15 0 415839858 11090513920 57518 33554432000 4194304 4196468 140736518042784 139947480643696 139948477414018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3213] ppid=3151 vsize=10830580 memory=281415250051616 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3213/stat : 3213 (java) S 3151 3154 1949 0 -1 1077944384 33 13431 0 0 0 0 4 3 20 0 15 0 415839859 11090513920 57518 33554432000 4194304 4196468 140736518042784 139947479589664 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3214] ppid=3151 vsize=10830580 memory=281415250102416 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3214/stat : 3214 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839859 11090513920 57518 33554432000 4194304 4196468 140736518042784 139947348583536 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3215] ppid=3151 vsize=10830580 memory=281415250647232 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3215/stat : 3215 (java) S 3151 3154 1949 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 415839861 11090513920 57518 33554432000 4194304 4196468 140736518042784 139947041183824 139948477421467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3216] ppid=3151 vsize=10830580 memory=3047711553219693942 CPUtime=0.57 cores=1,3,5,7
/proc/3154/task/3216/stat : 3216 (java) S 3151 3154 1949 0 -1 1077944384 1332 13431 0 0 50 0 4 3 20 0 15 0 415839862 11090513920 57518 33554432000 4194304 4196468 140736518042784 139947446033008 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3217] ppid=3151 vsize=10830580 memory=-7521736447810188379 CPUtime=0.57 cores=1,3,5,7
/proc/3154/task/3217/stat : 3217 (java) S 3151 3154 1949 0 -1 1077944384 1187 13431 0 0 50 0 4 3 20 0 15 0 415839862 11090513920 57518 33554432000 4194304 4196468 140736518042784 139947444980208 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3218] ppid=3151 vsize=10830580 memory=6369614218960268393 CPUtime=0.41 cores=1,3,5,7
/proc/3154/task/3218/stat : 3218 (java) S 3151 3154 1949 0 -1 1077944384 1316 13431 0 0 34 0 4 3 20 0 15 0 415839862 11090513920 57518 33554432000 4194304 4196468 140736518042784 139947443927920 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3219] ppid=3151 vsize=10830580 memory=7955161667202280034 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3219/stat : 3219 (java) S 3151 3154 1949 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 415839862 11090513920 57518 33554432000 4194304 4196468 140736518042784 139947007626208 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3220] ppid=3151 vsize=10830580 memory=6081105700759956839 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3220/stat : 3220 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839862 11090513920 57518 33554432000 4194304 4196468 140736518042784 139947442874800 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 10830580 KiB
################
# More data... #
################
[startup+8.24809 s]
# the end of solver process 3154 was just reported to runsolver
# cumulated CPU time of all completed processes: user=16.9276 s, system=0.472338 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40158 s]
/proc/loadavg: 1.58 1.46 1.39 5/227 3220
/proc/meminfo: memFree=29840024/32770624 swapFree=66981636/67108860
[pid=3154] ppid=3151 vsize=10844936 memory=685444 CPUtime=14.8 cores=1,3,5,7
/proc/3154/stat : 3154 (java) S 3151 3154 1949 0 -1 1077944320 57613 13431 0 0 1433 40 4 3 20 0 15 0 415839847 11105214464 171361 33554432000 4194304 4196468 140736518042784 140736518025328 139948477402871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
/proc/3154/statm: 2711234 171361 3618 1 0 2673293 0
[pid=3154/tid=3207] ppid=3151 vsize=10844936 memory=8320808402720078133 CPUtime=5.79 cores=1,3,5,7
/proc/3154/task/3207/stat : 3207 (java) R 3151 3154 1949 0 -1 4202560 19626 13431 0 0 559 13 4 3 20 0 15 0 415839856 11105214464 171361 33554432000 4194304 4196468 140736518042784 139948449235784 139948041782726 0 4 0 16800975 0 0 0 -1 3 0 0 37 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3208] ppid=3151 vsize=10844936 memory=8387336522918823753 CPUtime=0.2 cores=1,3,5,7
/proc/3154/task/3208/stat : 3208 (java) S 3151 3154 1949 0 -1 1077944384 508 13431 0 0 10 3 4 3 20 0 15 0 415839857 11105214464 171361 33554432000 4194304 4196468 140736518042784 139948481645456 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3209] ppid=3151 vsize=10844936 memory=7165352523810746422 CPUtime=0.2 cores=1,3,5,7
/proc/3154/task/3209/stat : 3209 (java) S 3151 3154 1949 0 -1 1077944384 135 13431 0 0 10 3 4 3 20 0 15 0 415839857 11105214464 171361 33554432000 4194304 4196468 140736518042784 139948369918736 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3210] ppid=3151 vsize=10844936 memory=281415250781504 CPUtime=0.2 cores=1,3,5,7
/proc/3154/task/3210/stat : 3210 (java) S 3151 3154 1949 0 -1 1077944384 147 13431 0 0 10 3 4 3 20 0 15 0 415839857 11105214464 171361 33554432000 4194304 4196468 140736518042784 139948368866448 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3211] ppid=3151 vsize=10844936 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/3154/task/3211/stat : 3211 (java) S 3151 3154 1949 0 -1 1077944384 176 13431 0 0 10 4 4 3 20 0 15 0 415839857 11105214464 171361 33554432000 4194304 4196468 140736518042784 139948367813648 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3212] ppid=3151 vsize=10844936 memory=2308 CPUtime=0.11 cores=1,3,5,7
/proc/3154/task/3212/stat : 3212 (java) S 3151 3154 1949 0 -1 1077944384 782 13431 0 0 4 0 4 3 20 0 15 0 415839858 11105214464 171361 33554432000 4194304 4196468 140736518042784 139947480643696 139948477414018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3213] ppid=3151 vsize=10844936 memory=5450909908396308010 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3213/stat : 3213 (java) S 3151 3154 1949 0 -1 1077944384 34 13431 0 0 0 0 4 3 20 0 15 0 415839859 11105214464 171361 33554432000 4194304 4196468 140736518042784 139947479589728 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3214] ppid=3151 vsize=10844936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3214/stat : 3214 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839859 11105214464 171361 33554432000 4194304 4196468 140736518042784 139947348583552 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3215] ppid=3151 vsize=10844936 memory=281415250107648 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3215/stat : 3215 (java) S 3151 3154 1949 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 415839861 11105214464 171361 33554432000 4194304 4196468 140736518042784 139947041183824 139948477421467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3216] ppid=3151 vsize=10844936 memory=140707625082087 CPUtime=3.62 cores=1,3,5,7
/proc/3154/task/3216/stat : 3216 (java) R 3151 3154 1949 0 -1 4202560 15391 13431 0 0 352 3 4 3 20 0 15 0 415839862 11105214464 171361 33554432000 4194304 4196468 140736518042784 139947446020960 139948460813664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3217] ppid=3151 vsize=10844936 memory=6944656592455360604 CPUtime=3.55 cores=1,3,5,7
/proc/3154/task/3217/stat : 3217 (java) R 3151 3154 1949 0 -1 4202560 11749 13431 0 0 345 3 4 3 20 0 15 0 415839862 11105214464 171361 33554432000 4194304 4196468 140736518042784 139947444966752 139948458947016 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3218] ppid=3151 vsize=10844936 memory=281415250438464 CPUtime=1.38 cores=1,3,5,7
/proc/3154/task/3218/stat : 3218 (java) S 3151 3154 1949 0 -1 1077944384 6843 13431 0 0 128 3 4 3 20 0 15 0 415839862 11105214464 171361 33554432000 4194304 4196468 140736518042784 139947443927920 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3219] ppid=3151 vsize=10844936 memory=7019467087956488755 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3219/stat : 3219 (java) S 3151 3154 1949 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 415839862 11105214464 171361 33554432000 4194304 4196468 140736518042784 139947007626208 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3220] ppid=3151 vsize=10844936 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3220/stat : 3220 (java) S 3151 3154 1949 0 -1 1077944384 9 13431 0 0 0 0 4 3 20 0 15 0 415839862 11105214464 171361 33554432000 4194304 4196468 140736518042784 139947442874800 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
Current children cumulated CPU time: 14.8 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 685444 KiB
[startup+7.20068 s]
/proc/loadavg: 1.58 1.46 1.39 3/227 3220
/proc/meminfo: memFree=29839056/32770624 swapFree=66981636/67108860
[pid=3154] ppid=3151 vsize=10844936 memory=686112 CPUtime=16.17 cores=1,3,5,7
/proc/3154/stat : 3154 (java) S 3151 3154 1949 0 -1 1077944320 60302 13431 0 0 1569 41 4 3 20 0 15 0 415839847 11105214464 171528 33554432000 4194304 4196468 140736518042784 140736518025328 139948477402871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
/proc/3154/statm: 2711234 171528 3619 1 0 2673293 0
[pid=3154/tid=3207] ppid=3151 vsize=10844936 memory=4639922926167811685 CPUtime=6.59 cores=1,3,5,7
/proc/3154/task/3207/stat : 3207 (java) R 3151 3154 1949 0 -1 4202560 20458 13431 0 0 639 13 4 3 20 0 15 0 415839856 11105214464 171528 33554432000 4194304 4196468 140736518042784 139948449235104 139948049086821 0 4 0 16800975 0 0 0 -1 3 0 0 37 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3208] ppid=3151 vsize=10844936 memory=8112282956445269571 CPUtime=0.2 cores=1,3,5,7
/proc/3154/task/3208/stat : 3208 (java) S 3151 3154 1949 0 -1 1077944384 508 13431 0 0 10 3 4 3 20 0 15 0 415839857 11105214464 171528 33554432000 4194304 4196468 140736518042784 139948481645456 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3209] ppid=3151 vsize=10844936 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/3154/task/3209/stat : 3209 (java) S 3151 3154 1949 0 -1 1077944384 135 13431 0 0 10 3 4 3 20 0 15 0 415839857 11105214464 171528 33554432000 4194304 4196468 140736518042784 139948369918736 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3210] ppid=3151 vsize=10844936 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/3154/task/3210/stat : 3210 (java) S 3151 3154 1949 0 -1 1077944384 147 13431 0 0 10 3 4 3 20 0 15 0 415839857 11105214464 171528 33554432000 4194304 4196468 140736518042784 139948368866448 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3211] ppid=3151 vsize=10844936 memory=295 CPUtime=0.21 cores=1,3,5,7
/proc/3154/task/3211/stat : 3211 (java) S 3151 3154 1949 0 -1 1077944384 176 13431 0 0 10 4 4 3 20 0 15 0 415839857 11105214464 171528 33554432000 4194304 4196468 140736518042784 139948367813648 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3212] ppid=3151 vsize=10844936 memory=297 CPUtime=0.11 cores=1,3,5,7
/proc/3154/task/3212/stat : 3212 (java) S 3151 3154 1949 0 -1 1077944384 782 13431 0 0 4 0 4 3 20 0 15 0 415839858 11105214464 171528 33554432000 4194304 4196468 140736518042784 139947480643696 139948477414018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3213] ppid=3151 vsize=10844936 memory=122 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3213/stat : 3213 (java) S 3151 3154 1949 0 -1 1077944384 34 13431 0 0 0 0 4 3 20 0 15 0 415839859 11105214464 171528 33554432000 4194304 4196468 140736518042784 139947479589728 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3214] ppid=3151 vsize=10844936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3214/stat : 3214 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839859 11105214464 171528 33554432000 4194304 4196468 140736518042784 139947348583552 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3215] ppid=3151 vsize=10844936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3215/stat : 3215 (java) S 3151 3154 1949 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 415839861 11105214464 171528 33554432000 4194304 4196468 140736518042784 139947041183824 139948477421467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3216] ppid=3151 vsize=10844936 memory=55 CPUtime=3.84 cores=1,3,5,7
/proc/3154/task/3216/stat : 3216 (java) S 3151 3154 1949 0 -1 1077944384 15850 13431 0 0 374 3 4 3 20 0 15 0 415839862 11105214464 171528 33554432000 4194304 4196468 140736518042784 139947446033008 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3217] ppid=3151 vsize=10844936 memory=-8187100386482147110 CPUtime=3.85 cores=1,3,5,7
/proc/3154/task/3217/stat : 3217 (java) R 3151 3154 1949 0 -1 4202560 12555 13431 0 0 375 3 4 3 20 0 15 0 415839862 11105214464 171528 33554432000 4194304 4196468 140736518042784 139947444980208 139948460889719 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3218] ppid=3151 vsize=10844936 memory=-7228670457783381124 CPUtime=1.43 cores=1,3,5,7
/proc/3154/task/3218/stat : 3218 (java) S 3151 3154 1949 0 -1 1077944384 7430 13431 0 0 133 3 4 3 20 0 15 0 415839862 11105214464 171528 33554432000 4194304 4196468 140736518042784 139947443927920 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3219] ppid=3151 vsize=10844936 memory=8029253707270603622 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3219/stat : 3219 (java) S 3151 3154 1949 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 415839862 11105214464 171528 33554432000 4194304 4196468 140736518042784 139947007626208 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3220] ppid=3151 vsize=10844936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3220/stat : 3220 (java) S 3151 3154 1949 0 -1 1077944384 14 13431 0 0 0 0 4 3 20 0 15 0 415839862 11105214464 171528 33554432000 4194304 4196468 140736518042784 139947442874800 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
Current children cumulated CPU time: 16.17 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 686112 KiB
[startup+8.00071 s]*
/proc/loadavg: 1.58 1.46 1.39 3/227 3220
/proc/meminfo: memFree=29820392/32770624 swapFree=66981636/67108860
[pid=3154] ppid=3151 vsize=10844936 memory=704696 CPUtime=17.12 cores=1,3,5,7
/proc/3154/stat : 3154 (java) S 3151 3154 1949 0 -1 1077944320 60781 13431 0 0 1664 41 4 3 20 0 15 0 415839847 11105214464 176174 33554432000 4194304 4196468 140736518042784 140736518025328 139948477402871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
/proc/3154/statm: 2711234 176174 3624 1 0 2673293 0
[pid=3154/tid=3207] ppid=3151 vsize=10844936 memory=7 CPUtime=7.39 cores=1,3,5,7
/proc/3154/task/3207/stat : 3207 (java) R 3151 3154 1949 0 -1 4202560 20595 13431 0 0 719 13 4 3 20 0 15 0 415839856 11105214464 176686 33554432000 4194304 4196468 140736518042784 139948449234880 139948041782726 0 4 0 16800975 0 0 0 -1 3 0 0 37 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3208] ppid=3151 vsize=10844936 memory=4126316290023845779 CPUtime=0.2 cores=1,3,5,7
/proc/3154/task/3208/stat : 3208 (java) S 3151 3154 1949 0 -1 1077944384 508 13431 0 0 10 3 4 3 20 0 15 0 415839857 11105214464 176686 33554432000 4194304 4196468 140736518042784 139948481645456 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3209] ppid=3151 vsize=10844936 memory=928 CPUtime=0.2 cores=1,3,5,7
/proc/3154/task/3209/stat : 3209 (java) S 3151 3154 1949 0 -1 1077944384 135 13431 0 0 10 3 4 3 20 0 15 0 415839857 11105214464 176686 33554432000 4194304 4196468 140736518042784 139948369918736 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3210] ppid=3151 vsize=10844936 memory=3772 CPUtime=0.2 cores=1,3,5,7
/proc/3154/task/3210/stat : 3210 (java) S 3151 3154 1949 0 -1 1077944384 147 13431 0 0 10 3 4 3 20 0 15 0 415839857 11105214464 176686 33554432000 4194304 4196468 140736518042784 139948368866448 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3211] ppid=3151 vsize=10844936 memory=1808 CPUtime=0.21 cores=1,3,5,7
/proc/3154/task/3211/stat : 3211 (java) S 3151 3154 1949 0 -1 1077944384 176 13431 0 0 10 4 4 3 20 0 15 0 415839857 11105214464 176686 33554432000 4194304 4196468 140736518042784 139948367813648 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3212] ppid=3151 vsize=10844936 memory=924 CPUtime=0.11 cores=1,3,5,7
/proc/3154/task/3212/stat : 3212 (java) S 3151 3154 1949 0 -1 1077944384 811 13431 0 0 4 0 4 3 20 0 15 0 415839858 11105214464 176686 33554432000 4194304 4196468 140736518042784 139947480643696 139948477414018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3213] ppid=3151 vsize=10844936 memory=3848 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3213/stat : 3213 (java) S 3151 3154 1949 0 -1 1077944384 34 13431 0 0 0 0 4 3 20 0 15 0 415839859 11105214464 176686 33554432000 4194304 4196468 140736518042784 139947479589728 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3214] ppid=3151 vsize=10844936 memory=1440 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3214/stat : 3214 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839859 11105214464 176686 33554432000 4194304 4196468 140736518042784 139947348583552 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3215] ppid=3151 vsize=10844936 memory=920 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3215/stat : 3215 (java) S 3151 3154 1949 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 415839861 11105214464 176686 33554432000 4194304 4196468 140736518042784 139947041183824 139948477421467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3216] ppid=3151 vsize=10844936 memory=1984 CPUtime=3.89 cores=1,3,5,7
/proc/3154/task/3216/stat : 3216 (java) S 3151 3154 1949 0 -1 1077944384 15958 13431 0 0 379 3 4 3 20 0 15 0 415839862 11105214464 176686 33554432000 4194304 4196468 140736518042784 139947446033008 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3217] ppid=3151 vsize=10844936 memory=2404 CPUtime=3.93 cores=1,3,5,7
/proc/3154/task/3217/stat : 3217 (java) S 3151 3154 1949 0 -1 1077944384 12692 13431 0 0 383 3 4 3 20 0 15 0 415839862 11105214464 176686 33554432000 4194304 4196468 140736518042784 139947444980208 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3218] ppid=3151 vsize=10844936 memory=1764 CPUtime=1.44 cores=1,3,5,7
/proc/3154/task/3218/stat : 3218 (java) S 3151 3154 1949 0 -1 1077944384 7500 13431 0 0 134 3 4 3 20 0 15 0 415839862 11105214464 176686 33554432000 4194304 4196468 140736518042784 139947443927920 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3219] ppid=3151 vsize=10844936 memory=111632 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3219/stat : 3219 (java) S 3151 3154 1949 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 415839862 11105214464 176686 33554432000 4194304 4196468 140736518042784 139947007626208 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3220] ppid=3151 vsize=10844936 memory=804 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3220/stat : 3220 (java) S 3151 3154 1949 0 -1 1077944384 14 13431 0 0 0 0 4 3 20 0 15 0 415839862 11105214464 176686 33554432000 4194304 4196468 140736518042784 139947442874800 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
Current children cumulated CPU time: 17.12 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 704696 KiB
[startup+8.20065 s]
/proc/loadavg: 1.58 1.46 1.39 3/227 3220
/proc/meminfo: memFree=29820392/32770624 swapFree=66981636/67108860
[pid=3154] ppid=3151 vsize=10844936 memory=737464 CPUtime=17.33 cores=1,3,5,7
/proc/3154/stat : 3154 (java) S 3151 3154 1949 0 -1 1077944320 60852 13431 0 0 1684 42 4 3 20 0 15 0 415839847 11105214464 184366 33554432000 4194304 4196468 140736518042784 140736518025328 139948477402871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
/proc/3154/statm: 2711234 184366 3624 1 0 2673293 0
[pid=3154/tid=3207] ppid=3151 vsize=10844936 memory=2308 CPUtime=7.59 cores=1,3,5,7
/proc/3154/task/3207/stat : 3207 (java) R 3151 3154 1949 0 -1 4202560 20629 13431 0 0 738 14 4 3 20 0 15 0 415839856 11105214464 184366 33554432000 4194304 4196468 140736518042784 139948449234880 139948050292936 0 4 0 16800975 0 0 0 -1 3 0 0 37 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3208] ppid=3151 vsize=10844936 memory=2620 CPUtime=0.2 cores=1,3,5,7
/proc/3154/task/3208/stat : 3208 (java) S 3151 3154 1949 0 -1 1077944384 508 13431 0 0 10 3 4 3 20 0 15 0 415839857 11105214464 184366 33554432000 4194304 4196468 140736518042784 139948481645456 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3209] ppid=3151 vsize=10844936 memory=2241 CPUtime=0.2 cores=1,3,5,7
/proc/3154/task/3209/stat : 3209 (java) S 3151 3154 1949 0 -1 1077944384 135 13431 0 0 10 3 4 3 20 0 15 0 415839857 11105214464 184366 33554432000 4194304 4196468 140736518042784 139948369918736 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3210] ppid=3151 vsize=10844936 memory=2244 CPUtime=0.2 cores=1,3,5,7
/proc/3154/task/3210/stat : 3210 (java) S 3151 3154 1949 0 -1 1077944384 147 13431 0 0 10 3 4 3 20 0 15 0 415839857 11105214464 184366 33554432000 4194304 4196468 140736518042784 139948368866448 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3211] ppid=3151 vsize=10844936 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/3154/task/3211/stat : 3211 (java) S 3151 3154 1949 0 -1 1077944384 176 13431 0 0 10 4 4 3 20 0 15 0 415839857 11105214464 184366 33554432000 4194304 4196468 140736518042784 139948367813648 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3212] ppid=3151 vsize=10844936 memory=6944656592455360604 CPUtime=0.11 cores=1,3,5,7
/proc/3154/task/3212/stat : 3212 (java) S 3151 3154 1949 0 -1 1077944384 811 13431 0 0 4 0 4 3 20 0 15 0 415839858 11105214464 184366 33554432000 4194304 4196468 140736518042784 139947480643696 139948477414018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3213] ppid=3151 vsize=10844936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3213/stat : 3213 (java) S 3151 3154 1949 0 -1 1077944384 34 13431 0 0 0 0 4 3 20 0 15 0 415839859 11105214464 184366 33554432000 4194304 4196468 140736518042784 139947479589728 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3214] ppid=3151 vsize=10844936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3214/stat : 3214 (java) S 3151 3154 1949 0 -1 1077944384 1 13431 0 0 0 0 4 3 20 0 15 0 415839859 11105214464 184366 33554432000 4194304 4196468 140736518042784 139947348583552 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3215] ppid=3151 vsize=10844936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3215/stat : 3215 (java) S 3151 3154 1949 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 415839861 11105214464 184366 33554432000 4194304 4196468 140736518042784 139947041183824 139948477421467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3216] ppid=3151 vsize=10844936 memory=288230574492221466 CPUtime=3.89 cores=1,3,5,7
/proc/3154/task/3216/stat : 3216 (java) S 3151 3154 1949 0 -1 1077944384 15958 13431 0 0 379 3 4 3 20 0 15 0 415839862 11105214464 184366 33554432000 4194304 4196468 140736518042784 139947446033008 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3217] ppid=3151 vsize=10844936 memory=288230617509003574 CPUtime=3.93 cores=1,3,5,7
/proc/3154/task/3217/stat : 3217 (java) S 3151 3154 1949 0 -1 1077944384 12720 13431 0 0 383 3 4 3 20 0 15 0 415839862 11105214464 184366 33554432000 4194304 4196468 140736518042784 139947444980208 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3218] ppid=3151 vsize=10844936 memory=13849685509015734 CPUtime=1.45 cores=1,3,5,7
/proc/3154/task/3218/stat : 3218 (java) S 3151 3154 1949 0 -1 1077944384 7507 13431 0 0 135 3 4 3 20 0 15 0 415839862 11105214464 184366 33554432000 4194304 4196468 140736518042784 139947443927920 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3219] ppid=3151 vsize=10844936 memory=3976876577462445524 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3219/stat : 3219 (java) S 3151 3154 1949 0 -1 1077944384 3 13431 0 0 0 0 4 3 20 0 15 0 415839862 11105214464 184366 33554432000 4194304 4196468 140736518042784 139947007626208 139948477413077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
[pid=3154/tid=3220] ppid=3151 vsize=10844936 memory=7013340846366745708 CPUtime=0.07 cores=1,3,5,7
/proc/3154/task/3220/stat : 3220 (java) S 3151 3154 1949 0 -1 1077944384 14 13431 0 0 0 0 4 3 20 0 15 0 415839862 11105214464 184366 33554432000 4194304 4196468 140736518042784 139947442874800 139948477414018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 33861632 140736518044400 140736518046917 140736518046917 140736518049743 0
Current children cumulated CPU time: 17.33 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 737464 KiB
Child status: 0
Real time (s): 8.24813
CPU time (s): 17.3999
CPU user time (s): 16.9276
CPU system time (s): 0.472338
CPU usage (%): 210.956
Max. virtual memory (cumulated for all children) (KiB): 10850168
Max. memory (cumulated for all children) (KiB): 737464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.9276
system time used= 0.472338
maximum resident set size= 747744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75257
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6288
involuntary context switches= 65
# summary of solver processes directly reported to runsolver:
# pid: 3154
# total CPU time (s): 17.3999
# total CPU user time (s): 16.9276
# total CPU system time (s): 0.472338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06299 second user time and 0.130922 second system time
The end