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 (13532 MiB free)
memory of node 1: 16384 MiB (10005 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308255-1534323360/watcher-4308255-1534323360 -o /tmp/evaluation-result-4308255-1534323360/solver-4308255-1534323360 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534323343-19101 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 268561189 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308255-1534323360.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19303, runsolver pid=19300
[startup+0.100363 s]*
/proc/loadavg: 1.50 1.18 1.46 3/219 19318
/proc/meminfo: memFree=24085808/32770624 swapFree=67108840/67108860
[pid=19303] ppid=19300 vsize=14082736 memory=31180 CPUtime=0.12 cores=0,2,4,6
/proc/19303/stat : 19303 (java) S 19300 19303 15138 0 -1 1077944320 6700 0 0 0 12 0 0 0 20 0 15 0 249899153 14420721664 7795 33554432000 4194304 4196468 140724911424704 140724911407248 140607858777847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
/proc/19303/statm: 3520684 7795 3155 1 0 3482761 0
[pid=19303/tid=19305] ppid=19300 vsize=14082736 memory=-8701690554792447362 CPUtime=0.09 cores=0,2,4,6
/proc/19303/task/19305/stat : 19305 (java) R 19300 19303 15138 0 -1 4202560 4735 0 0 0 9 0 0 0 20 0 15 0 249899154 14420721664 7795 33554432000 4194304 4196468 140724911424704 140607863001872 140607844899838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19306] ppid=19300 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19306/stat : 19306 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899155 14420721664 7795 33554432000 4194304 4196468 140724911424704 140607773845776 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19307] ppid=19300 vsize=14082736 memory=140034668242560 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19307/stat : 19307 (java) S 19300 19303 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899155 14420721664 7795 33554432000 4194304 4196468 140724911424704 140607772793232 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19308] ppid=19300 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19308/stat : 19308 (java) S 19300 19303 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899155 14420721664 7795 33554432000 4194304 4196468 140724911424704 140607771740688 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19309] ppid=19300 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19309/stat : 19309 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899155 14420721664 7795 33554432000 4194304 4196468 140724911424704 140607770688144 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19310] ppid=19300 vsize=14082736 memory=140034668242560 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19310/stat : 19310 (java) S 19300 19303 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899156 14420721664 7795 33554432000 4194304 4196468 140724911424704 140607040109040 140607858788994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19311] ppid=19300 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19311/stat : 19311 (java) S 19300 19303 15138 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249899156 14420721664 7795 33554432000 4194304 4196468 140724911424704 140607039055264 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19312] ppid=19300 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19312/stat : 19312 (java) S 19300 19303 15138 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249899157 14420721664 7795 33554432000 4194304 4196468 140724911424704 140607038002672 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19313] ppid=19300 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19313/stat : 19313 (java) S 19300 19303 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899159 14420721664 7795 33554432000 4194304 4196468 140724911424704 140607036951248 140607858796443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19314] ppid=19300 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19314/stat : 19314 (java) S 19300 19303 15138 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 249899159 14420721664 7795 33554432000 4194304 4196468 140724911424704 140607035897840 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19315] ppid=19300 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19315/stat : 19315 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899159 14420721664 7795 33554432000 4194304 4196468 140724911424704 140607034845296 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19316] ppid=19300 vsize=14082736 memory=140034668242560 CPUtime=0.01 cores=0,2,4,6
/proc/19303/task/19316/stat : 19316 (java) S 19300 19303 15138 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 249899159 14420721664 7795 33554432000 4194304 4196468 140724911424704 140607033792752 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19317] ppid=19300 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19317/stat : 19317 (java) S 19300 19303 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899159 14420721664 7795 33554432000 4194304 4196468 140724911424704 140607032740448 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19318] ppid=19300 vsize=14082736 memory=140034668242560 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19318/stat : 19318 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899160 14420721664 7795 33554432000 4194304 4196468 140724911424704 140607031687984 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31180 KiB
[startup+0.210686 s]*
/proc/loadavg: 1.50 1.18 1.46 4/219 19318
/proc/meminfo: memFree=24069768/32770624 swapFree=67108840/67108860
[pid=19303] ppid=19300 vsize=14082736 memory=46712 CPUtime=0.3 cores=0,2,4,6
/proc/19303/stat : 19303 (java) S 19300 19303 15138 0 -1 1077944320 10329 0 0 0 28 2 0 0 20 0 15 0 249899153 14420721664 11678 33554432000 4194304 4196468 140724911424704 140724911407248 140607858777847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
/proc/19303/statm: 3520684 11678 3317 1 0 3482761 0
[pid=19303/tid=19305] ppid=19300 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/19303/task/19305/stat : 19305 (java) R 19300 19303 15138 0 -1 4202560 8080 0 0 0 18 1 0 0 20 0 15 0 249899154 14420721664 11744 33554432000 4194304 4196468 140724911424704 140607863003808 140607842858334 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19306] ppid=19300 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19306/stat : 19306 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899155 14420721664 11744 33554432000 4194304 4196468 140724911424704 140607773845776 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19307] ppid=19300 vsize=14082736 memory=288370410819954304 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19307/stat : 19307 (java) S 19300 19303 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899155 14420721664 11744 33554432000 4194304 4196468 140724911424704 140607772793232 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19308] ppid=19300 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19308/stat : 19308 (java) S 19300 19303 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899155 14420721664 11744 33554432000 4194304 4196468 140724911424704 140607771740688 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19309] ppid=19300 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19309/stat : 19309 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899155 14420721664 11744 33554432000 4194304 4196468 140724911424704 140607770688144 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19310] ppid=19300 vsize=14082736 memory=140034668242560 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19310/stat : 19310 (java) S 19300 19303 15138 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 249899156 14420721664 11744 33554432000 4194304 4196468 140724911424704 140607040109040 140607858788994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19311] ppid=19300 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19311/stat : 19311 (java) S 19300 19303 15138 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249899156 14420721664 11744 33554432000 4194304 4196468 140724911424704 140607039055264 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19312] ppid=19300 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19312/stat : 19312 (java) S 19300 19303 15138 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249899157 14420721664 11744 33554432000 4194304 4196468 140724911424704 140607038002672 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19313] ppid=19300 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19313/stat : 19313 (java) S 19300 19303 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899159 14420721664 11744 33554432000 4194304 4196468 140724911424704 140607036951248 140607858796443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19314] ppid=19300 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19303/task/19314/stat : 19314 (java) R 19300 19303 15138 0 -1 4202560 402 0 0 0 2 0 0 0 20 0 15 0 249899159 14420721664 11744 33554432000 4194304 4196468 140724911424704 140607035887632 140607842340936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19315] ppid=19300 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/19303/task/19315/stat : 19315 (java) R 19300 19303 15138 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 15 0 249899159 14420721664 11744 33554432000 4194304 4196468 140724911424704 140607034845296 140607858788994 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19316] ppid=19300 vsize=14082736 memory=140034668242560 CPUtime=0.06 cores=0,2,4,6
/proc/19303/task/19316/stat : 19316 (java) R 19300 19303 15138 0 -1 4202560 303 0 0 0 6 0 0 0 20 0 15 0 249899159 14420721664 11744 33554432000 4194304 4196468 140724911424704 140607033792752 140607837433746 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19317] ppid=19300 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19317/stat : 19317 (java) S 19300 19303 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899159 14420721664 11744 33554432000 4194304 4196468 140724911424704 140607032740448 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19318] ppid=19300 vsize=14082736 memory=140034668242560 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19318/stat : 19318 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899160 14420721664 11744 33554432000 4194304 4196468 140724911424704 140607031687984 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46712 KiB
[startup+0.310753 s]*
/proc/loadavg: 1.50 1.18 1.46 6/219 19318
/proc/meminfo: memFree=24066716/32770624 swapFree=67108840/67108860
[pid=19303] ppid=19300 vsize=14082736 memory=50460 CPUtime=0.44 cores=0,2,4,6
/proc/19303/stat : 19303 (java) S 19300 19303 15138 0 -1 1077944320 10776 0 0 0 42 2 0 0 20 0 15 0 249899153 14420721664 12615 33554432000 4194304 4196468 140724911424704 140724911407248 140607858777847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
/proc/19303/statm: 3520684 12615 3353 1 0 3482761 0
[pid=19303/tid=19305] ppid=19300 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/19303/task/19305/stat : 19305 (java) R 19300 19303 15138 0 -1 4202560 8446 0 0 0 28 2 0 0 20 0 15 0 249899154 14420721664 12615 33554432000 4194304 4196468 140724911424704 140607862985680 140607842858334 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19306] ppid=19300 vsize=14082736 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19306/stat : 19306 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899155 14420721664 12615 33554432000 4194304 4196468 140724911424704 140607773845776 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19307] ppid=19300 vsize=14082736 memory=288370410819954304 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19307/stat : 19307 (java) S 19300 19303 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899155 14420721664 12615 33554432000 4194304 4196468 140724911424704 140607772793232 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19308] ppid=19300 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19308/stat : 19308 (java) S 19300 19303 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899155 14420721664 12615 33554432000 4194304 4196468 140724911424704 140607771740688 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19309] ppid=19300 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19309/stat : 19309 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899155 14420721664 12615 33554432000 4194304 4196468 140724911424704 140607770688144 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19310] ppid=19300 vsize=14082736 memory=140034668242560 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19310/stat : 19310 (java) S 19300 19303 15138 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 249899156 14420721664 12615 33554432000 4194304 4196468 140724911424704 140607040109040 140607858788994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19311] ppid=19300 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19311/stat : 19311 (java) S 19300 19303 15138 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249899156 14420721664 12615 33554432000 4194304 4196468 140724911424704 140607039055264 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19312] ppid=19300 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19312/stat : 19312 (java) S 19300 19303 15138 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249899157 14420721664 12615 33554432000 4194304 4196468 140724911424704 140607038002672 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19313] ppid=19300 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19313/stat : 19313 (java) S 19300 19303 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899159 14420721664 12615 33554432000 4194304 4196468 140724911424704 140607036951248 140607858796443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19314] ppid=19300 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19303/task/19314/stat : 19314 (java) S 19300 19303 15138 0 -1 1077944384 439 0 0 0 3 0 0 0 20 0 15 0 249899159 14420721664 12615 33554432000 4194304 4196468 140724911424704 140607035897840 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19315] ppid=19300 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/19303/task/19315/stat : 19315 (java) S 19300 19303 15138 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 15 0 249899159 14420721664 12615 33554432000 4194304 4196468 140724911424704 140607034845296 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19316] ppid=19300 vsize=14082736 memory=140034668242560 CPUtime=0.08 cores=0,2,4,6
/proc/19303/task/19316/stat : 19316 (java) S 19300 19303 15138 0 -1 1077944384 324 0 0 0 8 0 0 0 20 0 15 0 249899159 14420721664 12615 33554432000 4194304 4196468 140724911424704 140607033792752 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19317] ppid=19300 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19317/stat : 19317 (java) S 19300 19303 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899159 14420721664 12615 33554432000 4194304 4196468 140724911424704 140607032740448 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19318] ppid=19300 vsize=14082736 memory=140034668242560 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19318/stat : 19318 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899160 14420721664 12615 33554432000 4194304 4196468 140724911424704 140607031687984 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50460 KiB
[startup+0.700777 s]
/proc/loadavg: 1.50 1.18 1.46 3/219 19318
/proc/meminfo: memFree=24042284/32770624 swapFree=67108840/67108860
[pid=19303] ppid=19300 vsize=14084804 memory=88848 CPUtime=0.97 cores=0,2,4,6
/proc/19303/stat : 19303 (java) S 19300 19303 15138 0 -1 1077944320 17582 0 0 0 93 4 0 0 20 0 15 0 249899153 14422839296 22212 33554432000 4194304 4196468 140724911424704 140724911407248 140607858777847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
/proc/19303/statm: 3521201 22212 3502 1 0 3483273 0
[pid=19303/tid=19305] ppid=19300 vsize=14084804 memory=1784 CPUtime=0.67 cores=0,2,4,6
/proc/19303/task/19305/stat : 19305 (java) R 19300 19303 15138 0 -1 4202560 14883 0 0 0 64 3 0 0 20 0 15 0 249899154 14422839296 22212 33554432000 4194304 4196468 140724911424704 140607863004384 140607842858334 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19306] ppid=19300 vsize=14084804 memory=752 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19306/stat : 19306 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899155 14422839296 22212 33554432000 4194304 4196468 140724911424704 140607773845776 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19307] ppid=19300 vsize=14084804 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19307/stat : 19307 (java) S 19300 19303 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899155 14422839296 22212 33554432000 4194304 4196468 140724911424704 140607772793232 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19308] ppid=19300 vsize=14084804 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19308/stat : 19308 (java) S 19300 19303 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899155 14422839296 22212 33554432000 4194304 4196468 140724911424704 140607771740688 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19309] ppid=19300 vsize=14084804 memory=5728 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19309/stat : 19309 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899155 14422839296 22212 33554432000 4194304 4196468 140724911424704 140607770688144 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19310] ppid=19300 vsize=14084804 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19310/stat : 19310 (java) S 19300 19303 15138 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 249899156 14422839296 22212 33554432000 4194304 4196468 140724911424704 140607040109040 140607858788994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19311] ppid=19300 vsize=14084804 memory=1092 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19311/stat : 19311 (java) S 19300 19303 15138 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249899156 14422839296 22212 33554432000 4194304 4196468 140724911424704 140607039055264 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19312] ppid=19300 vsize=14084804 memory=836 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19312/stat : 19312 (java) S 19300 19303 15138 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249899157 14422839296 22212 33554432000 4194304 4196468 140724911424704 140607038002672 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19313] ppid=19300 vsize=14084804 memory=10692 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19313/stat : 19313 (java) S 19300 19303 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899159 14422839296 22212 33554432000 4194304 4196468 140724911424704 140607036951248 140607858796443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19314] ppid=19300 vsize=14084804 memory=7450174591119418944 CPUtime=0.07 cores=0,2,4,6
/proc/19303/task/19314/stat : 19314 (java) S 19300 19303 15138 0 -1 1077944384 597 0 0 0 7 0 0 0 20 0 15 0 249899159 14422839296 22212 33554432000 4194304 4196468 140724911424704 140607035897840 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19315] ppid=19300 vsize=14084804 memory=6444198537895111255 CPUtime=0.05 cores=0,2,4,6
/proc/19303/task/19315/stat : 19315 (java) S 19300 19303 15138 0 -1 1077944384 303 0 0 0 5 0 0 0 20 0 15 0 249899159 14422839296 22212 33554432000 4194304 4196468 140724911424704 140607034845296 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19316] ppid=19300 vsize=14084804 memory=7523071198212214892 CPUtime=0.15 cores=0,2,4,6
/proc/19303/task/19316/stat : 19316 (java) S 19300 19303 15138 0 -1 1077944384 417 0 0 0 15 0 0 0 20 0 15 0 249899159 14422839296 22212 33554432000 4194304 4196468 140724911424704 140607033792752 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19317] ppid=19300 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19317/stat : 19317 (java) S 19300 19303 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899159 14422839296 22212 33554432000 4194304 4196468 140724911424704 140607032740448 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19318] ppid=19300 vsize=14084804 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19318/stat : 19318 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899160 14422839296 22212 33554432000 4194304 4196468 140724911424704 140607031687984 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88848 KiB
[startup+1.50067 s]
/proc/loadavg: 1.50 1.18 1.46 5/219 19318
/proc/meminfo: memFree=23993580/32770624 swapFree=67108840/67108860
[pid=19303] ppid=19300 vsize=14090948 memory=181816 CPUtime=3.2 cores=0,2,4,6
/proc/19303/stat : 19303 (java) S 19300 19303 15138 0 -1 1077944320 25011 0 0 0 312 8 0 0 20 0 15 0 249899153 14429130752 45454 33554432000 4194304 4196468 140724911424704 140724911407248 140607858777847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
/proc/19303/statm: 3522737 45454 3547 1 0 3484809 0
[pid=19303/tid=19305] ppid=19300 vsize=14090948 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/19303/task/19305/stat : 19305 (java) R 19300 19303 15138 0 -1 4202560 18587 0 0 0 141 6 0 0 20 0 15 0 249899154 14429130752 45454 33554432000 4194304 4196468 140724911424704 140607863012800 140607858799773 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19306] ppid=19300 vsize=14090948 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19306/stat : 19306 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899155 14429130752 45454 33554432000 4194304 4196468 140724911424704 140607773845776 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19307] ppid=19300 vsize=14090948 memory=-6509546260019855299 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19307/stat : 19307 (java) S 19300 19303 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899155 14429130752 45454 33554432000 4194304 4196468 140724911424704 140607772793232 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19308] ppid=19300 vsize=14090948 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19308/stat : 19308 (java) S 19300 19303 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899155 14429130752 45454 33554432000 4194304 4196468 140724911424704 140607771740688 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19309] ppid=19300 vsize=14090948 memory=-7096649868621430206 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19309/stat : 19309 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899155 14429130752 45454 33554432000 4194304 4196468 140724911424704 140607770688144 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19310] ppid=19300 vsize=14090948 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19310/stat : 19310 (java) S 19300 19303 15138 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 249899156 14429130752 45454 33554432000 4194304 4196468 140724911424704 140607040109040 140607858788994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19311] ppid=19300 vsize=14090948 memory=7084837745140917353 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19311/stat : 19311 (java) S 19300 19303 15138 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249899156 14429130752 45454 33554432000 4194304 4196468 140724911424704 140607039055264 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19312] ppid=19300 vsize=14090948 memory=7374758023520802148 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19312/stat : 19312 (java) S 19300 19303 15138 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249899157 14429130752 45454 33554432000 4194304 4196468 140724911424704 140607038002672 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19313] ppid=19300 vsize=14090948 memory=7670301315261816931 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19313/stat : 19313 (java) S 19300 19303 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899159 14429130752 45454 33554432000 4194304 4196468 140724911424704 140607036951248 140607858796443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19314] ppid=19300 vsize=14090948 memory=8298057778098133621 CPUtime=0.55 cores=0,2,4,6
/proc/19303/task/19314/stat : 19314 (java) S 19300 19303 15138 0 -1 1077944384 1645 0 0 0 55 0 0 0 20 0 15 0 249899159 14429130752 45454 33554432000 4194304 4196468 140724911424704 140607035897840 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19315] ppid=19300 vsize=14090948 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/19303/task/19315/stat : 19315 (java) S 19300 19303 15138 0 -1 1077944384 1216 0 0 0 55 0 0 0 20 0 15 0 249899159 14429130752 45454 33554432000 4194304 4196468 140724911424704 140607034845296 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19316] ppid=19300 vsize=14090948 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/19303/task/19316/stat : 19316 (java) R 19300 19303 15138 0 -1 4202560 2165 0 0 0 59 0 0 0 20 0 15 0 249899159 14429130752 45454 33554432000 4194304 4196468 140724911424704 140607033788512 140607842858334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19317] ppid=19300 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19317/stat : 19317 (java) S 19300 19303 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899159 14429130752 45515 33554432000 4194304 4196468 140724911424704 140607032740448 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19318] ppid=19300 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19318/stat : 19318 (java) S 19300 19303 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899160 14429130752 45515 33554432000 4194304 4196468 140724911424704 140607031687984 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
Current children cumulated CPU time: 3.2 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 181816 KiB
[startup+1.92622 s]
# the end of solver process 19303 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.39014 s, system=0.106477 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60133 s]
/proc/loadavg: 1.50 1.18 1.46 5/219 19318
/proc/meminfo: memFree=23993580/32770624 swapFree=67108840/67108860
[pid=19303] ppid=19300 vsize=14090948 memory=188332 CPUtime=3.5 cores=0,2,4,6
/proc/19303/stat : 19303 (java) S 19300 19303 15138 0 -1 1077944320 25697 0 0 0 342 8 0 0 20 0 15 0 249899153 14429130752 47083 33554432000 4194304 4196468 140724911424704 140724911407248 140607858777847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
/proc/19303/statm: 3522737 47083 3547 1 0 3484809 0
[pid=19303/tid=19305] ppid=19300 vsize=14090948 memory=0 CPUtime=1.57 cores=0,2,4,6
/proc/19303/task/19305/stat : 19305 (java) R 19300 19303 15138 0 -1 4202560 18771 0 0 0 151 6 0 0 20 0 15 0 249899154 14429130752 47083 33554432000 4194304 4196468 140724911424704 140607863010744 140607840646289 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19306] ppid=19300 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19306/stat : 19306 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899155 14429130752 47083 33554432000 4194304 4196468 140724911424704 140607773845776 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19307] ppid=19300 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19307/stat : 19307 (java) S 19300 19303 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899155 14429130752 47083 33554432000 4194304 4196468 140724911424704 140607772793232 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19308] ppid=19300 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19308/stat : 19308 (java) S 19300 19303 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899155 14429130752 47083 33554432000 4194304 4196468 140724911424704 140607771740688 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19309] ppid=19300 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19309/stat : 19309 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899155 14429130752 47083 33554432000 4194304 4196468 140724911424704 140607770688144 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19310] ppid=19300 vsize=14090948 memory=140034668244273 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19310/stat : 19310 (java) S 19300 19303 15138 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 249899156 14429130752 47083 33554432000 4194304 4196468 140724911424704 140607040109040 140607858788994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19311] ppid=19300 vsize=14090948 memory=7956001724031985007 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19311/stat : 19311 (java) S 19300 19303 15138 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249899156 14429130752 47083 33554432000 4194304 4196468 140724911424704 140607039055264 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19312] ppid=19300 vsize=14090948 memory=7597132098393106257 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19312/stat : 19312 (java) S 19300 19303 15138 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249899157 14429130752 47083 33554432000 4194304 4196468 140724911424704 140607038002672 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19313] ppid=19300 vsize=14090948 memory=7300704776819335744 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19313/stat : 19313 (java) S 19300 19303 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899159 14429130752 47083 33554432000 4194304 4196468 140724911424704 140607036951248 140607858796443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19314] ppid=19300 vsize=14090948 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/19303/task/19314/stat : 19314 (java) S 19300 19303 15138 0 -1 1077944384 1735 0 0 0 61 0 0 0 20 0 15 0 249899159 14429130752 47083 33554432000 4194304 4196468 140724911424704 140607035897840 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19315] ppid=19300 vsize=14090948 memory=222970341616301 CPUtime=0.61 cores=0,2,4,6
/proc/19303/task/19315/stat : 19315 (java) S 19300 19303 15138 0 -1 1077944384 1252 0 0 0 61 0 0 0 20 0 15 0 249899159 14429130752 47083 33554432000 4194304 4196468 140724911424704 140607034845296 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19316] ppid=19300 vsize=14090948 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/19303/task/19316/stat : 19316 (java) R 19300 19303 15138 0 -1 4202560 2542 0 0 0 67 0 0 0 20 0 15 0 249899159 14429130752 47083 33554432000 4194304 4196468 140724911424704 140607033786736 140607838746623 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19317] ppid=19300 vsize=14090948 memory=-5921431000321636112 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19317/stat : 19317 (java) S 19300 19303 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899159 14429130752 47083 33554432000 4194304 4196468 140724911424704 140607032740448 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19318] ppid=19300 vsize=14090948 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19318/stat : 19318 (java) S 19300 19303 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899160 14429130752 47083 33554432000 4194304 4196468 140724911424704 140607031687984 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
Current children cumulated CPU time: 3.5 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 188332 KiB
[startup+1.80133 s]
/proc/loadavg: 1.50 1.18 1.46 5/219 19318
/proc/meminfo: memFree=23993580/32770624 swapFree=67108840/67108860
[pid=19303] ppid=19300 vsize=14090948 memory=207380 CPUtime=4.17 cores=0,2,4,6
/proc/19303/stat : 19303 (java) S 19300 19303 15138 0 -1 1077944320 27884 0 0 0 408 9 0 0 20 0 15 0 249899153 14429130752 51845 33554432000 4194304 4196468 140724911424704 140724911407248 140607858777847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
/proc/19303/statm: 3522737 51845 3548 1 0 3484809 0
[pid=19303/tid=19305] ppid=19300 vsize=14090948 memory=-7096649868621430206 CPUtime=1.76 cores=0,2,4,6
/proc/19303/task/19305/stat : 19305 (java) R 19300 19303 15138 0 -1 4202560 18894 0 0 0 170 6 0 0 20 0 15 0 249899154 14429130752 51845 33554432000 4194304 4196468 140724911424704 140607863015448 140607456615721 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19306] ppid=19300 vsize=14090948 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19306/stat : 19306 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899155 14429130752 51845 33554432000 4194304 4196468 140724911424704 140607773845776 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19307] ppid=19300 vsize=14090948 memory=7084837745140917353 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19307/stat : 19307 (java) S 19300 19303 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899155 14429130752 51845 33554432000 4194304 4196468 140724911424704 140607772793232 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19308] ppid=19300 vsize=14090948 memory=7374758023520802148 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19308/stat : 19308 (java) S 19300 19303 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249899155 14429130752 51845 33554432000 4194304 4196468 140724911424704 140607771740688 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19309] ppid=19300 vsize=14090948 memory=7670301315261816931 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19309/stat : 19309 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249899155 14429130752 51845 33554432000 4194304 4196468 140724911424704 140607770688144 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19310] ppid=19300 vsize=14090948 memory=8298057778098133621 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19310/stat : 19310 (java) S 19300 19303 15138 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 249899156 14429130752 51845 33554432000 4194304 4196468 140724911424704 140607040109040 140607858788994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19311] ppid=19300 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19311/stat : 19311 (java) S 19300 19303 15138 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249899156 14429130752 51845 33554432000 4194304 4196468 140724911424704 140607039055264 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19312] ppid=19300 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19312/stat : 19312 (java) S 19300 19303 15138 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249899157 14429130752 51845 33554432000 4194304 4196468 140724911424704 140607038002672 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19313] ppid=19300 vsize=14090948 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19313/stat : 19313 (java) S 19300 19303 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899159 14429130752 51845 33554432000 4194304 4196468 140724911424704 140607036951248 140607858796443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19314] ppid=19300 vsize=14090948 memory=6864 CPUtime=0.79 cores=0,2,4,6
/proc/19303/task/19314/stat : 19314 (java) R 19300 19303 15138 0 -1 4202560 2048 0 0 0 79 0 0 0 20 0 15 0 249899159 14429130752 51845 33554432000 4194304 4196468 140724911424704 140607035880800 140607851019237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19315] ppid=19300 vsize=14090948 memory=4548 CPUtime=0.79 cores=0,2,4,6
/proc/19303/task/19315/stat : 19315 (java) R 19300 19303 15138 0 -1 4202560 1964 0 0 0 79 0 0 0 20 0 15 0 249899159 14429130752 51845 33554432000 4194304 4196468 140724911424704 140607034834768 140607842748257 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19316] ppid=19300 vsize=14090948 memory=15188 CPUtime=0.78 cores=0,2,4,6
/proc/19303/task/19316/stat : 19316 (java) S 19300 19303 15138 0 -1 1077944384 3580 0 0 0 77 1 0 0 20 0 15 0 249899159 14429130752 51845 33554432000 4194304 4196468 140724911424704 140607033792752 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19317] ppid=19300 vsize=14090948 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19317/stat : 19317 (java) S 19300 19303 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899159 14429130752 51845 33554432000 4194304 4196468 140724911424704 140607032740448 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19318] ppid=19300 vsize=14090948 memory=38480 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19318/stat : 19318 (java) S 19300 19303 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249899160 14429130752 51845 33554432000 4194304 4196468 140724911424704 140607031687984 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
Current children cumulated CPU time: 4.17 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 207380 KiB
[startup+1.90063 s]
/proc/loadavg: 1.50 1.18 1.46 5/219 19318
/proc/meminfo: memFree=23993580/32770624 swapFree=67108840/67108860
[pid=19303] ppid=19300 vsize=14157512 memory=215344 CPUtime=4.47 cores=0,2,4,6
/proc/19303/stat : 19303 (java) S 19300 19303 15138 0 -1 1077944320 28383 0 0 0 438 9 0 0 20 0 14 0 249899153 14497292288 53836 33554432000 4194304 4196468 140724911424704 140724911407248 140607858777847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
/proc/19303/statm: 3539378 53836 3553 1 0 3501450 0
[pid=19303/tid=19305] ppid=19300 vsize=14157512 memory=0 CPUtime=1.85 cores=0,2,4,6
/proc/19303/task/19305/stat : 19305 (java) S 19300 19303 15138 0 -1 1077944384 18974 0 0 0 179 6 0 0 20 0 14 0 249899154 14497292288 53836 33554432000 4194304 4196468 140724911424704 140607863020688 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19306] ppid=19300 vsize=14157512 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19306/stat : 19306 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 249899155 14497292288 53836 33554432000 4194304 4196468 140724911424704 140607773845776 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19307] ppid=19300 vsize=14157512 memory=-6509546260019855299 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19307/stat : 19307 (java) S 19300 19303 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 249899155 14497292288 53836 33554432000 4194304 4196468 140724911424704 140607772793232 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19308] ppid=19300 vsize=14157512 memory=32484 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19308/stat : 19308 (java) S 19300 19303 15138 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 249899155 14497292288 53836 33554432000 4194304 4196468 140724911424704 140607771740688 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19309] ppid=19300 vsize=14157512 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19309/stat : 19309 (java) S 19300 19303 15138 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 249899155 14497292288 53836 33554432000 4194304 4196468 140724911424704 140607770688144 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19310] ppid=19300 vsize=14157512 memory=8740 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19310/stat : 19310 (java) S 19300 19303 15138 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 14 0 249899156 14497292288 53836 33554432000 4194304 4196468 140724911424704 140607040109248 140607858788994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19311] ppid=19300 vsize=14157512 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19311/stat : 19311 (java) S 19300 19303 15138 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 249899156 14497292288 53836 33554432000 4194304 4196468 140724911424704 140607039055264 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19312] ppid=19300 vsize=14157512 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19312/stat : 19312 (java) S 19300 19303 15138 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 249899157 14497292288 53836 33554432000 4194304 4196468 140724911424704 140607038002672 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19313] ppid=19300 vsize=14157512 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19313/stat : 19313 (java) S 19300 19303 15138 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 14 0 249899159 14497292288 53836 33554432000 4194304 4196468 140724911424704 140607036950016 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19314] ppid=19300 vsize=14157512 memory=1720 CPUtime=0.89 cores=0,2,4,6
/proc/19303/task/19314/stat : 19314 (java) S 19300 19303 15138 0 -1 1077944384 2098 0 0 0 89 0 0 0 20 0 14 0 249899159 14497292288 53836 33554432000 4194304 4196468 140724911424704 140607035878320 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19315] ppid=19300 vsize=14157512 memory=1168 CPUtime=0.89 cores=0,2,4,6
/proc/19303/task/19315/stat : 19315 (java) R 19300 19303 15138 0 -1 4202560 2269 0 0 0 89 0 0 0 20 0 14 0 249899159 14497292288 53836 33554432000 4194304 4196468 140724911424704 140607034834768 140607836373280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19316] ppid=19300 vsize=14157512 memory=508 CPUtime=0.79 cores=0,2,4,6
/proc/19303/task/19316/stat : 19316 (java) S 19300 19303 15138 0 -1 1077944384 3596 0 0 0 78 1 0 0 20 0 14 0 249899159 14497292288 53836 33554432000 4194304 4196468 140724911424704 140607033792752 140607858788994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
[pid=19303/tid=19317] ppid=19300 vsize=14157512 memory=924 CPUtime=0 cores=0,2,4,6
/proc/19303/task/19317/stat : 19317 (java) S 19300 19303 15138 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 249899159 14497292288 53836 33554432000 4194304 4196468 140724911424704 140607032740448 140607858788053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19197952 140724911432777 140724911432969 140724911432969 140724911435727 0
Current children cumulated CPU time: 4.47 s
Current children cumulated vsize: 14157512 KiB
Current children cumulated memory: 215344 KiB
Child status: 0
Real time (s): 1.92627
CPU time (s): 4.49661
CPU user time (s): 4.39014
CPU system time (s): 0.106477
CPU usage (%): 233.437
Max. virtual memory (cumulated for all children) (KiB): 14157512
Max. memory (cumulated for all children) (KiB): 215344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.39014
system time used= 0.106477
maximum resident set size= 215744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28390
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2632
involuntary context switches= 22
# summary of solver processes directly reported to runsolver:
# pid: 19303
# total CPU time (s): 4.49661
# total CPU user time (s): 4.39014
# total CPU system time (s): 0.106477
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028897 second user time and 0.063758 second system time
The end