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 (8828 MiB free)
memory of node 1: 16384 MiB (10573 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290146-1532212141/watcher-4290146-1532212141 -o /tmp/evaluation-result-4290146-1532212141/solver-4290146-1532212141 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532209747-25927 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290146-1532212141.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26325, runsolver pid=26322
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 2.08 2.05 2.01 3/216 26340
/proc/meminfo: memFree=19850756/32770624 swapFree=67108860/67108860
[pid=26325] ppid=26322 vsize=10659012 memory=30680 CPUtime=0.13 cores=0,2,4,6
/proc/26325/stat : 26325 (java) S 26322 26325 23392 0 -1 1077944320 6743 0 0 0 12 1 0 0 20 0 15 0 38777322 10914828288 7670 33554432000 4194304 4196468 140731770155456 140731770138000 140027071839991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
/proc/26325/statm: 2664753 7670 2844 1 0 2627263 0
[pid=26325/tid=26327] ppid=26322 vsize=10659012 memory=-8773748148830113149 CPUtime=0.08 cores=0,2,4,6
/proc/26325/task/26327/stat : 26327 (java) R 26322 26325 23392 0 -1 4202560 4573 0 0 0 8 0 0 0 20 0 15 0 38777322 10914828288 7670 33554432000 4194304 4196468 140731770155456 140027076061120 140027071851926 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26328] ppid=26322 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26328/stat : 26328 (java) S 26322 26325 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38777323 10914828288 7670 33554432000 4194304 4196468 140731770155456 140027008530960 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26329] ppid=26322 vsize=10659012 memory=140608147670656 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26329/stat : 26329 (java) S 26322 26325 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38777323 10914828288 7670 33554432000 4194304 4196468 140731770155456 140026677422736 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26330] ppid=26322 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26330/stat : 26330 (java) S 26322 26325 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38777323 10914828288 7670 33554432000 4194304 4196468 140731770155456 140026676369680 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26331] ppid=26322 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26331/stat : 26331 (java) S 26322 26325 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38777323 10914828288 7670 33554432000 4194304 4196468 140731770155456 140026675317136 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26332] ppid=26322 vsize=10659012 memory=140608147670656 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26332/stat : 26332 (java) S 26322 26325 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38777325 10914828288 7670 33554432000 4194304 4196468 140731770155456 140026429831920 140027071851138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26333] ppid=26322 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26333/stat : 26333 (java) S 26322 26325 23392 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38777325 10914828288 7670 33554432000 4194304 4196468 140731770155456 140026428778144 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26334] ppid=26322 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26334/stat : 26334 (java) S 26322 26325 23392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38777325 10914828288 7670 33554432000 4194304 4196468 140731770155456 140026427725040 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26335] ppid=26322 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26335/stat : 26335 (java) S 26322 26325 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38777328 10914828288 7670 33554432000 4194304 4196468 140731770155456 140026426673616 140027071858587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26336] ppid=26322 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26336/stat : 26336 (java) S 26322 26325 23392 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 38777328 10914828288 7670 33554432000 4194304 4196468 140731770155456 140026425620720 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26337] ppid=26322 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26337/stat : 26337 (java) S 26322 26325 23392 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 38777328 10914828288 7670 33554432000 4194304 4196468 140731770155456 140026424568176 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26338] ppid=26322 vsize=10659012 memory=140608147670656 CPUtime=0.02 cores=0,2,4,6
/proc/26325/task/26338/stat : 26338 (java) R 26322 26325 23392 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 15 0 38777328 10914828288 7670 33554432000 4194304 4196468 140731770155456 140026423515120 140027050514049 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26339] ppid=26322 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26339/stat : 26339 (java) S 26322 26325 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38777328 10914828288 7670 33554432000 4194304 4196468 140731770155456 140026422462816 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26340] ppid=26322 vsize=10659012 memory=140608147670656 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26340/stat : 26340 (java) S 26322 26325 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38777328 10914828288 7670 33554432000 4194304 4196468 140731770155456 140026421410864 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30680 KiB
[startup+0.210749 s]*
/proc/loadavg: 2.08 2.05 2.01 3/216 26340
/proc/meminfo: memFree=19840920/32770624 swapFree=67108860/67108860
[pid=26325] ppid=26322 vsize=10659012 memory=41884 CPUtime=0.33 cores=0,2,4,6
/proc/26325/stat : 26325 (java) S 26322 26325 23392 0 -1 1077944320 8080 0 0 0 32 1 0 0 20 0 15 0 38777322 10914828288 10471 33554432000 4194304 4196468 140731770155456 140731770138000 140027071839991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
/proc/26325/statm: 2664753 10471 3001 1 0 2627263 0
[pid=26325/tid=26327] ppid=26322 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/26325/task/26327/stat : 26327 (java) R 26322 26325 23392 0 -1 4202560 5032 0 0 0 19 1 0 0 20 0 15 0 38777322 10914828288 10471 33554432000 4194304 4196468 140731770155456 140027076076272 140027071861338 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26328] ppid=26322 vsize=10659012 memory=331 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26328/stat : 26328 (java) S 26322 26325 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38777323 10914828288 10471 33554432000 4194304 4196468 140731770155456 140027008530960 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26329] ppid=26322 vsize=10659012 memory=3762392541349398176 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26329/stat : 26329 (java) S 26322 26325 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38777323 10914828288 10471 33554432000 4194304 4196468 140731770155456 140026677422736 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26330] ppid=26322 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26330/stat : 26330 (java) S 26322 26325 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38777323 10914828288 10471 33554432000 4194304 4196468 140731770155456 140026676369680 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26331] ppid=26322 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26331/stat : 26331 (java) S 26322 26325 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38777323 10914828288 10471 33554432000 4194304 4196468 140731770155456 140026675317136 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26332] ppid=26322 vsize=10659012 memory=140608147670656 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26332/stat : 26332 (java) S 26322 26325 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38777325 10914828288 10471 33554432000 4194304 4196468 140731770155456 140026429831920 140027071851138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26333] ppid=26322 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26333/stat : 26333 (java) S 26322 26325 23392 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38777325 10914828288 10471 33554432000 4194304 4196468 140731770155456 140026428778144 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26334] ppid=26322 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26334/stat : 26334 (java) S 26322 26325 23392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38777325 10914828288 10471 33554432000 4194304 4196468 140731770155456 140026427725040 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26335] ppid=26322 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26335/stat : 26335 (java) S 26322 26325 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38777328 10914828288 10471 33554432000 4194304 4196468 140731770155456 140026426673616 140027071858587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26336] ppid=26322 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26325/task/26336/stat : 26336 (java) S 26322 26325 23392 0 -1 1077944384 647 0 0 0 2 0 0 0 20 0 15 0 38777328 10914828288 10471 33554432000 4194304 4196468 140731770155456 140026425620720 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26337] ppid=26322 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26325/task/26337/stat : 26337 (java) S 26322 26325 23392 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 15 0 38777328 10914828288 10471 33554432000 4194304 4196468 140731770155456 140026424568176 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26338] ppid=26322 vsize=10659012 memory=140608147670656 CPUtime=0.07 cores=0,2,4,6
/proc/26325/task/26338/stat : 26338 (java) R 26322 26325 23392 0 -1 4202560 681 0 0 0 7 0 0 0 20 0 15 0 38777328 10914828288 10471 33554432000 4194304 4196468 140731770155456 140026423515120 140027050487140 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26339] ppid=26322 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26339/stat : 26339 (java) S 26322 26325 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38777328 10914828288 10471 33554432000 4194304 4196468 140731770155456 140026422462816 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26340] ppid=26322 vsize=10659012 memory=140608147670656 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26340/stat : 26340 (java) S 26322 26325 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38777328 10914828288 10471 33554432000 4194304 4196468 140731770155456 140026421410864 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41884 KiB
[startup+0.310398 s]*
/proc/loadavg: 2.08 2.05 2.01 5/216 26340
/proc/meminfo: memFree=19833848/32770624 swapFree=67108860/67108860
[pid=26325] ppid=26322 vsize=10659088 memory=47696 CPUtime=0.53 cores=0,2,4,6
/proc/26325/stat : 26325 (java) S 26322 26325 23392 0 -1 1077944320 8954 0 0 0 51 2 0 0 20 0 15 0 38777322 10914906112 11924 33554432000 4194304 4196468 140731770155456 140731770138000 140027071839991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
/proc/26325/statm: 2664772 11924 3060 1 0 2627263 0
[pid=26325/tid=26327] ppid=26322 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/26325/task/26327/stat : 26327 (java) R 26322 26325 23392 0 -1 4202560 5661 0 0 0 29 1 0 0 20 0 15 0 38777322 10914906112 11924 33554432000 4194304 4196468 140731770155456 140027076070624 140027052665285 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26328] ppid=26322 vsize=10659088 memory=4294977825 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26328/stat : 26328 (java) S 26322 26325 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38777323 10914906112 11924 33554432000 4194304 4196468 140731770155456 140027008530960 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26329] ppid=26322 vsize=10659088 memory=4050059967547688608 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26329/stat : 26329 (java) S 26322 26325 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38777323 10914906112 11924 33554432000 4194304 4196468 140731770155456 140026677422736 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26330] ppid=26322 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26330/stat : 26330 (java) S 26322 26325 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38777323 10914906112 11924 33554432000 4194304 4196468 140731770155456 140026676369680 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26331] ppid=26322 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26331/stat : 26331 (java) S 26322 26325 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38777323 10914906112 11924 33554432000 4194304 4196468 140731770155456 140026675317136 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26332] ppid=26322 vsize=10659088 memory=140608147670656 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26332/stat : 26332 (java) S 26322 26325 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38777325 10914906112 11924 33554432000 4194304 4196468 140731770155456 140026429831920 140027071851138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26333] ppid=26322 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26333/stat : 26333 (java) S 26322 26325 23392 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38777325 10914906112 11924 33554432000 4194304 4196468 140731770155456 140026428778144 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26334] ppid=26322 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26334/stat : 26334 (java) S 26322 26325 23392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38777325 10914906112 11924 33554432000 4194304 4196468 140731770155456 140026427725040 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26335] ppid=26322 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26335/stat : 26335 (java) S 26322 26325 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38777328 10914906112 11924 33554432000 4194304 4196468 140731770155456 140026426673616 140027071858587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26336] ppid=26322 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/26325/task/26336/stat : 26336 (java) S 26322 26325 23392 0 -1 1077944384 741 0 0 0 4 0 0 0 20 0 15 0 38777328 10914906112 11924 33554432000 4194304 4196468 140731770155456 140026425620720 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26337] ppid=26322 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/26325/task/26337/stat : 26337 (java) S 26322 26325 23392 0 -1 1077944384 403 0 0 0 4 0 0 0 20 0 15 0 38777328 10914906112 11924 33554432000 4194304 4196468 140731770155456 140026424568176 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26338] ppid=26322 vsize=10659088 memory=140608147670656 CPUtime=0.12 cores=0,2,4,6
/proc/26325/task/26338/stat : 26338 (java) S 26322 26325 23392 0 -1 1077944384 781 0 0 0 12 0 0 0 20 0 15 0 38777328 10914906112 11924 33554432000 4194304 4196468 140731770155456 140026423515120 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26339] ppid=26322 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26339/stat : 26339 (java) S 26322 26325 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38777328 10914906112 11924 33554432000 4194304 4196468 140731770155456 140026422462816 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26340] ppid=26322 vsize=10659088 memory=140608147670656 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26340/stat : 26340 (java) S 26322 26325 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38777328 10914906112 11924 33554432000 4194304 4196468 140731770155456 140026421410864 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47696 KiB
[startup+0.701666 s]
/proc/loadavg: 2.08 2.05 2.01 5/216 26340
/proc/meminfo: memFree=19799312/32770624 swapFree=67108860/67108860
[pid=26325] ppid=26322 vsize=10659088 memory=224628 CPUtime=1.67 cores=0,2,4,6
/proc/26325/stat : 26325 (java) S 26322 26325 23392 0 -1 1077944320 11024 0 0 0 157 10 0 0 20 0 15 0 38777322 10914906112 56157 33554432000 4194304 4196468 140731770155456 140731770138000 140027071839991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
/proc/26325/statm: 2664772 56157 3100 1 0 2627263 0
[pid=26325/tid=26327] ppid=26322 vsize=10659088 memory=253703114226235 CPUtime=0.62 cores=0,2,4,6
/proc/26325/task/26327/stat : 26327 (java) S 26322 26325 23392 0 -1 1077944384 6082 0 0 0 60 2 0 0 20 0 15 0 38777322 10914906112 56157 33554432000 4194304 4196468 140731770155456 140027076075072 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26328] ppid=26322 vsize=10659088 memory=120106 CPUtime=0.04 cores=0,2,4,6
/proc/26325/task/26328/stat : 26328 (java) R 26322 26325 23392 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 15 0 38777323 10914906112 56157 33554432000 4194304 4196468 140731770155456 140027008530960 140027056862112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26329] ppid=26322 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/26325/task/26329/stat : 26329 (java) R 26322 26325 23392 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 15 0 38777323 10914906112 56157 33554432000 4194304 4196468 140731770155456 140026677420712 140027057598331 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26330] ppid=26322 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/26325/task/26330/stat : 26330 (java) R 26322 26325 23392 0 -1 4202560 33 0 0 0 3 1 0 0 20 0 15 0 38777323 10914906112 56157 33554432000 4194304 4196468 140731770155456 140026676369568 140027053466027 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26331] ppid=26322 vsize=10659088 memory=7809523229951467574 CPUtime=0.04 cores=0,2,4,6
/proc/26325/task/26331/stat : 26331 (java) R 26322 26325 23392 0 -1 4202560 33 0 0 0 3 1 0 0 20 0 15 0 38777323 10914906112 56157 33554432000 4194304 4196468 140731770155456 140026675314944 140027053465797 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26332] ppid=26322 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26332/stat : 26332 (java) S 26322 26325 23392 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 38777325 10914906112 56157 33554432000 4194304 4196468 140731770155456 140026429830432 140027071850197 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26333] ppid=26322 vsize=10659088 memory=-3535359994705171299 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26333/stat : 26333 (java) S 26322 26325 23392 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38777325 10914906112 56157 33554432000 4194304 4196468 140731770155456 140026428778144 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26334] ppid=26322 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26334/stat : 26334 (java) S 26322 26325 23392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38777325 10914906112 56157 33554432000 4194304 4196468 140731770155456 140026427725040 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26335] ppid=26322 vsize=10659088 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26335/stat : 26335 (java) S 26322 26325 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38777328 10914906112 56157 33554432000 4194304 4196468 140731770155456 140026426673616 140027071858587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26336] ppid=26322 vsize=10659088 memory=6656426216303648864 CPUtime=0.28 cores=0,2,4,6
/proc/26325/task/26336/stat : 26336 (java) S 26322 26325 23392 0 -1 1077944384 1145 0 0 0 28 0 0 0 20 0 15 0 38777328 10914906112 56157 33554432000 4194304 4196468 140731770155456 140026425620720 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26337] ppid=26322 vsize=10659088 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/26325/task/26337/stat : 26337 (java) S 26322 26325 23392 0 -1 1077944384 1057 0 0 0 26 0 0 0 20 0 15 0 38777328 10914906112 56157 33554432000 4194304 4196468 140731770155456 140026424568176 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26338] ppid=26322 vsize=10659088 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/26325/task/26338/stat : 26338 (java) S 26322 26325 23392 0 -1 1077944384 1241 0 0 0 27 0 0 0 20 0 15 0 38777328 10914906112 56157 33554432000 4194304 4196468 140731770155456 140026423515120 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26339] ppid=26322 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26339/stat : 26339 (java) S 26322 26325 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38777328 10914906112 56157 33554432000 4194304 4196468 140731770155456 140026422462816 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26340] ppid=26322 vsize=10659088 memory=16436 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26340/stat : 26340 (java) S 26322 26325 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38777328 10914906112 56157 33554432000 4194304 4196468 140731770155456 140026421410864 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 224628 KiB
[startup+1.50165 s]
/proc/loadavg: 2.08 2.05 2.01 3/216 26340
/proc/meminfo: memFree=19554740/32770624 swapFree=67108860/67108860
[pid=26325] ppid=26322 vsize=10659088 memory=617028 CPUtime=3.64 cores=0,2,4,6
/proc/26325/stat : 26325 (java) S 26322 26325 23392 0 -1 1077944320 12665 0 0 0 324 40 0 0 20 0 15 0 38777322 10914906112 154257 33554432000 4194304 4196468 140731770155456 140731770138000 140027071839991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
/proc/26325/statm: 2664772 154257 3136 1 0 2627263 0
[pid=26325/tid=26327] ppid=26322 vsize=10659088 memory=10755 CPUtime=1.05 cores=0,2,4,6
/proc/26325/task/26327/stat : 26327 (java) S 26322 26325 23392 0 -1 1077944384 6154 0 0 0 101 4 0 0 20 0 15 0 38777322 10914906112 154257 33554432000 4194304 4196468 140731770155456 140027076074880 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26328] ppid=26322 vsize=10659088 memory=6791534058613427641 CPUtime=0.41 cores=0,2,4,6
/proc/26325/task/26328/stat : 26328 (java) R 26322 26325 23392 0 -1 4202560 350 0 0 0 33 8 0 0 20 0 15 0 38777323 10914906112 154257 33554432000 4194304 4196468 140731770155456 140027008531160 140027053436601 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26329] ppid=26322 vsize=10659088 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/26325/task/26329/stat : 26329 (java) R 26322 26325 23392 0 -1 4202560 330 0 0 0 33 8 0 0 20 0 15 0 38777323 10914906112 154257 33554432000 4194304 4196468 140731770155456 140026677422936 140027053437002 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26330] ppid=26322 vsize=10659088 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/26325/task/26330/stat : 26330 (java) R 26322 26325 23392 0 -1 4202560 422 0 0 0 34 8 0 0 20 0 15 0 38777323 10914906112 154257 33554432000 4194304 4196468 140731770155456 140026676369880 140027056537630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26331] ppid=26322 vsize=10659088 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/26325/task/26331/stat : 26331 (java) R 26322 26325 23392 0 -1 4202560 353 0 0 0 33 8 0 0 20 0 15 0 38777323 10914906112 154257 33554432000 4194304 4196468 140731770155456 140026675317024 140027056825287 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26332] ppid=26322 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26332/stat : 26332 (java) S 26322 26325 23392 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 15 0 38777325 10914906112 154257 33554432000 4194304 4196468 140731770155456 140026429830240 140027071850197 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
################
# More data... #
################
/proc/26325/task/26329/stat : 26329 (java) S 26322 26325 23392 0 -1 1077944384 16223 0 0 0 1461 96 0 0 20 0 16 0 38777323 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026677422736 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26330] ppid=26322 vsize=10727700 memory=4789224 CPUtime=15.79 cores=0,2,4,6
/proc/26325/task/26330/stat : 26330 (java) S 26322 26325 23392 0 -1 1077944384 17387 0 0 0 1491 88 0 0 20 0 16 0 38777323 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026676369680 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26331] ppid=26322 vsize=10727700 memory=4789224 CPUtime=15.74 cores=0,2,4,6
/proc/26325/task/26331/stat : 26331 (java) S 26322 26325 23392 0 -1 1077944384 14760 0 0 0 1477 97 0 0 20 0 16 0 38777323 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026675317136 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26332] ppid=26322 vsize=10727700 memory=4789224 CPUtime=4.92 cores=0,2,4,6
/proc/26325/task/26332/stat : 26332 (java) S 26322 26325 23392 0 -1 1077944384 14234 0 0 0 487 5 0 0 20 0 16 0 38777325 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026429831920 140027071851138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26333] ppid=26322 vsize=10727700 memory=4789224 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26333/stat : 26333 (java) S 26322 26325 23392 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 38777325 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026428778208 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26334] ppid=26322 vsize=10727700 memory=4789224 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26334/stat : 26334 (java) S 26322 26325 23392 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 38777325 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026427725056 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26335] ppid=26322 vsize=10727700 memory=4789224 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26335/stat : 26335 (java) S 26322 26325 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38777328 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026426673616 140027071858587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26336] ppid=26322 vsize=10727700 memory=4789224 CPUtime=1.27 cores=0,2,4,6
/proc/26325/task/26336/stat : 26336 (java) S 26322 26325 23392 0 -1 1077944384 8201 0 0 0 126 1 0 0 20 0 16 0 38777328 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026425620720 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26337] ppid=26322 vsize=10727700 memory=4789224 CPUtime=1.71 cores=0,2,4,6
/proc/26325/task/26337/stat : 26337 (java) S 26322 26325 23392 0 -1 1077944384 11896 0 0 0 169 2 0 0 20 0 16 0 38777328 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026424568176 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26338] ppid=26322 vsize=10727700 memory=4789224 CPUtime=0.41 cores=0,2,4,6
/proc/26325/task/26338/stat : 26338 (java) S 26322 26325 23392 0 -1 1077944384 3600 0 0 0 40 1 0 0 20 0 16 0 38777328 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026423515120 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26339] ppid=26322 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26339/stat : 26339 (java) S 26322 26325 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38777328 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026422462816 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26340] ppid=26322 vsize=10727700 memory=281216072158416 CPUtime=1.48 cores=0,2,4,6
/proc/26325/task/26340/stat : 26340 (java) S 26322 26325 23392 0 -1 1077944384 2949 0 0 0 72 76 0 0 20 0 16 0 38777328 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026421410864 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26341] ppid=26322 vsize=10727700 memory=7302170357288642967 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26341/stat : 26341 (java) S 26322 26325 23392 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 38779702 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026418259504 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
Current children cumulated CPU time: 2374.2 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4789224 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2348.11 s]
/proc/loadavg: 3.59 2.71 2.30 3/216 26677
/proc/meminfo: memFree=13147016/32770624 swapFree=67108860/67108860
[pid=26325] ppid=26322 vsize=10727700 memory=4789224 CPUtime=2400.02 cores=0,2,4,6
/proc/26325/stat : 26325 (java) S 26322 26325 23392 0 -1 1077944320 370547 0 0 0 239521 481 0 0 20 0 16 0 38777322 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140731770138000 140027071839991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
/proc/26325/statm: 2681925 1197306 3181 1 0 2644416 0
[pid=26325/tid=26327] ppid=26322 vsize=10727700 memory=4789224 CPUtime=2327.26 cores=0,2,4,6
/proc/26325/task/26327/stat : 26327 (java) R 26322 26325 23392 0 -1 4202560 265838 0 0 0 232693 33 0 0 20 0 16 0 38777322 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140027076078944 140026692750734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26328] ppid=26322 vsize=10727700 memory=4789224 CPUtime=15.77 cores=0,2,4,6
/proc/26325/task/26328/stat : 26328 (java) S 26322 26325 23392 0 -1 1077944384 14025 0 0 0 1480 97 0 0 20 0 16 0 38777323 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140027008530960 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26329] ppid=26322 vsize=10727700 memory=4789224 CPUtime=15.57 cores=0,2,4,6
/proc/26325/task/26329/stat : 26329 (java) S 26322 26325 23392 0 -1 1077944384 16223 0 0 0 1461 96 0 0 20 0 16 0 38777323 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026677422736 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26330] ppid=26322 vsize=10727700 memory=4789224 CPUtime=15.79 cores=0,2,4,6
/proc/26325/task/26330/stat : 26330 (java) S 26322 26325 23392 0 -1 1077944384 17387 0 0 0 1491 88 0 0 20 0 16 0 38777323 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026676369680 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26331] ppid=26322 vsize=10727700 memory=4789224 CPUtime=15.74 cores=0,2,4,6
/proc/26325/task/26331/stat : 26331 (java) S 26322 26325 23392 0 -1 1077944384 14760 0 0 0 1477 97 0 0 20 0 16 0 38777323 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026675317136 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26332] ppid=26322 vsize=10727700 memory=0 CPUtime=4.92 cores=0,2,4,6
/proc/26325/task/26332/stat : 26332 (java) S 26322 26325 23392 0 -1 1077944384 14234 0 0 0 487 5 0 0 20 0 16 0 38777325 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026429831920 140027071851138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26333] ppid=26322 vsize=10727700 memory=4789224 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26333/stat : 26333 (java) S 26322 26325 23392 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 38777325 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026428778208 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26334] ppid=26322 vsize=10727700 memory=4789224 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26334/stat : 26334 (java) S 26322 26325 23392 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 38777325 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026427725056 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26335] ppid=26322 vsize=10727700 memory=4789224 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26335/stat : 26335 (java) S 26322 26325 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38777328 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026426673616 140027071858587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26336] ppid=26322 vsize=10727700 memory=4789224 CPUtime=1.27 cores=0,2,4,6
/proc/26325/task/26336/stat : 26336 (java) S 26322 26325 23392 0 -1 1077944384 8201 0 0 0 126 1 0 0 20 0 16 0 38777328 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026425620720 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26337] ppid=26322 vsize=10727700 memory=281216072456720 CPUtime=1.71 cores=0,2,4,6
/proc/26325/task/26337/stat : 26337 (java) S 26322 26325 23392 0 -1 1077944384 11896 0 0 0 169 2 0 0 20 0 16 0 38777328 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026424568176 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26338] ppid=26322 vsize=10727700 memory=4789224 CPUtime=0.41 cores=0,2,4,6
/proc/26325/task/26338/stat : 26338 (java) S 26322 26325 23392 0 -1 1077944384 3600 0 0 0 40 1 0 0 20 0 16 0 38777328 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026423515120 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26339] ppid=26322 vsize=10727700 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26339/stat : 26339 (java) S 26322 26325 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38777328 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026422462816 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26340] ppid=26322 vsize=10727700 memory=4789224 CPUtime=1.5 cores=0,2,4,6
/proc/26325/task/26340/stat : 26340 (java) S 26322 26325 23392 0 -1 1077944384 2949 0 0 0 73 77 0 0 20 0 16 0 38777328 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026421410864 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26341] ppid=26322 vsize=10727700 memory=4789224 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26341/stat : 26341 (java) S 26322 26325 23392 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 38779702 10985164800 1197306 33554432000 4194304 4196468 140731770155456 140026418259504 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4789224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2348.39 s]
# the end of solver process 26325 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.28 s, system=4.84266 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2348.21 s]
/proc/loadavg: 3.59 2.71 2.30 3/216 26677
/proc/meminfo: memFree=13147016/32770624 swapFree=67108860/67108860
[pid=26325] ppid=26322 vsize=10927392 memory=4789520 CPUtime=2400.03 cores=0,2,4,6
/proc/26325/stat : 26325 (java) S 26322 26325 23392 0 -1 1077944320 371464 0 0 0 239522 481 0 0 20 0 17 0 38777322 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140731770138000 140027071839991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
/proc/26325/statm: 2731848 1197380 3183 1 0 2694339 0
[pid=26325/tid=26327] ppid=26322 vsize=10927392 memory=288230613214036277 CPUtime=2327.27 cores=0,2,4,6
/proc/26325/task/26327/stat : 26327 (java) S 26322 26325 23392 0 -1 1077944384 265933 0 0 0 232694 33 0 0 20 0 17 0 38777322 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140027076082864 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26328] ppid=26322 vsize=10927392 memory=15535236834396114 CPUtime=15.77 cores=0,2,4,6
/proc/26325/task/26328/stat : 26328 (java) S 26322 26325 23392 0 -1 1077944384 14025 0 0 0 1480 97 0 0 20 0 17 0 38777323 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140027008530960 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26329] ppid=26322 vsize=10927392 memory=1296 CPUtime=15.57 cores=0,2,4,6
/proc/26325/task/26329/stat : 26329 (java) S 26322 26325 23392 0 -1 1077944384 16223 0 0 0 1461 96 0 0 20 0 17 0 38777323 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026677422736 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26330] ppid=26322 vsize=10927392 memory=1728 CPUtime=15.79 cores=0,2,4,6
/proc/26325/task/26330/stat : 26330 (java) S 26322 26325 23392 0 -1 1077944384 17387 0 0 0 1491 88 0 0 20 0 17 0 38777323 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026676369680 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26331] ppid=26322 vsize=10927392 memory=1008 CPUtime=15.74 cores=0,2,4,6
/proc/26325/task/26331/stat : 26331 (java) S 26322 26325 23392 0 -1 1077944384 14760 0 0 0 1477 97 0 0 20 0 17 0 38777323 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026675317136 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26332] ppid=26322 vsize=10927392 memory=4789224 CPUtime=4.92 cores=0,2,4,6
/proc/26325/task/26332/stat : 26332 (java) S 26322 26325 23392 0 -1 1077944384 14274 0 0 0 487 5 0 0 20 0 17 0 38777325 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026429831920 140027071851138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26333] ppid=26322 vsize=10927392 memory=288230613214036277 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26333/stat : 26333 (java) S 26322 26325 23392 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 38777325 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026428778208 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26334] ppid=26322 vsize=10927392 memory=15535236834396114 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26334/stat : 26334 (java) S 26322 26325 23392 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 17 0 38777325 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026427725056 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26335] ppid=26322 vsize=10927392 memory=15535236834396114 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26335/stat : 26335 (java) S 26322 26325 23392 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 17 0 38777328 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026426673616 140027071858587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26336] ppid=26322 vsize=10927392 memory=2836 CPUtime=1.27 cores=0,2,4,6
/proc/26325/task/26336/stat : 26336 (java) S 26322 26325 23392 0 -1 1077944384 8201 0 0 0 126 1 0 0 20 0 17 0 38777328 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026425620720 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26337] ppid=26322 vsize=10927392 memory=1408 CPUtime=1.71 cores=0,2,4,6
/proc/26325/task/26337/stat : 26337 (java) S 26322 26325 23392 0 -1 1077944384 11896 0 0 0 169 2 0 0 20 0 17 0 38777328 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026424568176 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26338] ppid=26322 vsize=10927392 memory=3328 CPUtime=0.41 cores=0,2,4,6
/proc/26325/task/26338/stat : 26338 (java) S 26322 26325 23392 0 -1 1077944384 3749 0 0 0 40 1 0 0 20 0 17 0 38777328 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026423515120 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26339] ppid=26322 vsize=10927392 memory=4789224 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26339/stat : 26339 (java) S 26322 26325 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38777328 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026422462816 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26340] ppid=26322 vsize=10927392 memory=8364 CPUtime=1.5 cores=0,2,4,6
/proc/26325/task/26340/stat : 26340 (java) S 26322 26325 23392 0 -1 1077944384 2949 0 0 0 73 77 0 0 20 0 17 0 38777328 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026421410864 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 4789520 KiB
[startup+2348.3 s]
/proc/loadavg: 3.59 2.71 2.30 3/216 26677
/proc/meminfo: memFree=13147016/32770624 swapFree=67108860/67108860
[pid=26325] ppid=26322 vsize=10927392 memory=4789520 CPUtime=2400.03 cores=0,2,4,6
/proc/26325/stat : 26325 (java) S 26322 26325 23392 0 -1 1077944320 371464 0 0 0 239522 481 0 0 20 0 17 0 38777322 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140731770138000 140027071839991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
/proc/26325/statm: 2731848 1197380 3183 1 0 2694339 0
[pid=26325/tid=26327] ppid=26322 vsize=10927392 memory=4789224 CPUtime=2327.27 cores=0,2,4,6
/proc/26325/task/26327/stat : 26327 (java) S 26322 26325 23392 0 -1 1077944384 265933 0 0 0 232694 33 0 0 20 0 17 0 38777322 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140027076082864 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26328] ppid=26322 vsize=10927392 memory=4789224 CPUtime=15.77 cores=0,2,4,6
/proc/26325/task/26328/stat : 26328 (java) S 26322 26325 23392 0 -1 1077944384 14025 0 0 0 1480 97 0 0 20 0 17 0 38777323 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140027008530960 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26329] ppid=26322 vsize=10927392 memory=4789224 CPUtime=15.57 cores=0,2,4,6
/proc/26325/task/26329/stat : 26329 (java) S 26322 26325 23392 0 -1 1077944384 16223 0 0 0 1461 96 0 0 20 0 17 0 38777323 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026677422736 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26330] ppid=26322 vsize=10927392 memory=0 CPUtime=15.79 cores=0,2,4,6
/proc/26325/task/26330/stat : 26330 (java) S 26322 26325 23392 0 -1 1077944384 17387 0 0 0 1491 88 0 0 20 0 17 0 38777323 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026676369680 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26331] ppid=26322 vsize=10927392 memory=4789224 CPUtime=15.74 cores=0,2,4,6
/proc/26325/task/26331/stat : 26331 (java) S 26322 26325 23392 0 -1 1077944384 14760 0 0 0 1477 97 0 0 20 0 17 0 38777323 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026675317136 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26332] ppid=26322 vsize=10927392 memory=4789224 CPUtime=4.92 cores=0,2,4,6
/proc/26325/task/26332/stat : 26332 (java) S 26322 26325 23392 0 -1 1077944384 14274 0 0 0 487 5 0 0 20 0 17 0 38777325 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026429831920 140027071851138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26333] ppid=26322 vsize=10927392 memory=4789224 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26333/stat : 26333 (java) S 26322 26325 23392 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 38777325 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026428778208 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26334] ppid=26322 vsize=10927392 memory=4789224 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26334/stat : 26334 (java) S 26322 26325 23392 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 17 0 38777325 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026427725056 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26335] ppid=26322 vsize=10927392 memory=4789224 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26335/stat : 26335 (java) S 26322 26325 23392 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 17 0 38777328 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026426673616 140027071858587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26336] ppid=26322 vsize=10927392 memory=4789224 CPUtime=1.27 cores=0,2,4,6
/proc/26325/task/26336/stat : 26336 (java) S 26322 26325 23392 0 -1 1077944384 8201 0 0 0 126 1 0 0 20 0 17 0 38777328 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026425620720 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26337] ppid=26322 vsize=10927392 memory=281216072456720 CPUtime=1.71 cores=0,2,4,6
/proc/26325/task/26337/stat : 26337 (java) S 26322 26325 23392 0 -1 1077944384 11896 0 0 0 169 2 0 0 20 0 17 0 38777328 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026424568176 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26338] ppid=26322 vsize=10927392 memory=4789224 CPUtime=0.41 cores=0,2,4,6
/proc/26325/task/26338/stat : 26338 (java) S 26322 26325 23392 0 -1 1077944384 3749 0 0 0 40 1 0 0 20 0 17 0 38777328 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026423515120 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26339] ppid=26322 vsize=10927392 memory=4789224 CPUtime=0 cores=0,2,4,6
/proc/26325/task/26339/stat : 26339 (java) S 26322 26325 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38777328 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026422462816 140027071850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
[pid=26325/tid=26340] ppid=26322 vsize=10927392 memory=4789224 CPUtime=1.5 cores=0,2,4,6
/proc/26325/task/26340/stat : 26340 (java) S 26322 26325 23392 0 -1 1077944384 2949 0 0 0 73 77 0 0 20 0 17 0 38777328 11189649408 1197380 33554432000 4194304 4196468 140731770155456 140026421410864 140027071851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140731770164337 140731770164489 140731770164489 140731770167247 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 4789520 KiB
Child status: 143
Real time (s): 2348.39
CPU time (s): 2400.12
CPU user time (s): 2395.28
CPU system time (s): 4.84266
CPU usage (%): 102.203
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 4789520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.28
system time used= 4.84265
maximum resident set size= 4789856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 373041
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53857
involuntary context switches= 3617
# summary of solver processes directly reported to runsolver:
# pid: 26325
# total CPU time (s): 2400.12
# total CPU user time (s): 2395.28
# total CPU system time (s): 4.84266
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2767 second user time and 22.3831 second system time
The end