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 (13704 MiB free)
memory of node 1: 16384 MiB (14126 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401326-1568673331/watcher-4401326-1568673331 -o /tmp/evaluation-result-4401326-1568673331/solver-4401326-1568673331 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568673291-17352 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1889038206 HOME/instance-4401326-1568673331.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=17378, runsolver pid=17373
Current StackSize limit: 8192 KiB
[startup+0.10015 s]*
/proc/loadavg: 0.16 1.13 2.25 1/206 17439
/proc/meminfo: memFree=28497488/32770624 swapFree=66959728/67108860
[pid=17378] ppid=17373 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/17378/stat : 17378 (bash) S 17373 17378 17320 0 -1 4202496 892 5690 0 0 0 0 0 1 20 0 1 0 443273845 115974144 404 33554432000 4194304 5098028 140731890320656 140731890314664 139803340000256 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 0 0 0 7196144 7232144 30273536 140731890328596 140731890328721 140731890328721 140731890331630 0
/proc/17378/statm: 28314 404 320 221 0 119 0
[pid=17433] ppid=17378 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/17433/stat : 17433 (bash) S 17378 17378 17320 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 443273847 115974144 178 33554432000 4194304 5098028 140731890320656 140731890313336 139803339825788 0 65536 4096 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30273536 140731890328596 140731890328721 140731890328721 140731890331630 0
/proc/17433/statm: 28314 178 94 221 0 119 0
[pid=17434] ppid=17433 vsize=10648 memory=688 CPUtime=0 cores=1,3,5,7
/proc/17434/stat : 17434 (java) D 17433 17378 17320 0 -1 1077944320 318 0 0 0 0 0 0 0 20 0 1 0 443273847 10903552 172 33554432000 4194304 4196468 140728358375200 140728358357816 140178082751861 0 0 4096 0 18446744072101572132 0 0 17 3 0 0 0 0 0 6293624 6294260 25718784 140728358380684 140728358380698 140728358380698 140728358383567 0
/proc/17434/statm: 2662 172 139 1 0 84 0
[pid=17435] ppid=17433 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/17435/stat : 17435 (awk) S 17433 17378 17320 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 443273847 116211712 243 33554432000 4194304 4609284 140730933455328 140730933454504 139661829577728 0 0 4096 1216 18446744071580971376 0 0 17 5 0 0 0 0 0 6708720 6711756 35987456 140730933462204 140730933462234 140730933462234 140730933465071 0
/proc/17435/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 350648 KiB
Current children cumulated memory: 3988 KiB
[startup+0.210189 s]*
/proc/loadavg: 0.16 1.13 2.25 2/212 17445
/proc/meminfo: memFree=28487364/32770624 swapFree=66959728/67108860
[pid=17378] ppid=17373 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/17378/stat : 17378 (bash) S 17373 17378 17320 0 -1 4202496 892 5690 0 0 0 0 0 1 20 0 1 0 443273845 115974144 404 33554432000 4194304 5098028 140731890320656 140731890314664 139803340000256 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 0 0 0 7196144 7232144 30273536 140731890328596 140731890328721 140731890328721 140731890331630 0
/proc/17378/statm: 28314 404 320 221 0 119 0
[pid=17433] ppid=17378 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/17433/stat : 17433 (bash) S 17378 17378 17320 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 443273847 115974144 178 33554432000 4194304 5098028 140731890320656 140731890313336 139803339825788 0 65536 4096 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30273536 140731890328596 140731890328721 140731890328721 140731890331630 0
/proc/17433/statm: 28314 178 94 221 0 119 0
[pid=17434] ppid=17433 vsize=9940964 memory=16324 CPUtime=0 cores=1,3,5,7
/proc/17434/stat : 17434 (java) S 17433 17378 17320 0 -1 1077944320 3402 0 0 0 0 0 0 0 20 0 6 0 443273847 10179547136 4081 33554432000 4194304 4196468 140728358375200 140728358357744 140178090073847 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25718784 140728358380684 140728358380698 140728358380698 140728358383567 0
/proc/17434/statm: 2485241 4081 1932 1 0 2473679 0
[pid=17434/tid=17440] ppid=17433 vsize=9940964 memory=7751702667093440019 CPUtime=0 cores=1,3,5,7
/proc/17434/task/17440/stat : 17440 (java) R 17433 17378 17320 0 -1 4202560 2139 0 0 0 0 0 0 0 20 0 6 0 443273857 10179547136 4081 33554432000 4194304 4196468 140728358375200 140178094309968 140178074154334 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25718784 140728358380684 140728358380698 140728358380698 140728358383567 0
[pid=17434/tid=17446] ppid=17433 vsize=9940964 memory=664964232733811010 CPUtime=0 cores=1,3,5,7
/proc/17434/task/17446/stat : 17446 (java) S 17433 17378 17320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 443273866 10179547136 4081 33554432000 4194304 4196468 140728358375200 140178016148368 140178090084053 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25718784 140728358380684 140728358380698 140728358380698 140728358383567 0
[pid=17434/tid=17447] ppid=17433 vsize=9940964 memory=139806638601856 CPUtime=0 cores=1,3,5,7
/proc/17434/task/17447/stat : 17447 (java) S 17433 17378 17320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 443273866 10179547136 4081 33554432000 4194304 4196468 140728358375200 140178015095568 140178090084053 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25718784 140728358380684 140728358380698 140728358380698 140728358383567 0
[pid=17434/tid=17448] ppid=17433 vsize=9940964 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17434/task/17448/stat : 17448 (java) S 17433 17378 17320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 443273866 10179547136 4081 33554432000 4194304 4196468 140728358375200 140178014043280 140178090084053 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25718784 140728358380684 140728358380698 140728358380698 140728358383567 0
[pid=17434/tid=17449] ppid=17433 vsize=9940964 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17434/task/17449/stat : 17449 (java) S 17433 17378 17320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 443273866 10179547136 4081 33554432000 4194304 4196468 140728358375200 140178012990480 140178090084053 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25718784 140728358380684 140728358380698 140728358380698 140728358383567 0
[pid=17435] ppid=17433 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/17435/stat : 17435 (awk) S 17433 17378 17320 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 443273847 116211712 243 33554432000 4194304 4609284 140730933455328 140730933454504 139661829577728 0 0 4096 1216 18446744071580971376 0 0 17 5 0 0 0 0 0 6708720 6711756 35987456 140730933462204 140730933462234 140730933462234 140730933465071 0
/proc/17435/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 10280964 KiB
Current children cumulated memory: 19624 KiB
[startup+0.310581 s]*
/proc/loadavg: 0.16 1.13 2.25 1/222 17455
/proc/meminfo: memFree=28478012/32770624 swapFree=66959728/67108860
[pid=17378] ppid=17373 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/17378/stat : 17378 (bash) S 17373 17378 17320 0 -1 4202496 892 5690 0 0 0 0 0 1 20 0 1 0 443273845 115974144 404 33554432000 4194304 5098028 140731890320656 140731890314664 139803340000256 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 0 0 0 7196144 7232144 30273536 140731890328596 140731890328721 140731890328721 140731890331630 0
/proc/17378/statm: 28314 404 320 221 0 119 0
[pid=17433] ppid=17378 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/17433/stat : 17433 (bash) S 17378 17378 17320 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 443273847 115974144 178 33554432000 4194304 5098028 140731890320656 140731890313336 139803339825788 0 65536 4096 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30273536 140731890328596 140731890328721 140731890328721 140731890331630 0
/proc/17433/statm: 28314 178 94 221 0 119 0
[pid=17434] ppid=17433 vsize=10260324 memory=20692 CPUtime=0.04 cores=1,3,5,7
/proc/17434/stat : 17434 (java) S 17433 17378 17320 0 -1 1077944320 4054 0 0 0 4 0 0 0 20 0 9 0 443273847 10506571776 5173 33554432000 4194304 4196468 140728358375200 140728358357744 140178090073847 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25718784 140728358380684 140728358380698 140728358380698 140728358383567 0
/proc/17434/statm: 2565081 5173 2192 1 0 2527622 0
[pid=17434/tid=17440] ppid=17433 vsize=10260324 memory=288355116380323867 CPUtime=0.03 cores=1,3,5,7
/proc/17434/task/17440/stat : 17440 (java) D 17433 17378 17320 0 -1 1077944384 2709 0 0 0 3 0 0 0 20 0 9 0 443273857 10506571776 5173 33554432000 4194304 4196468 140728358375200 140178094308888 140178082751861 0 4 0 16800971 18446744072101572132 0 0 -1 1 0 0 0 0 0 6293624 6294260 25718784 140728358380684 140728358380698 140728358380698 140728358383567 0
[pid=17434/tid=17446] ppid=17433 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17434/task/17446/stat : 17446 (java) S 17433 17378 17320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443273866 10506571776 5173 33554432000 4194304 4196468 140728358375200 140178016148368 140178090084053 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25718784 140728358380684 140728358380698 140728358380698 140728358383567 0
[pid=17434/tid=17447] ppid=17433 vsize=10260324 memory=139806638613779 CPUtime=0 cores=1,3,5,7
/proc/17434/task/17447/stat : 17447 (java) S 17433 17378 17320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443273866 10506571776 5173 33554432000 4194304 4196468 140728358375200 140178015095568 140178090084053 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25718784 140728358380684 140728358380698 140728358380698 140728358383567 0
[pid=17434/tid=17448] ppid=17433 vsize=10260324 memory=139806638601856 CPUtime=0 cores=1,3,5,7
/proc/17434/task/17448/stat : 17448 (java) S 17433 17378 17320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443273866 10506571776 5173 33554432000 4194304 4196468 140728358375200 140178014043280 140178090084053 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25718784 140728358380684 140728358380698 140728358380698 140728358383567 0
[pid=17434/tid=17449] ppid=17433 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17434/task/17449/stat : 17449 (java) S 17433 17378 17320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443273866 10506571776 5173 33554432000 4194304 4196468 140728358375200 140178012990480 140178090084053 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25718784 140728358380684 140728358380698 140728358380698 140728358383567 0
[pid=17434/tid=17450] ppid=17433 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17434/task/17450/stat : 17450 (java) S 17433 17378 17320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443273867 10506571776 5173 33554432000 4194304 4196468 140728358375200 140177326450800 140178090084994 0 0 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25718784 140728358380684 140728358380698 140728358380698 140728358383567 0
[pid=17434/tid=17452] ppid=17433 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17434/task/17452/stat : 17452 (java) S 17433 17378 17320 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 443273868 10506571776 5173 33554432000 4194304 4196468 140728358375200 140177325396768 140178090084053 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25718784 140728358380684 140728358380698 140728358380698 140728358383567 0
[pid=17434/tid=17454] ppid=17433 vsize=10260324 memory=139806638601856 CPUtime=0 cores=1,3,5,7
/proc/17434/task/17454/stat : 17454 (java) S 17433 17378 17320 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 443273868 10506571776 5173 33554432000 4194304 4196468 140728358375200 140177324344432 140178090084053 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25718784 140728358380684 140728358380698 140728358380698 140728358383567 0
[pid=17435] ppid=17433 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/17435/stat : 17435 (awk) S 17433 17378 17320 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 443273847 116211712 243 33554432000 4194304 4609284 140730933455328 140730933454504 139661829577728 0 0 4096 1216 18446744071580971376 0 0 17 5 0 0 0 0 0 6708720 6711756 35987456 140730933462204 140730933462234 140730933462234 140730933465071 0
/proc/17435/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 23992 KiB
[startup+0.700561 s]
/proc/loadavg: 0.16 1.13 2.25 2/216 17501
/proc/meminfo: memFree=28479232/32770624 swapFree=66959728/67108860
[pid=17378] ppid=17373 vsize=10820196 memory=45664 CPUtime=0.27 cores=1,3,5,7
/proc/17378/stat : 17378 (java) S 17373 17378 17320 0 -1 1077944320 7140 13079 0 0 18 2 5 2 20 0 15 0 443273845 11079880704 11416 33554432000 4194304 4196468 140731102173184 140731102155728 140096577965815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
/proc/17378/statm: 2705049 11416 3330 1 0 2667149 0
[pid=17378/tid=17477] ppid=17373 vsize=10820196 memory=1564 CPUtime=0.19 cores=1,3,5,7
/proc/17378/task/17477/stat : 17477 (java) D 17373 17378 17320 0 -1 1077944384 3611 13079 0 0 11 1 5 2 20 0 15 0 443273889 11079880704 11416 33554432000 4194304 4196468 140731102173184 140096549779856 140096577987837 0 4 0 16800975 18446744072101572132 0 0 -1 3 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17488] ppid=17373 vsize=10820196 memory=6060 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17488/stat : 17488 (java) S 17373 17378 17320 0 -1 1077944384 1 13079 0 0 0 0 5 2 20 0 15 0 443273893 11079880704 11416 33554432000 4194304 4196468 140731102173184 140096582208400 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17489] ppid=17373 vsize=10820196 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17489/stat : 17489 (java) S 17373 17378 17320 0 -1 1077944384 1 13079 0 0 0 0 5 2 20 0 15 0 443273893 11079880704 11416 33554432000 4194304 4196468 140731102173184 140096470481680 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17490] ppid=17373 vsize=10820196 memory=2828 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17490/stat : 17490 (java) S 17373 17378 17320 0 -1 1077944384 1 13079 0 0 0 0 5 2 20 0 15 0 443273893 11079880704 11416 33554432000 4194304 4196468 140731102173184 140096469429392 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17491] ppid=17373 vsize=10820196 memory=1216 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17491/stat : 17491 (java) S 17373 17378 17320 0 -1 1077944384 2 13079 0 0 0 0 5 2 20 0 15 0 443273893 11079880704 11416 33554432000 4194304 4196468 140731102173184 140096468376592 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17496] ppid=17373 vsize=10820196 memory=984 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17496/stat : 17496 (java) S 17373 17378 17320 0 -1 1077944384 2 13079 0 0 0 0 5 2 20 0 15 0 443273894 11079880704 11416 33554432000 4194304 4196468 140731102173184 140096037378160 140096577976962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17498] ppid=17373 vsize=10820196 memory=14004 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17498/stat : 17498 (java) S 17373 17378 17320 0 -1 1077944384 33 13079 0 0 0 0 5 2 20 0 15 0 443273894 11079880704 11416 33554432000 4194304 4196468 140731102173184 140096036324128 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17499] ppid=17373 vsize=10820196 memory=3620 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17499/stat : 17499 (java) S 17373 17378 17320 0 -1 1077944384 1 13079 0 0 0 0 5 2 20 0 15 0 443273895 11079880704 11416 33554432000 4194304 4196468 140731102173184 140095927608432 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 45664 KiB
[startup+1.50413 s]
/proc/loadavg: 0.16 1.13 2.25 3/228 17513
/proc/meminfo: memFree=28399540/32770624 swapFree=66959728/67108860
[pid=17378] ppid=17373 vsize=10826488 memory=99820 CPUtime=1.57 cores=1,3,5,7
/proc/17378/stat : 17378 (java) S 17373 17378 17320 0 -1 1077944320 16238 13079 0 0 144 6 5 2 20 0 15 0 443273845 11086323712 24955 33554432000 4194304 4196468 140731102173184 140731102155728 140096577965815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
/proc/17378/statm: 2706622 24955 3541 1 0 2668685 0
[pid=17378/tid=17477] ppid=17373 vsize=10826488 memory=86592 CPUtime=0.86 cores=1,3,5,7
/proc/17378/task/17477/stat : 17477 (java) R 17373 17378 17320 0 -1 4202560 11393 13079 0 0 75 4 5 2 20 0 15 0 443273889 11086323712 24955 33554432000 4194304 4196468 140731102173184 140096549797920 140096577987741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17488] ppid=17373 vsize=10826488 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17488/stat : 17488 (java) S 17373 17378 17320 0 -1 1077944384 1 13079 0 0 0 0 5 2 20 0 15 0 443273893 11086323712 24955 33554432000 4194304 4196468 140731102173184 140096582208400 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17489] ppid=17373 vsize=10826488 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17489/stat : 17489 (java) S 17373 17378 17320 0 -1 1077944384 1 13079 0 0 0 0 5 2 20 0 15 0 443273893 11086323712 24955 33554432000 4194304 4196468 140731102173184 140096470481680 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17490] ppid=17373 vsize=10826488 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17490/stat : 17490 (java) S 17373 17378 17320 0 -1 1077944384 1 13079 0 0 0 0 5 2 20 0 15 0 443273893 11086323712 24955 33554432000 4194304 4196468 140731102173184 140096469429392 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17491] ppid=17373 vsize=10826488 memory=1966164 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17491/stat : 17491 (java) S 17373 17378 17320 0 -1 1077944384 2 13079 0 0 0 0 5 2 20 0 15 0 443273893 11086323712 24955 33554432000 4194304 4196468 140731102173184 140096468376592 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17496] ppid=17373 vsize=10826488 memory=3163 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17496/stat : 17496 (java) S 17373 17378 17320 0 -1 1077944384 5 13079 0 0 0 0 5 2 20 0 15 0 443273894 11086323712 24955 33554432000 4194304 4196468 140731102173184 140096037378160 140096577976962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17498] ppid=17373 vsize=10826488 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17498/stat : 17498 (java) S 17373 17378 17320 0 -1 1077944384 33 13079 0 0 0 0 5 2 20 0 15 0 443273894 11086323712 24955 33554432000 4194304 4196468 140731102173184 140096036324128 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17499] ppid=17373 vsize=10826488 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17499/stat : 17499 (java) S 17373 17378 17320 0 -1 1077944384 1 13079 0 0 0 0 5 2 20 0 15 0 443273895 11086323712 24955 33554432000 4194304 4196468 140731102173184 140095927608432 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17502] ppid=17373 vsize=10826488 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17502/stat : 17502 (java) S 17373 17378 17320 0 -1 1077944384 2 13079 0 0 0 0 5 2 20 0 15 0 443273899 11086323712 24955 33554432000 4194304 4196468 140731102173184 140095323629648 140096577984411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17503] ppid=17373 vsize=10826488 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/17378/task/17503/stat : 17503 (java) S 17373 17378 17320 0 -1 1077944384 966 13079 0 0 21 0 5 2 20 0 15 0 443273899 11086323712 24955 33554432000 4194304 4196468 140731102173184 140096002767472 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17504] ppid=17373 vsize=10826488 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/17378/task/17504/stat : 17504 (java) R 17373 17378 17320 0 -1 4202560 596 13079 0 0 18 0 5 2 20 0 15 0 443273899 11086323712 24955 33554432000 4194304 4196468 140731102173184 140096001701216 140096561352600 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17505] ppid=17373 vsize=10826488 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/17378/task/17505/stat : 17505 (java) S 17373 17378 17320 0 -1 1077944384 1022 13079 0 0 28 0 5 2 20 0 15 0 443273899 11086323712 24955 33554432000 4194304 4196468 140731102173184 140096000662384 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17506] ppid=17373 vsize=10826488 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17506/stat : 17506 (java) S 17373 17378 17320 0 -1 1077944384 3 13079 0 0 0 0 5 2 20 0 15 0 443273899 11086323712 24955 33554432000 4194304 4196468 140731102173184 140094853868512 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17512] ppid=17373 vsize=10826488 memory=7739548545030318679 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17512/stat : 17512 (java) S 17373 17378 17320 0 -1 1077944384 1 13079 0 0 0 0 5 2 20 0 15 0 443273904 11086323712 24955 33554432000 4194304 4196468 140731102173184 140095999609264 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 10826488 KiB
Current children cumulated memory: 99820 KiB
[startup+3.11326 s]
/proc/loadavg: 0.47 1.17 2.26 9/228 17513
/proc/meminfo: memFree=28125456/32770624 swapFree=66959728/67108860
[pid=17378] ppid=17373 vsize=10842892 memory=207812 CPUtime=5.15 cores=1,3,5,7
/proc/17378/stat : 17378 (java) S 17373 17378 17320 0 -1 1077944320 37632 13079 0 0 494 14 5 2 20 0 15 0 443273845 11103121408 51953 33554432000 4194304 4196468 140731102173184 140731102155728 140096577965815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
/proc/17378/statm: 2710723 51953 3593 1 0 2672781 0
[pid=17378/tid=17477] ppid=17373 vsize=10842892 memory=139805480469469 CPUtime=2.42 cores=1,3,5,7
/proc/17378/task/17477/stat : 17477 (java) R 17373 17378 17320 0 -1 4202560 20924 13079 0 0 228 7 5 2 20 0 15 0 443273889 11103121408 51953 33554432000 4194304 4196468 140731102173184 140096549800352 140096577977750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17488] ppid=17373 vsize=10842892 memory=7100839870003710312 CPUtime=0.08 cores=1,3,5,7
/proc/17378/task/17488/stat : 17488 (java) S 17373 17378 17320 0 -1 1077944384 86 13079 0 0 1 0 5 2 20 0 15 0 443273893 11103121408 51953 33554432000 4194304 4196468 140731102173184 140096582208400 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17489] ppid=17373 vsize=10842892 memory=-7673721927108614497 CPUtime=0.08 cores=1,3,5,7
/proc/17378/task/17489/stat : 17489 (java) S 17373 17378 17320 0 -1 1077944384 383 13079 0 0 1 0 5 2 20 0 15 0 443273893 11103121408 51953 33554432000 4194304 4196468 140731102173184 140096470481680 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17490] ppid=17373 vsize=10842892 memory=40 CPUtime=0.08 cores=1,3,5,7
/proc/17378/task/17490/stat : 17490 (java) S 17373 17378 17320 0 -1 1077944384 25 13079 0 0 1 0 5 2 20 0 15 0 443273893 11103121408 51953 33554432000 4194304 4196468 140731102173184 140096469429392 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17491] ppid=17373 vsize=10842892 memory=35 CPUtime=0.08 cores=1,3,5,7
/proc/17378/task/17491/stat : 17491 (java) S 17373 17378 17320 0 -1 1077944384 56 13079 0 0 1 0 5 2 20 0 15 0 443273893 11103121408 51953 33554432000 4194304 4196468 140731102173184 140096468376592 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17496] ppid=17373 vsize=10842892 memory=62 CPUtime=0.08 cores=1,3,5,7
/proc/17378/task/17496/stat : 17496 (java) S 17373 17378 17320 0 -1 1077944384 1525 13079 0 0 1 0 5 2 20 0 15 0 443273894 11103121408 51953 33554432000 4194304 4196468 140731102173184 140096037378160 140096577976962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17498] ppid=17373 vsize=10842892 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17498/stat : 17498 (java) S 17373 17378 17320 0 -1 1077944384 34 13079 0 0 0 0 5 2 20 0 15 0 443273894 11103121408 51953 33554432000 4194304 4196468 140731102173184 140096036324192 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17499] ppid=17373 vsize=10842892 memory=53696 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17499/stat : 17499 (java) S 17373 17378 17320 0 -1 1077944384 1 13079 0 0 0 0 5 2 20 0 15 0 443273895 11103121408 51953 33554432000 4194304 4196468 140731102173184 140095927608432 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17502] ppid=17373 vsize=10842892 memory=2244 CPUtime=0.07 cores=1,3,5,7
################
# More data... #
################
/proc/17378/task/17477/stat : 17477 (java) R 17373 17378 17320 0 -1 4202560 79437 13079 0 0 217731 53 5 2 20 0 15 0 443273889 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096549802064 140096161402723 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17488] ppid=17373 vsize=10851096 memory=1191320 CPUtime=11.68 cores=1,3,5,7
/proc/17378/task/17488/stat : 17488 (java) S 17373 17378 17320 0 -1 1077944384 11661 13079 0 0 1112 49 5 2 20 0 15 0 443273893 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096582208400 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17489] ppid=17373 vsize=10851096 memory=1191320 CPUtime=11.66 cores=1,3,5,7
/proc/17378/task/17489/stat : 17489 (java) S 17373 17378 17320 0 -1 1077944384 17997 13079 0 0 1111 48 5 2 20 0 15 0 443273893 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096470481680 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17490] ppid=17373 vsize=10851096 memory=1191320 CPUtime=11.61 cores=1,3,5,7
/proc/17378/task/17490/stat : 17490 (java) S 17373 17378 17320 0 -1 1077944384 15901 13079 0 0 1099 55 5 2 20 0 15 0 443273893 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096469429392 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17491] ppid=17373 vsize=10851096 memory=1191320 CPUtime=11.65 cores=1,3,5,7
/proc/17378/task/17491/stat : 17491 (java) S 17373 17378 17320 0 -1 1077944384 14111 13079 0 0 1110 48 5 2 20 0 15 0 443273893 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096468376592 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17496] ppid=17373 vsize=10851096 memory=1191320 CPUtime=9.82 cores=1,3,5,7
/proc/17378/task/17496/stat : 17496 (java) S 17373 17378 17320 0 -1 1077944384 17841 13079 0 0 925 50 5 2 20 0 15 0 443273894 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096037378160 140096577976962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17498] ppid=17373 vsize=10851096 memory=1191320 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17498/stat : 17498 (java) S 17373 17378 17320 0 -1 1077944384 38 13079 0 0 0 0 5 2 20 0 15 0 443273894 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096036324192 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17499] ppid=17373 vsize=10851096 memory=1191320 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17499/stat : 17499 (java) S 17373 17378 17320 0 -1 1077944384 1 13079 0 0 0 0 5 2 20 0 15 0 443273895 11111522304 297830 33554432000 4194304 4196468 140731102173184 140095927608448 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17502] ppid=17373 vsize=10851096 memory=1191320 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17502/stat : 17502 (java) S 17373 17378 17320 0 -1 1077944384 2 13079 0 0 0 0 5 2 20 0 15 0 443273899 11111522304 297830 33554432000 4194304 4196468 140731102173184 140095323629648 140096577984411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17503] ppid=17373 vsize=10851096 memory=1216 CPUtime=6.82 cores=1,3,5,7
/proc/17378/task/17503/stat : 17503 (java) S 17373 17378 17320 0 -1 1077944384 30104 13079 0 0 671 4 5 2 20 0 15 0 443273899 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096002767472 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17504] ppid=17373 vsize=10851096 memory=1191320 CPUtime=6.09 cores=1,3,5,7
/proc/17378/task/17504/stat : 17504 (java) S 17373 17378 17320 0 -1 1077944384 25680 13079 0 0 598 4 5 2 20 0 15 0 443273899 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096001714672 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17505] ppid=17373 vsize=10851096 memory=580 CPUtime=4.45 cores=1,3,5,7
/proc/17378/task/17505/stat : 17505 (java) S 17373 17378 17320 0 -1 1077944384 37035 13079 0 0 431 7 5 2 20 0 15 0 443273899 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096000662384 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17506] ppid=17373 vsize=10851096 memory=3620 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17506/stat : 17506 (java) S 17373 17378 17320 0 -1 1077944384 3 13079 0 0 0 0 5 2 20 0 15 0 443273899 11111522304 297830 33554432000 4194304 4196468 140731102173184 140094853868512 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17512] ppid=17373 vsize=10851096 memory=1660 CPUtime=1.31 cores=1,3,5,7
/proc/17378/task/17512/stat : 17512 (java) S 17373 17378 17320 0 -1 1077944384 1383 13079 0 0 56 68 5 2 20 0 15 0 443273904 11111522304 297830 33554432000 4194304 4196468 140731102173184 140095999609264 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
Current children cumulated CPU time: 2252.5 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1191320 KiB
[startup+2262.3 s]
/proc/loadavg: 1.18 1.32 1.43 3/228 17746
/proc/meminfo: memFree=26115692/32770624 swapFree=66959728/67108860
[pid=17378] ppid=17373 vsize=10851096 memory=1191320 CPUtime=2313.53 cores=1,3,5,7
/proc/17378/stat : 17378 (java) S 17373 17378 17320 0 -1 1077944320 255589 13079 0 0 231000 346 5 2 20 0 15 0 443273845 11111522304 297830 33554432000 4194304 4196468 140731102173184 140731102155728 140096577965815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
/proc/17378/statm: 2712774 297830 3638 1 0 2674829 0
[pid=17378/tid=17477] ppid=17373 vsize=10851096 memory=1191320 CPUtime=2237.23 cores=1,3,5,7
/proc/17378/task/17477/stat : 17477 (java) R 17373 17378 17320 0 -1 4202560 80340 13079 0 0 223662 54 5 2 20 0 15 0 443273889 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096549800896 140096146056640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17488] ppid=17373 vsize=10851096 memory=1191320 CPUtime=12.03 cores=1,3,5,7
/proc/17378/task/17488/stat : 17488 (java) S 17373 17378 17320 0 -1 1077944384 11725 13079 0 0 1146 50 5 2 20 0 15 0 443273893 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096582208400 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17489] ppid=17373 vsize=10851096 memory=1191320 CPUtime=12.01 cores=1,3,5,7
/proc/17378/task/17489/stat : 17489 (java) S 17373 17378 17320 0 -1 1077944384 18481 13079 0 0 1145 49 5 2 20 0 15 0 443273893 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096470481680 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17490] ppid=17373 vsize=10851096 memory=1191320 CPUtime=11.95 cores=1,3,5,7
/proc/17378/task/17490/stat : 17490 (java) S 17373 17378 17320 0 -1 1077944384 16014 13079 0 0 1132 56 5 2 20 0 15 0 443273893 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096469429392 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17491] ppid=17373 vsize=10851096 memory=1191320 CPUtime=12 cores=1,3,5,7
/proc/17378/task/17491/stat : 17491 (java) S 17373 17378 17320 0 -1 1077944384 14293 13079 0 0 1144 49 5 2 20 0 15 0 443273893 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096468376592 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17496] ppid=17373 vsize=10851096 memory=1191320 CPUtime=10.1 cores=1,3,5,7
/proc/17378/task/17496/stat : 17496 (java) S 17373 17378 17320 0 -1 1077944384 18245 13079 0 0 952 51 5 2 20 0 15 0 443273894 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096037378160 140096577976962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17498] ppid=17373 vsize=10851096 memory=1191320 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17498/stat : 17498 (java) S 17373 17378 17320 0 -1 1077944384 38 13079 0 0 0 0 5 2 20 0 15 0 443273894 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096036324192 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17499] ppid=17373 vsize=10851096 memory=6060 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17499/stat : 17499 (java) S 17373 17378 17320 0 -1 1077944384 1 13079 0 0 0 0 5 2 20 0 15 0 443273895 11111522304 297830 33554432000 4194304 4196468 140731102173184 140095927608448 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17502] ppid=17373 vsize=10851096 memory=1191320 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17502/stat : 17502 (java) S 17373 17378 17320 0 -1 1077944384 2 13079 0 0 0 0 5 2 20 0 15 0 443273899 11111522304 297830 33554432000 4194304 4196468 140731102173184 140095323629648 140096577984411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17503] ppid=17373 vsize=10851096 memory=0 CPUtime=6.82 cores=1,3,5,7
/proc/17378/task/17503/stat : 17503 (java) S 17373 17378 17320 0 -1 1077944384 30106 13079 0 0 671 4 5 2 20 0 15 0 443273899 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096002767472 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17504] ppid=17373 vsize=10851096 memory=304683469057949540 CPUtime=6.09 cores=1,3,5,7
/proc/17378/task/17504/stat : 17504 (java) S 17373 17378 17320 0 -1 1077944384 25682 13079 0 0 598 4 5 2 20 0 15 0 443273899 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096001714672 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17505] ppid=17373 vsize=10851096 memory=1191320 CPUtime=4.45 cores=1,3,5,7
/proc/17378/task/17505/stat : 17505 (java) S 17373 17378 17320 0 -1 1077944384 37037 13079 0 0 431 7 5 2 20 0 15 0 443273899 11111522304 297830 33554432000 4194304 4196468 140731102173184 140096000662384 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17506] ppid=17373 vsize=10851096 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17506/stat : 17506 (java) S 17373 17378 17320 0 -1 1077944384 3 13079 0 0 0 0 5 2 20 0 15 0 443273899 11111522304 297830 33554432000 4194304 4196468 140731102173184 140094853868512 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17512] ppid=17373 vsize=10851096 memory=1191320 CPUtime=1.35 cores=1,3,5,7
/proc/17378/task/17512/stat : 17512 (java) S 17373 17378 17320 0 -1 1077944384 1411 13079 0 0 58 70 5 2 20 0 15 0 443273904 11111522304 297830 33554432000 4194304 4196468 140731102173184 140095999609264 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
Current children cumulated CPU time: 2313.53 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1191320 KiB
[startup+2322.3 s]
/proc/loadavg: 1.33 1.35 1.44 3/228 17750
/proc/meminfo: memFree=26101140/32770624 swapFree=66959728/67108860
[pid=17378] ppid=17373 vsize=10851096 memory=1193368 CPUtime=2374.5 cores=1,3,5,7
/proc/17378/stat : 17378 (java) S 17373 17378 17320 0 -1 1077944320 257376 13079 0 0 237091 352 5 2 20 0 15 0 443273845 11111522304 298342 33554432000 4194304 4196468 140731102173184 140731102155728 140096577965815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
/proc/17378/statm: 2712774 298342 3638 1 0 2674829 0
[pid=17378/tid=17477] ppid=17373 vsize=10851096 memory=984 CPUtime=2296.57 cores=1,3,5,7
/proc/17378/task/17477/stat : 17477 (java) R 17373 17378 17320 0 -1 4202560 81234 13079 0 0 229595 55 5 2 20 0 15 0 443273889 11111522304 298342 33554432000 4194304 4196468 140731102173184 140096549801552 140096161546339 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17488] ppid=17373 vsize=10851096 memory=1193368 CPUtime=12.37 cores=1,3,5,7
/proc/17378/task/17488/stat : 17488 (java) S 17373 17378 17320 0 -1 1077944384 11780 13079 0 0 1179 51 5 2 20 0 15 0 443273893 11111522304 298342 33554432000 4194304 4196468 140731102173184 140096582208400 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17489] ppid=17373 vsize=10851096 memory=1193368 CPUtime=12.34 cores=1,3,5,7
/proc/17378/task/17489/stat : 17489 (java) S 17373 17378 17320 0 -1 1077944384 18798 13079 0 0 1176 51 5 2 20 0 15 0 443273893 11111522304 298342 33554432000 4194304 4196468 140731102173184 140096470481680 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17490] ppid=17373 vsize=10851096 memory=1193368 CPUtime=12.29 cores=1,3,5,7
/proc/17378/task/17490/stat : 17490 (java) S 17373 17378 17320 0 -1 1077944384 16059 13079 0 0 1165 57 5 2 20 0 15 0 443273893 11111522304 298342 33554432000 4194304 4196468 140731102173184 140096469429392 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17491] ppid=17373 vsize=10851096 memory=1193368 CPUtime=12.34 cores=1,3,5,7
/proc/17378/task/17491/stat : 17491 (java) S 17373 17378 17320 0 -1 1077944384 14515 13079 0 0 1177 50 5 2 20 0 15 0 443273893 11111522304 298342 33554432000 4194304 4196468 140731102173184 140096468376592 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17496] ppid=17373 vsize=10851096 memory=1193368 CPUtime=10.36 cores=1,3,5,7
/proc/17378/task/17496/stat : 17496 (java) S 17373 17378 17320 0 -1 1077944384 18476 13079 0 0 977 52 5 2 20 0 15 0 443273894 11111522304 298342 33554432000 4194304 4196468 140731102173184 140096037378160 140096577976962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17498] ppid=17373 vsize=10851096 memory=1193368 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17498/stat : 17498 (java) S 17373 17378 17320 0 -1 1077944384 38 13079 0 0 0 0 5 2 20 0 15 0 443273894 11111522304 298342 33554432000 4194304 4196468 140731102173184 140096036324192 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17499] ppid=17373 vsize=10851096 memory=1193368 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17499/stat : 17499 (java) S 17373 17378 17320 0 -1 1077944384 1 13079 0 0 0 0 5 2 20 0 15 0 443273895 11111522304 298342 33554432000 4194304 4196468 140731102173184 140095927608448 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17502] ppid=17373 vsize=10851096 memory=1193368 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17502/stat : 17502 (java) S 17373 17378 17320 0 -1 1077944384 2 13079 0 0 0 0 5 2 20 0 15 0 443273899 11111522304 298342 33554432000 4194304 4196468 140731102173184 140095323629648 140096577984411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17503] ppid=17373 vsize=10851096 memory=3620 CPUtime=6.82 cores=1,3,5,7
/proc/17378/task/17503/stat : 17503 (java) S 17373 17378 17320 0 -1 1077944384 30108 13079 0 0 671 4 5 2 20 0 15 0 443273899 11111522304 298342 33554432000 4194304 4196468 140731102173184 140096002767472 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17504] ppid=17373 vsize=10851096 memory=1193368 CPUtime=6.09 cores=1,3,5,7
/proc/17378/task/17504/stat : 17504 (java) S 17373 17378 17320 0 -1 1077944384 25684 13079 0 0 598 4 5 2 20 0 15 0 443273899 11111522304 298342 33554432000 4194304 4196468 140731102173184 140096001714672 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17505] ppid=17373 vsize=10851096 memory=1193368 CPUtime=4.45 cores=1,3,5,7
/proc/17378/task/17505/stat : 17505 (java) S 17373 17378 17320 0 -1 1077944384 37039 13079 0 0 431 7 5 2 20 0 15 0 443273899 11111522304 298342 33554432000 4194304 4196468 140731102173184 140096000662384 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17506] ppid=17373 vsize=10851096 memory=1193368 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17506/stat : 17506 (java) S 17373 17378 17320 0 -1 1077944384 3 13079 0 0 0 0 5 2 20 0 15 0 443273899 11111522304 298342 33554432000 4194304 4196468 140731102173184 140094853868512 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17512] ppid=17373 vsize=10851096 memory=988 CPUtime=1.38 cores=1,3,5,7
/proc/17378/task/17512/stat : 17512 (java) S 17373 17378 17320 0 -1 1077944384 1428 13079 0 0 60 71 5 2 20 0 15 0 443273904 11111522304 298342 33554432000 4194304 4196468 140731102173184 140095999609264 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
Current children cumulated CPU time: 2374.5 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1193368 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2347.2 s]
/proc/loadavg: 1.29 1.33 1.43 3/228 17754
/proc/meminfo: memFree=26095932/32770624 swapFree=66959728/67108860
[pid=17378] ppid=17373 vsize=10851096 memory=1196756 CPUtime=2400.06 cores=1,3,5,7
/proc/17378/stat : 17378 (java) S 17373 17378 17320 0 -1 1077944320 260416 13079 0 0 239645 354 5 2 20 0 15 0 443273845 11111522304 299189 33554432000 4194304 4196468 140731102173184 140731102155728 140096577965815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
/proc/17378/statm: 2712774 299189 3638 1 0 2674829 0
[pid=17378/tid=17477] ppid=17373 vsize=10851096 memory=6791534058613427641 CPUtime=2321.21 cores=1,3,5,7
/proc/17378/task/17477/stat : 17477 (java) R 17373 17378 17320 0 -1 4202560 81843 13079 0 0 232059 55 5 2 20 0 15 0 443273889 11111522304 299189 33554432000 4194304 4196468 140731102173184 140096549801376 140096163028172 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17488] ppid=17373 vsize=10851096 memory=988 CPUtime=12.5 cores=1,3,5,7
/proc/17378/task/17488/stat : 17488 (java) S 17373 17378 17320 0 -1 1077944384 12064 13079 0 0 1192 51 5 2 20 0 15 0 443273893 11111522304 299189 33554432000 4194304 4196468 140731102173184 140096582208400 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17489] ppid=17373 vsize=10851096 memory=2008 CPUtime=12.46 cores=1,3,5,7
/proc/17378/task/17489/stat : 17489 (java) S 17373 17378 17320 0 -1 1077944384 18846 13079 0 0 1188 51 5 2 20 0 15 0 443273893 11111522304 299189 33554432000 4194304 4196468 140731102173184 140096470481680 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17490] ppid=17373 vsize=10851096 memory=1436 CPUtime=12.42 cores=1,3,5,7
/proc/17378/task/17490/stat : 17490 (java) S 17373 17378 17320 0 -1 1077944384 16069 13079 0 0 1178 57 5 2 20 0 15 0 443273893 11111522304 299189 33554432000 4194304 4196468 140731102173184 140096469429392 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17491] ppid=17373 vsize=10851096 memory=580 CPUtime=12.47 cores=1,3,5,7
/proc/17378/task/17491/stat : 17491 (java) S 17373 17378 17320 0 -1 1077944384 14530 13079 0 0 1189 51 5 2 20 0 15 0 443273893 11111522304 299189 33554432000 4194304 4196468 140731102173184 140096468376592 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17496] ppid=17373 vsize=10851096 memory=1720 CPUtime=10.46 cores=1,3,5,7
/proc/17378/task/17496/stat : 17496 (java) S 17373 17378 17320 0 -1 1077944384 18499 13079 0 0 987 52 5 2 20 0 15 0 443273894 11111522304 299189 33554432000 4194304 4196468 140731102173184 140096037378160 140096577976962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17498] ppid=17373 vsize=10851096 memory=1984 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17498/stat : 17498 (java) S 17373 17378 17320 0 -1 1077944384 38 13079 0 0 0 0 5 2 20 0 15 0 443273894 11111522304 299189 33554432000 4194304 4196468 140731102173184 140096036324192 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17499] ppid=17373 vsize=10851096 memory=3620 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17499/stat : 17499 (java) S 17373 17378 17320 0 -1 1077944384 1 13079 0 0 0 0 5 2 20 0 15 0 443273895 11111522304 299189 33554432000 4194304 4196468 140731102173184 140095927608448 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17502] ppid=17373 vsize=10851096 memory=1660 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17502/stat : 17502 (java) S 17373 17378 17320 0 -1 1077944384 2 13079 0 0 0 0 5 2 20 0 15 0 443273899 11111522304 299189 33554432000 4194304 4196468 140731102173184 140095323629648 140096577984411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17503] ppid=17373 vsize=10851096 memory=47816 CPUtime=6.97 cores=1,3,5,7
/proc/17378/task/17503/stat : 17503 (java) S 17373 17378 17320 0 -1 1077944384 31519 13079 0 0 685 5 5 2 20 0 15 0 443273899 11111522304 299189 33554432000 4194304 4196468 140731102173184 140096002767472 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17504] ppid=17373 vsize=10851096 memory=988 CPUtime=6.23 cores=1,3,5,7
/proc/17378/task/17504/stat : 17504 (java) S 17373 17378 17320 0 -1 1077944384 26318 13079 0 0 612 4 5 2 20 0 15 0 443273899 11111522304 299189 33554432000 4194304 4196468 140731102173184 140096001714672 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17505] ppid=17373 vsize=10851096 memory=2008 CPUtime=4.45 cores=1,3,5,7
/proc/17378/task/17505/stat : 17505 (java) S 17373 17378 17320 0 -1 1077944384 37041 13079 0 0 431 7 5 2 20 0 15 0 443273899 11111522304 299189 33554432000 4194304 4196468 140731102173184 140096000662384 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17506] ppid=17373 vsize=10851096 memory=10604 CPUtime=0.07 cores=1,3,5,7
/proc/17378/task/17506/stat : 17506 (java) S 17373 17378 17320 0 -1 1077944384 3 13079 0 0 0 0 5 2 20 0 15 0 443273899 11111522304 299189 33554432000 4194304 4196468 140731102173184 140094853868512 140096577976021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
[pid=17378/tid=17512] ppid=17373 vsize=10851096 memory=4160 CPUtime=1.39 cores=1,3,5,7
/proc/17378/task/17512/stat : 17512 (java) S 17373 17378 17320 0 -1 1077944384 1432 13079 0 0 60 72 5 2 20 0 15 0 443273904 11111522304 299189 33554432000 4194304 4196468 140731102173184 140095999609264 140096577976962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35958784 140731102182127 140731102184645 140731102184645 140731102187471 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1196756 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2347.23 s]
# the end of solver process 17378 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.53 s, system=3.59073 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2347.23
CPU time (s): 2400.13
CPU user time (s): 2396.53
CPU system time (s): 3.59073
CPU usage (%): 102.254
Max. virtual memory (cumulated for all children) (KiB): 10933144
Max. memory (cumulated for all children) (KiB): 1196756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.53
system time used= 3.59073
maximum resident set size= 1200880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274643
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 274488
involuntary context switches= 5628
# summary of solver processes directly reported to runsolver:
# pid: 17378
# total CPU time (s): 2400.13
# total CPU user time (s): 2396.53
# total CPU system time (s): 3.59073
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1691 second user time and 22.6188 second system time
The end