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 (7682 MiB free)
memory of node 1: 16384 MiB (10802 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294481-1532474434/watcher-4294481-1532474434 -o /tmp/evaluation-result-4294481-1532474434/solver-4294481-1532474434 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532466433-19937 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=689135499 HOME/instance-4294481-1532474434.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22286, runsolver pid=22283
Current StackSize limit: 8192 KiB
[startup+0.100131 s]*
/proc/loadavg: 1.45 1.57 1.49 3/210 22343
/proc/meminfo: memFree=18920044/32770624 swapFree=67108860/67108860
[pid=22286] ppid=22283 vsize=9972712 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/22286/stat : 22286 (java) S 22283 22286 19905 0 -1 1077944320 4443 13153 0 0 1 1 4 3 20 0 6 0 65006602 10212057088 4269 33554432000 4194304 4196468 140726036232080 140726036214624 140075703549687 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
/proc/22286/statm: 2493178 4269 1934 1 0 2481616 0
[pid=22286/tid=22339] ppid=22283 vsize=9972712 memory=4628411388058700198 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22339/stat : 22339 (java) R 22283 22286 19905 0 -1 4202560 2250 13153 0 0 0 0 4 3 20 0 6 0 65006611 10212057088 4269 33554432000 4194304 4196468 140726036232080 140075675386448 140075688672624 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22340] ppid=22283 vsize=9972712 memory=5793854978692610489 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22340/stat : 22340 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 6 0 65006611 10212057088 4269 33554432000 4194304 4196468 140726036232080 140075707791760 140075703559893 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22341] ppid=22283 vsize=9972712 memory=139727682717312 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22341/stat : 22341 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 6 0 65006611 10212057088 4269 33554432000 4194304 4196468 140726036232080 140075596065040 140075703559893 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22342] ppid=22283 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22342/stat : 22342 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 6 0 65006611 10212057088 4269 33554432000 4194304 4196468 140726036232080 140075595012752 140075703559893 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22343] ppid=22283 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22343/stat : 22343 (java) S 22283 22286 19905 0 -1 1077944384 2 13153 0 0 0 0 4 3 20 0 6 0 65006611 10212057088 4335 33554432000 4194304 4196468 140726036232080 140075274856976 140075703559893 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.209926 s]*
/proc/loadavg: 1.45 1.57 1.49 3/219 22352
/proc/meminfo: memFree=18899208/32770624 swapFree=67108860/67108860
[pid=22286] ppid=22283 vsize=10818856 memory=40348 CPUtime=0.25 cores=1,3,5,7
/proc/22286/stat : 22286 (java) S 22283 22286 19905 0 -1 1077944320 8514 13153 0 0 16 2 4 3 20 0 15 0 65006602 11078508544 10087 33554432000 4194304 4196468 140726036232080 140726036214624 140075703549687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
/proc/22286/statm: 2704714 10087 2933 1 0 2667149 0
[pid=22286/tid=22339] ppid=22283 vsize=10818856 memory=-8540663193526752614 CPUtime=0.18 cores=1,3,5,7
/proc/22286/task/22339/stat : 22339 (java) R 22283 22286 19905 0 -1 4202560 5039 13153 0 0 10 1 4 3 20 0 15 0 65006611 11078508544 10087 33554432000 4194304 4196468 140726036232080 140075675347344 140075685113216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22340] ppid=22283 vsize=10818856 memory=4211973453887507850 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22340/stat : 22340 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 15 0 65006611 11078508544 10087 33554432000 4194304 4196468 140726036232080 140075707791760 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22341] ppid=22283 vsize=10818856 memory=139727682717312 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22341/stat : 22341 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 15 0 65006611 11078508544 10087 33554432000 4194304 4196468 140726036232080 140075596065040 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22342] ppid=22283 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22342/stat : 22342 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 15 0 65006611 11078508544 10087 33554432000 4194304 4196468 140726036232080 140075595012752 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22343] ppid=22283 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22343/stat : 22343 (java) S 22283 22286 19905 0 -1 1077944384 2 13153 0 0 0 0 4 3 20 0 15 0 65006611 11078508544 10087 33554432000 4194304 4196468 140726036232080 140075274856976 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22344] ppid=22283 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22344/stat : 22344 (java) S 22283 22286 19905 0 -1 1077944384 2 13153 0 0 0 0 4 3 20 0 15 0 65006613 11078508544 10087 33554432000 4194304 4196468 140726036232080 140075163060848 140075703560834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22345] ppid=22283 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22345/stat : 22345 (java) S 22283 22286 19905 0 -1 1077944384 33 13153 0 0 0 0 4 3 20 0 15 0 65006613 11078508544 10087 33554432000 4194304 4196468 140726036232080 140075162006816 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22346] ppid=22283 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22346/stat : 22346 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 15 0 65006613 11078508544 10087 33554432000 4194304 4196468 140726036232080 140074586990192 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22347] ppid=22283 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22347/stat : 22347 (java) S 22283 22286 19905 0 -1 1077944384 3 13153 0 0 0 0 4 3 20 0 15 0 65006616 11078508544 10087 33554432000 4194304 4196468 140726036232080 140074279590480 140075703568283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22348] ppid=22283 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22286/task/22348/stat : 22348 (java) S 22283 22286 19905 0 -1 1077944384 361 13153 0 0 1 0 4 3 20 0 15 0 65006616 11078508544 10087 33554432000 4194304 4196468 140726036232080 140075128449136 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22349] ppid=22283 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22349/stat : 22349 (java) S 22283 22286 19905 0 -1 1077944384 247 13153 0 0 0 0 4 3 20 0 15 0 65006616 11078508544 10087 33554432000 4194304 4196468 140726036232080 140075127396336 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22350] ppid=22283 vsize=10818856 memory=139727682717312 CPUtime=0.1 cores=1,3,5,7
/proc/22286/task/22350/stat : 22350 (java) S 22283 22286 19905 0 -1 1077944384 631 13153 0 0 3 0 4 3 20 0 15 0 65006616 11078508544 10087 33554432000 4194304 4196468 140726036232080 140075126344048 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22351] ppid=22283 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22351/stat : 22351 (java) S 22283 22286 19905 0 -1 1077944384 3 13153 0 0 0 0 4 3 20 0 15 0 65006616 11078508544 10087 33554432000 4194304 4196468 140726036232080 140074246031840 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22352] ppid=22283 vsize=10818856 memory=139727682717312 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22352/stat : 22352 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 15 0 65006617 11078508544 10087 33554432000 4194304 4196468 140726036232080 140075125291952 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 40348 KiB
[startup+0.310456 s]*
/proc/loadavg: 1.45 1.57 1.49 3/219 22352
/proc/meminfo: memFree=18889656/32770624 swapFree=67108860/67108860
[pid=22286] ppid=22283 vsize=10819352 memory=51688 CPUtime=0.38 cores=1,3,5,7
/proc/22286/stat : 22286 (java) S 22283 22286 19905 0 -1 1077944320 10560 13153 0 0 28 3 4 3 20 0 15 0 65006602 11079016448 12922 33554432000 4194304 4196468 140726036232080 140726036214624 140075703549687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
/proc/22286/statm: 2704838 12922 3064 1 0 2667149 0
[pid=22286/tid=22339] ppid=22283 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/22286/task/22339/stat : 22339 (java) R 22283 22286 19905 0 -1 4202560 7076 13153 0 0 20 2 4 3 20 0 15 0 65006611 11079016448 12922 33554432000 4194304 4196468 140726036232080 140075675361696 140075686736525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22340] ppid=22283 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22340/stat : 22340 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 15 0 65006611 11079016448 12922 33554432000 4194304 4196468 140726036232080 140075707791760 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22341] ppid=22283 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22341/stat : 22341 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 15 0 65006611 11079016448 12922 33554432000 4194304 4196468 140726036232080 140075596065040 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22342] ppid=22283 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22342/stat : 22342 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 15 0 65006611 11079016448 12922 33554432000 4194304 4196468 140726036232080 140075595012752 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22343] ppid=22283 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22343/stat : 22343 (java) S 22283 22286 19905 0 -1 1077944384 2 13153 0 0 0 0 4 3 20 0 15 0 65006611 11079016448 12922 33554432000 4194304 4196468 140726036232080 140075274856976 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22344] ppid=22283 vsize=10819352 memory=139727682717311 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22344/stat : 22344 (java) S 22283 22286 19905 0 -1 1077944384 2 13153 0 0 0 0 4 3 20 0 15 0 65006613 11079016448 12922 33554432000 4194304 4196468 140726036232080 140075163060848 140075703560834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22345] ppid=22283 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22345/stat : 22345 (java) S 22283 22286 19905 0 -1 1077944384 33 13153 0 0 0 0 4 3 20 0 15 0 65006613 11079016448 12922 33554432000 4194304 4196468 140726036232080 140075162006816 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22346] ppid=22283 vsize=10819352 memory=139727682717312 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22346/stat : 22346 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 15 0 65006613 11079016448 12922 33554432000 4194304 4196468 140726036232080 140074586990192 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22347] ppid=22283 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22347/stat : 22347 (java) S 22283 22286 19905 0 -1 1077944384 3 13153 0 0 0 0 4 3 20 0 15 0 65006616 11079016448 12922 33554432000 4194304 4196468 140726036232080 140074279590480 140075703568283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22348] ppid=22283 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22286/task/22348/stat : 22348 (java) S 22283 22286 19905 0 -1 1077944384 361 13153 0 0 1 0 4 3 20 0 15 0 65006616 11079016448 12922 33554432000 4194304 4196468 140726036232080 140075128449136 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22349] ppid=22283 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22286/task/22349/stat : 22349 (java) S 22283 22286 19905 0 -1 1077944384 250 13153 0 0 1 0 4 3 20 0 15 0 65006616 11079016448 12922 33554432000 4194304 4196468 140726036232080 140075127396336 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22350] ppid=22283 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22286/task/22350/stat : 22350 (java) R 22283 22286 19905 0 -1 4202560 638 13153 0 0 5 0 4 3 20 0 15 0 65006616 11079016448 12922 33554432000 4194304 4196468 140726036232080 140075126344048 140075683520872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22351] ppid=22283 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22351/stat : 22351 (java) S 22283 22286 19905 0 -1 1077944384 3 13153 0 0 0 0 4 3 20 0 15 0 65006616 11079016448 12922 33554432000 4194304 4196468 140726036232080 140074246031840 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22352] ppid=22283 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22352/stat : 22352 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 15 0 65006617 11079016448 12922 33554432000 4194304 4196468 140726036232080 140075125291952 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51688 KiB
[startup+0.700759 s]
/proc/loadavg: 1.45 1.57 1.49 3/219 22352
/proc/meminfo: memFree=18878988/32770624 swapFree=67108860/67108860
[pid=22286] ppid=22283 vsize=10819352 memory=84744 CPUtime=0.98 cores=1,3,5,7
/proc/22286/stat : 22286 (java) S 22283 22286 19905 0 -1 1077944320 16844 13153 0 0 87 4 4 3 20 0 15 0 65006602 11079016448 21186 33554432000 4194304 4196468 140726036232080 140726036214624 140075703549687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
/proc/22286/statm: 2704838 21186 3238 1 0 2667149 0
[pid=22286/tid=22339] ppid=22283 vsize=10819352 memory=19980 CPUtime=0.66 cores=1,3,5,7
/proc/22286/task/22339/stat : 22339 (java) R 22283 22286 19905 0 -1 4202560 12401 13153 0 0 56 3 4 3 20 0 15 0 65006611 11079016448 21186 33554432000 4194304 4196468 140726036232080 140075675370512 140075703563536 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22340] ppid=22283 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22340/stat : 22340 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 15 0 65006611 11079016448 21186 33554432000 4194304 4196468 140726036232080 140075707791760 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22341] ppid=22283 vsize=10819352 memory=288230583132496608 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22341/stat : 22341 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 15 0 65006611 11079016448 21186 33554432000 4194304 4196468 140726036232080 140075596065040 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22342] ppid=22283 vsize=10819352 memory=288287775051220497 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22342/stat : 22342 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 15 0 65006611 11079016448 21186 33554432000 4194304 4196468 140726036232080 140075595012752 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22343] ppid=22283 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22343/stat : 22343 (java) S 22283 22286 19905 0 -1 1077944384 2 13153 0 0 0 0 4 3 20 0 15 0 65006611 11079016448 21186 33554432000 4194304 4196468 140726036232080 140075274856976 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22344] ppid=22283 vsize=10819352 memory=139727567364608 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22344/stat : 22344 (java) S 22283 22286 19905 0 -1 1077944384 5 13153 0 0 0 0 4 3 20 0 15 0 65006613 11079016448 21186 33554432000 4194304 4196468 140726036232080 140075163060848 140075703560834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22345] ppid=22283 vsize=10819352 memory=139728171041762 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22345/stat : 22345 (java) S 22283 22286 19905 0 -1 1077944384 33 13153 0 0 0 0 4 3 20 0 15 0 65006613 11079016448 21186 33554432000 4194304 4196468 140726036232080 140075162006816 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22346] ppid=22283 vsize=10819352 memory=956 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22346/stat : 22346 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 15 0 65006613 11079016448 21186 33554432000 4194304 4196468 140726036232080 140074586990192 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22347] ppid=22283 vsize=10819352 memory=7305218370954160725 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22347/stat : 22347 (java) S 22283 22286 19905 0 -1 1077944384 3 13153 0 0 0 0 4 3 20 0 15 0 65006616 11079016448 21186 33554432000 4194304 4196468 140726036232080 140074279590480 140075703568283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22348] ppid=22283 vsize=10819352 memory=7452169109558028137 CPUtime=0.16 cores=1,3,5,7
/proc/22286/task/22348/stat : 22348 (java) S 22283 22286 19905 0 -1 1077944384 963 13153 0 0 9 0 4 3 20 0 15 0 65006616 11079016448 21186 33554432000 4194304 4196468 140726036232080 140075128449136 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22349] ppid=22283 vsize=10819352 memory=6935652554413002832 CPUtime=0.14 cores=1,3,5,7
/proc/22286/task/22349/stat : 22349 (java) S 22283 22286 19905 0 -1 1077944384 538 13153 0 0 7 0 4 3 20 0 15 0 65006616 11079016448 21186 33554432000 4194304 4196468 140726036232080 140075127396336 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22350] ppid=22283 vsize=10819352 memory=5450909908396308010 CPUtime=0.19 cores=1,3,5,7
/proc/22286/task/22350/stat : 22350 (java) S 22283 22286 19905 0 -1 1077944384 703 13153 0 0 12 0 4 3 20 0 15 0 65006616 11079016448 21186 33554432000 4194304 4196468 140726036232080 140075126344048 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22351] ppid=22283 vsize=10819352 memory=1404238533875048054 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22351/stat : 22351 (java) S 22283 22286 19905 0 -1 1077944384 3 13153 0 0 0 0 4 3 20 0 15 0 65006616 11079016448 21186 33554432000 4194304 4196468 140726036232080 140074246031840 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22352] ppid=22283 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22352/stat : 22352 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 15 0 65006617 11079016448 21186 33554432000 4194304 4196468 140726036232080 140075125291952 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84744 KiB
[startup+1.50105 s]
/proc/loadavg: 1.45 1.57 1.49 3/219 22352
/proc/meminfo: memFree=18832036/32770624 swapFree=67108860/67108860
[pid=22286] ppid=22283 vsize=10828108 memory=229688 CPUtime=3.07 cores=1,3,5,7
/proc/22286/stat : 22286 (java) S 22283 22286 19905 0 -1 1077944320 22603 13153 0 0 291 9 4 3 20 0 15 0 65006602 11087982592 57422 33554432000 4194304 4196468 140726036232080 140726036214624 140075703549687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
/proc/22286/statm: 2707027 57422 3478 1 0 2668685 0
[pid=22286/tid=22339] ppid=22283 vsize=10828108 memory=160748 CPUtime=1.44 cores=1,3,5,7
/proc/22286/task/22339/stat : 22339 (java) R 22283 22286 19905 0 -1 4202560 15184 13153 0 0 132 5 4 3 20 0 15 0 65006611 11087982592 57422 33554432000 4194304 4196468 140726036232080 140075675385048 140075279040967 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22340] ppid=22283 vsize=10828108 memory=-3117775541953847913 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22340/stat : 22340 (java) S 22283 22286 19905 0 -1 1077944384 83 13153 0 0 0 0 4 3 20 0 15 0 65006611 11087982592 57422 33554432000 4194304 4196468 140726036232080 140075707791760 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22341] ppid=22283 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22341/stat : 22341 (java) S 22283 22286 19905 0 -1 1077944384 39 13153 0 0 0 0 4 3 20 0 15 0 65006611 11087982592 57422 33554432000 4194304 4196468 140726036232080 140075596065040 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22342] ppid=22283 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22342/stat : 22342 (java) S 22283 22286 19905 0 -1 1077944384 15 13153 0 0 0 0 4 3 20 0 15 0 65006611 11087982592 57422 33554432000 4194304 4196468 140726036232080 140075595012752 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22343] ppid=22283 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22343/stat : 22343 (java) S 22283 22286 19905 0 -1 1077944384 215 13153 0 0 0 0 4 3 20 0 15 0 65006611 11087982592 57422 33554432000 4194304 4196468 140726036232080 140075274856976 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22344] ppid=22283 vsize=10828108 memory=235694316391783 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22344/stat : 22344 (java) S 22283 22286 19905 0 -1 1077944384 92 13153 0 0 0 0 4 3 20 0 15 0 65006613 11087982592 57422 33554432000 4194304 4196468 140726036232080 140075163060848 140075703560834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22345] ppid=22283 vsize=10828108 memory=278973 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22345/stat : 22345 (java) S 22283 22286 19905 0 -1 1077944384 33 13153 0 0 0 0 4 3 20 0 15 0 65006613 11087982592 57422 33554432000 4194304 4196468 140726036232080 140075162006816 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22346] ppid=22283 vsize=10828108 memory=6935650355271196736 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22346/stat : 22346 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 15 0 65006613 11087982592 57422 33554432000 4194304 4196468 140726036232080 140074586990208 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22347] ppid=22283 vsize=10828108 memory=6935649255759568960 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22347/stat : 22347 (java) S 22283 22286 19905 0 -1 1077944384 3 13153 0 0 0 0 4 3 20 0 15 0 65006616 11087982592 57422 33554432000 4194304 4196468 140726036232080 140074279590480 140075703568283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22348] ppid=22283 vsize=10828108 memory=279455134122224 CPUtime=0.64 cores=1,3,5,7
/proc/22286/task/22348/stat : 22348 (java) R 22283 22286 19905 0 -1 4202560 2090 13153 0 0 57 0 4 3 20 0 15 0 65006616 11087982592 57422 33554432000 4194304 4196468 140726036232080 140075128440416 140075687046475 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22349] ppid=22283 vsize=10828108 memory=4639059873309409381 CPUtime=0.64 cores=1,3,5,7
/proc/22286/task/22349/stat : 22349 (java) R 22283 22286 19905 0 -1 4202560 1280 13153 0 0 57 0 4 3 20 0 15 0 65006616 11087982592 57422 33554432000 4194304 4196468 140726036232080 140075127384336 140075681575566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22350] ppid=22283 vsize=10828108 memory=-6305709490588376960 CPUtime=0.47 cores=1,3,5,7
/proc/22286/task/22350/stat : 22350 (java) S 22283 22286 19905 0 -1 1077944384 1377 13153 0 0 40 0 4 3 20 0 15 0 65006616 11087982592 57422 33554432000 4194304 4196468 140726036232080 140075126344048 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22351] ppid=22283 vsize=10828108 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22351/stat : 22351 (java) S 22283 22286 19905 0 -1 1077944384 3 13153 0 0 0 0 4 3 20 0 15 0 65006616 11087982592 57422 33554432000 4194304 4196468 140726036232080 140074246031840 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22352] ppid=22283 vsize=10828108 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22352/stat : 22352 (java) S 22283 22286 19905 0 -1 1077944384 1 13153 0 0 0 0 4 3 20 0 15 0 65006617 11087982592 57422 33554432000 4194304 4196468 140726036232080 140075125291952 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
/proc/22286/task/22339/stat : 22339 (java) R 22283 22286 19905 0 -1 4202560 126011 13153 0 0 235709 71 4 3 20 0 15 0 65006611 11178180608 674899 33554432000 4194304 4196468 140726036232080 140075675383440 140075281716974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22340] ppid=22283 vsize=10916192 memory=2699596 CPUtime=13.04 cores=1,3,5,7
/proc/22286/task/22340/stat : 22340 (java) S 22283 22286 19905 0 -1 1077944384 29712 13153 0 0 1255 42 4 3 20 0 15 0 65006611 11178180608 674899 33554432000 4194304 4196468 140726036232080 140075707791760 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22341] ppid=22283 vsize=10916192 memory=2699596 CPUtime=13.04 cores=1,3,5,7
/proc/22286/task/22341/stat : 22341 (java) S 22283 22286 19905 0 -1 1077944384 40402 13153 0 0 1257 40 4 3 20 0 15 0 65006611 11178180608 674899 33554432000 4194304 4196468 140726036232080 140075596065040 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22342] ppid=22283 vsize=10916192 memory=279455134582912 CPUtime=13.07 cores=1,3,5,7
/proc/22286/task/22342/stat : 22342 (java) S 22283 22286 19905 0 -1 1077944384 36766 13153 0 0 1258 42 4 3 20 0 15 0 65006611 11178180608 674899 33554432000 4194304 4196468 140726036232080 140075595012752 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22343] ppid=22283 vsize=10916192 memory=2699596 CPUtime=13.04 cores=1,3,5,7
/proc/22286/task/22343/stat : 22343 (java) S 22283 22286 19905 0 -1 1077944384 52052 13153 0 0 1253 44 4 3 20 0 15 0 65006611 11178180608 674899 33554432000 4194304 4196468 140726036232080 140075274856976 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22344] ppid=22283 vsize=10916192 memory=2699596 CPUtime=8.04 cores=1,3,5,7
/proc/22286/task/22344/stat : 22344 (java) S 22283 22286 19905 0 -1 1077944384 32829 13153 0 0 754 43 4 3 20 0 15 0 65006613 11178180608 674899 33554432000 4194304 4196468 140726036232080 140075163060848 140075703560834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22345] ppid=22283 vsize=10916192 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22345/stat : 22345 (java) S 22283 22286 19905 0 -1 1077944384 55 13153 0 0 0 0 4 3 20 0 15 0 65006613 11178180608 674899 33554432000 4194304 4196468 140726036232080 140075162006880 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22346] ppid=22283 vsize=10916192 memory=2699596 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22346/stat : 22346 (java) S 22283 22286 19905 0 -1 1077944384 11 13153 0 0 0 0 4 3 20 0 15 0 65006613 11178180608 674899 33554432000 4194304 4196468 140726036232080 140074586990208 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22347] ppid=22283 vsize=10916192 memory=6083073847998109799 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22347/stat : 22347 (java) S 22283 22286 19905 0 -1 1077944384 3 13153 0 0 0 0 4 3 20 0 15 0 65006616 11178180608 674899 33554432000 4194304 4196468 140726036232080 140074279590480 140075703568283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22348] ppid=22283 vsize=10916192 memory=2699596 CPUtime=9.74 cores=1,3,5,7
/proc/22286/task/22348/stat : 22348 (java) S 22283 22286 19905 0 -1 1077944384 30753 13153 0 0 962 5 4 3 20 0 15 0 65006616 11178180608 674899 33554432000 4194304 4196468 140726036232080 140075128449136 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22349] ppid=22283 vsize=10916192 memory=2699596 CPUtime=9.78 cores=1,3,5,7
/proc/22286/task/22349/stat : 22349 (java) S 22283 22286 19905 0 -1 1077944384 28414 13153 0 0 966 5 4 3 20 0 15 0 65006616 11178180608 674899 33554432000 4194304 4196468 140726036232080 140075127396336 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22350] ppid=22283 vsize=10916192 memory=279455135299680 CPUtime=2.9 cores=1,3,5,7
/proc/22286/task/22350/stat : 22350 (java) S 22283 22286 19905 0 -1 1077944384 27737 13153 0 0 276 7 4 3 20 0 15 0 65006616 11178180608 674899 33554432000 4194304 4196468 140726036232080 140075126344048 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22351] ppid=22283 vsize=10916192 memory=796 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22351/stat : 22351 (java) S 22283 22286 19905 0 -1 1077944384 3 13153 0 0 0 0 4 3 20 0 15 0 65006616 11178180608 674899 33554432000 4194304 4196468 140726036232080 140074246031840 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22352] ppid=22283 vsize=10916192 memory=2699596 CPUtime=1.44 cores=1,3,5,7
/proc/22286/task/22352/stat : 22352 (java) S 22283 22286 19905 0 -1 1077944384 3500 13153 0 0 62 75 4 3 20 0 15 0 65006617 11178180608 674899 33554432000 4194304 4196468 140726036232080 140075125291952 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
Current children cumulated CPU time: 2441.43 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2699596 KiB
[startup+2442.3 s]
/proc/loadavg: 1.46 1.41 1.41 3/220 22583
/proc/meminfo: memFree=17215404/32770624 swapFree=67108860/67108860
[pid=22286] ppid=22283 vsize=10916192 memory=2701692 CPUtime=2502.52 cores=1,3,5,7
/proc/22286/stat : 22286 (java) S 22283 22286 19905 0 -1 1077944320 419091 13153 0 0 249903 342 4 3 20 0 15 0 65006602 11178180608 675423 33554432000 4194304 4196468 140726036232080 140726036214624 140075703549687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
/proc/22286/statm: 2729048 675423 3537 1 0 2690701 0
[pid=22286/tid=22339] ppid=22283 vsize=10916192 memory=2701692 CPUtime=2417.19 cores=1,3,5,7
/proc/22286/task/22339/stat : 22339 (java) R 22283 22286 19905 0 -1 4202560 128303 13153 0 0 241640 72 4 3 20 0 15 0 65006611 11178180608 675423 33554432000 4194304 4196468 140726036232080 140075675384128 140075296003391 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22340] ppid=22283 vsize=10916192 memory=2701692 CPUtime=13.42 cores=1,3,5,7
/proc/22286/task/22340/stat : 22340 (java) S 22283 22286 19905 0 -1 1077944384 32459 13153 0 0 1292 43 4 3 20 0 15 0 65006611 11178180608 675423 33554432000 4194304 4196468 140726036232080 140075707791760 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22341] ppid=22283 vsize=10916192 memory=2701692 CPUtime=13.42 cores=1,3,5,7
/proc/22286/task/22341/stat : 22341 (java) S 22283 22286 19905 0 -1 1077944384 40894 13153 0 0 1294 41 4 3 20 0 15 0 65006611 11178180608 675423 33554432000 4194304 4196468 140726036232080 140075596065040 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22342] ppid=22283 vsize=10916192 memory=2699608 CPUtime=13.45 cores=1,3,5,7
/proc/22286/task/22342/stat : 22342 (java) S 22283 22286 19905 0 -1 1077944384 37231 13153 0 0 1295 43 4 3 20 0 15 0 65006611 11178180608 675423 33554432000 4194304 4196468 140726036232080 140075595012752 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22343] ppid=22283 vsize=10916192 memory=2699608 CPUtime=13.42 cores=1,3,5,7
/proc/22286/task/22343/stat : 22343 (java) S 22283 22286 19905 0 -1 1077944384 53668 13153 0 0 1290 45 4 3 20 0 15 0 65006611 11178180608 675423 33554432000 4194304 4196468 140726036232080 140075274856976 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22344] ppid=22283 vsize=10916192 memory=2699632 CPUtime=8.26 cores=1,3,5,7
/proc/22286/task/22344/stat : 22344 (java) S 22283 22286 19905 0 -1 1077944384 33802 13153 0 0 775 44 4 3 20 0 15 0 65006613 11178180608 675423 33554432000 4194304 4196468 140726036232080 140075163060848 140075703560834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22345] ppid=22283 vsize=10916192 memory=2701692 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22345/stat : 22345 (java) S 22283 22286 19905 0 -1 1077944384 55 13153 0 0 0 0 4 3 20 0 15 0 65006613 11178180608 675423 33554432000 4194304 4196468 140726036232080 140075162006880 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22346] ppid=22283 vsize=10916192 memory=2701692 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22346/stat : 22346 (java) S 22283 22286 19905 0 -1 1077944384 11 13153 0 0 0 0 4 3 20 0 15 0 65006613 11178180608 675423 33554432000 4194304 4196468 140726036232080 140074586990208 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22347] ppid=22283 vsize=10916192 memory=2699632 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22347/stat : 22347 (java) S 22283 22286 19905 0 -1 1077944384 3 13153 0 0 0 0 4 3 20 0 15 0 65006616 11178180608 675423 33554432000 4194304 4196468 140726036232080 140074279590480 140075703568283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22348] ppid=22283 vsize=10916192 memory=4036 CPUtime=9.74 cores=1,3,5,7
/proc/22286/task/22348/stat : 22348 (java) S 22283 22286 19905 0 -1 1077944384 30761 13153 0 0 962 5 4 3 20 0 15 0 65006616 11178180608 675423 33554432000 4194304 4196468 140726036232080 140075128449136 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22349] ppid=22283 vsize=10916192 memory=6791534058613427641 CPUtime=9.78 cores=1,3,5,7
/proc/22286/task/22349/stat : 22349 (java) S 22283 22286 19905 0 -1 1077944384 28421 13153 0 0 966 5 4 3 20 0 15 0 65006616 11178180608 675423 33554432000 4194304 4196468 140726036232080 140075127396336 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22350] ppid=22283 vsize=10916192 memory=7 CPUtime=2.9 cores=1,3,5,7
/proc/22286/task/22350/stat : 22350 (java) S 22283 22286 19905 0 -1 1077944384 27746 13153 0 0 276 7 4 3 20 0 15 0 65006616 11178180608 675423 33554432000 4194304 4196468 140726036232080 140075126344048 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22351] ppid=22283 vsize=10916192 memory=2701692 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22351/stat : 22351 (java) S 22283 22286 19905 0 -1 1077944384 3 13153 0 0 0 0 4 3 20 0 15 0 65006616 11178180608 675423 33554432000 4194304 4196468 140726036232080 140074246031840 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22352] ppid=22283 vsize=10916192 memory=5788 CPUtime=1.48 cores=1,3,5,7
/proc/22286/task/22352/stat : 22352 (java) S 22283 22286 19905 0 -1 1077944384 3546 13153 0 0 64 77 4 3 20 0 15 0 65006617 11178180608 675423 33554432000 4194304 4196468 140726036232080 140075125291952 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
Current children cumulated CPU time: 2502.52 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2701692 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2459.5 s]
/proc/loadavg: 1.50 1.43 1.41 3/220 22583
/proc/meminfo: memFree=17216356/32770624 swapFree=67108860/67108860
[pid=22286] ppid=22283 vsize=10916192 memory=2701704 CPUtime=2520.01 cores=1,3,5,7
/proc/22286/stat : 22286 (java) S 22283 22286 19905 0 -1 1077944320 419989 13153 0 0 251651 343 4 3 20 0 15 0 65006602 11178180608 675426 33554432000 4194304 4196468 140726036232080 140726036214624 140075703549687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
/proc/22286/statm: 2729048 675426 3537 1 0 2690701 0
[pid=22286/tid=22339] ppid=22283 vsize=10916192 memory=2699496 CPUtime=2434.2 cores=1,3,5,7
/proc/22286/task/22339/stat : 22339 (java) R 22283 22286 19905 0 -1 4202560 128624 13153 0 0 243341 72 4 3 20 0 15 0 65006611 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075675384416 140075275976014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22340] ppid=22283 vsize=10916192 memory=2701704 CPUtime=13.52 cores=1,3,5,7
/proc/22286/task/22340/stat : 22340 (java) S 22283 22286 19905 0 -1 1077944384 32552 13153 0 0 1302 43 4 3 20 0 15 0 65006611 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075707791760 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22341] ppid=22283 vsize=10916192 memory=2701704 CPUtime=13.52 cores=1,3,5,7
/proc/22286/task/22341/stat : 22341 (java) S 22283 22286 19905 0 -1 1077944384 41235 13153 0 0 1304 41 4 3 20 0 15 0 65006611 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075596065040 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22342] ppid=22283 vsize=10916192 memory=2701704 CPUtime=13.55 cores=1,3,5,7
/proc/22286/task/22342/stat : 22342 (java) S 22283 22286 19905 0 -1 1077944384 37243 13153 0 0 1304 44 4 3 20 0 15 0 65006611 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075595012752 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22343] ppid=22283 vsize=10916192 memory=2701704 CPUtime=13.53 cores=1,3,5,7
/proc/22286/task/22343/stat : 22343 (java) S 22283 22286 19905 0 -1 1077944384 53673 13153 0 0 1301 45 4 3 20 0 15 0 65006611 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075274856976 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22344] ppid=22283 vsize=10916192 memory=2701704 CPUtime=8.32 cores=1,3,5,7
/proc/22286/task/22344/stat : 22344 (java) S 22283 22286 19905 0 -1 1077944384 33915 13153 0 0 781 44 4 3 20 0 15 0 65006613 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075163060848 140075703560834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22345] ppid=22283 vsize=10916192 memory=20036 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22345/stat : 22345 (java) S 22283 22286 19905 0 -1 1077944384 55 13153 0 0 0 0 4 3 20 0 15 0 65006613 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075162006880 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22346] ppid=22283 vsize=10916192 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22346/stat : 22346 (java) S 22283 22286 19905 0 -1 1077944384 11 13153 0 0 0 0 4 3 20 0 15 0 65006613 11178180608 675426 33554432000 4194304 4196468 140726036232080 140074586990208 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22347] ppid=22283 vsize=10916192 memory=2324 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22347/stat : 22347 (java) S 22283 22286 19905 0 -1 1077944384 3 13153 0 0 0 0 4 3 20 0 15 0 65006616 11178180608 675426 33554432000 4194304 4196468 140726036232080 140074279590480 140075703568283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22348] ppid=22283 vsize=10916192 memory=1204 CPUtime=9.74 cores=1,3,5,7
/proc/22286/task/22348/stat : 22348 (java) S 22283 22286 19905 0 -1 1077944384 30761 13153 0 0 962 5 4 3 20 0 15 0 65006616 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075128449136 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22349] ppid=22283 vsize=10916192 memory=8384 CPUtime=9.78 cores=1,3,5,7
/proc/22286/task/22349/stat : 22349 (java) S 22283 22286 19905 0 -1 1077944384 28421 13153 0 0 966 5 4 3 20 0 15 0 65006616 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075127396336 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22350] ppid=22283 vsize=10916192 memory=2699596 CPUtime=2.9 cores=1,3,5,7
/proc/22286/task/22350/stat : 22350 (java) S 22283 22286 19905 0 -1 1077944384 27746 13153 0 0 276 7 4 3 20 0 15 0 65006616 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075126344048 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22351] ppid=22283 vsize=10916192 memory=2699608 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22351/stat : 22351 (java) S 22283 22286 19905 0 -1 1077944384 3 13153 0 0 0 0 4 3 20 0 15 0 65006616 11178180608 675426 33554432000 4194304 4196468 140726036232080 140074246031840 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22352] ppid=22283 vsize=10916192 memory=2701704 CPUtime=1.49 cores=1,3,5,7
/proc/22286/task/22352/stat : 22352 (java) S 22283 22286 19905 0 -1 1077944384 3559 13153 0 0 65 77 4 3 20 0 15 0 65006617 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075125291952 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2701704 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2459.54 s]
# the end of solver process 22286 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.59 s, system=3.50063 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2459.5 s]
/proc/loadavg: 1.50 1.43 1.41 3/220 22583
/proc/meminfo: memFree=17216356/32770624 swapFree=67108860/67108860
[pid=22286] ppid=22283 vsize=10916192 memory=2701704 CPUtime=2520.01 cores=1,3,5,7
/proc/22286/stat : 22286 (java) S 22283 22286 19905 0 -1 1077944320 419989 13153 0 0 251651 343 4 3 20 0 15 0 65006602 11178180608 675426 33554432000 4194304 4196468 140726036232080 140726036214624 140075703549687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
/proc/22286/statm: 2729048 675426 3537 1 0 2690701 0
[pid=22286/tid=22339] ppid=22283 vsize=10916192 memory=2699496 CPUtime=2434.2 cores=1,3,5,7
/proc/22286/task/22339/stat : 22339 (java) R 22283 22286 19905 0 -1 4202560 128624 13153 0 0 243341 72 4 3 20 0 15 0 65006611 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075675384416 140075275976014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22340] ppid=22283 vsize=10916192 memory=2701704 CPUtime=13.52 cores=1,3,5,7
/proc/22286/task/22340/stat : 22340 (java) S 22283 22286 19905 0 -1 1077944384 32552 13153 0 0 1302 43 4 3 20 0 15 0 65006611 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075707791760 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22341] ppid=22283 vsize=10916192 memory=2701704 CPUtime=13.52 cores=1,3,5,7
/proc/22286/task/22341/stat : 22341 (java) S 22283 22286 19905 0 -1 1077944384 41235 13153 0 0 1304 41 4 3 20 0 15 0 65006611 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075596065040 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22342] ppid=22283 vsize=10916192 memory=2701704 CPUtime=13.55 cores=1,3,5,7
/proc/22286/task/22342/stat : 22342 (java) S 22283 22286 19905 0 -1 1077944384 37243 13153 0 0 1304 44 4 3 20 0 15 0 65006611 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075595012752 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22343] ppid=22283 vsize=10916192 memory=2701704 CPUtime=13.53 cores=1,3,5,7
/proc/22286/task/22343/stat : 22343 (java) S 22283 22286 19905 0 -1 1077944384 53673 13153 0 0 1301 45 4 3 20 0 15 0 65006611 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075274856976 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22344] ppid=22283 vsize=10916192 memory=2701704 CPUtime=8.32 cores=1,3,5,7
/proc/22286/task/22344/stat : 22344 (java) S 22283 22286 19905 0 -1 1077944384 33915 13153 0 0 781 44 4 3 20 0 15 0 65006613 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075163060848 140075703560834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22345] ppid=22283 vsize=10916192 memory=20036 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22345/stat : 22345 (java) S 22283 22286 19905 0 -1 1077944384 55 13153 0 0 0 0 4 3 20 0 15 0 65006613 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075162006880 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22346] ppid=22283 vsize=10916192 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22346/stat : 22346 (java) S 22283 22286 19905 0 -1 1077944384 11 13153 0 0 0 0 4 3 20 0 15 0 65006613 11178180608 675426 33554432000 4194304 4196468 140726036232080 140074586990208 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22347] ppid=22283 vsize=10916192 memory=2324 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22347/stat : 22347 (java) S 22283 22286 19905 0 -1 1077944384 3 13153 0 0 0 0 4 3 20 0 15 0 65006616 11178180608 675426 33554432000 4194304 4196468 140726036232080 140074279590480 140075703568283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22348] ppid=22283 vsize=10916192 memory=1204 CPUtime=9.74 cores=1,3,5,7
/proc/22286/task/22348/stat : 22348 (java) S 22283 22286 19905 0 -1 1077944384 30761 13153 0 0 962 5 4 3 20 0 15 0 65006616 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075128449136 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22349] ppid=22283 vsize=10916192 memory=8384 CPUtime=9.78 cores=1,3,5,7
/proc/22286/task/22349/stat : 22349 (java) S 22283 22286 19905 0 -1 1077944384 28421 13153 0 0 966 5 4 3 20 0 15 0 65006616 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075127396336 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22350] ppid=22283 vsize=10916192 memory=2699596 CPUtime=2.9 cores=1,3,5,7
/proc/22286/task/22350/stat : 22350 (java) S 22283 22286 19905 0 -1 1077944384 27746 13153 0 0 276 7 4 3 20 0 15 0 65006616 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075126344048 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22351] ppid=22283 vsize=10916192 memory=2699608 CPUtime=0.07 cores=1,3,5,7
/proc/22286/task/22351/stat : 22351 (java) S 22283 22286 19905 0 -1 1077944384 3 13153 0 0 0 0 4 3 20 0 15 0 65006616 11178180608 675426 33554432000 4194304 4196468 140726036232080 140074246031840 140075703559893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
[pid=22286/tid=22352] ppid=22283 vsize=10916192 memory=2701704 CPUtime=1.49 cores=1,3,5,7
/proc/22286/task/22352/stat : 22352 (java) S 22283 22286 19905 0 -1 1077944384 3559 13153 0 0 65 77 4 3 20 0 15 0 65006617 11178180608 675426 33554432000 4194304 4196468 140726036232080 140075125291952 140075703560834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38846464 140726036236911 140726036239708 140726036239708 140726036242383 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2701704 KiB
Child status: 143
Real time (s): 2459.54
CPU time (s): 2520.09
CPU user time (s): 2516.59
CPU system time (s): 3.50063
CPU usage (%): 102.462
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 2769660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.59
system time used= 3.50063
maximum resident set size= 2770708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 438626
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 214570
involuntary context switches= 6407
# summary of solver processes directly reported to runsolver:
# pid: 22286
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.59
# total CPU system time (s): 3.50063
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3145 second user time and 23.1711 second system time
The end