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 (15368 MiB free)
memory of node 1: 16384 MiB (7492 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263161-1502605745/watcher-4263161-1502605745 -o /tmp/evaluation-result-4263161-1502605745/solver-4263161-1502605745 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502602071-18556 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263161-1502605745.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19260, runsolver pid=19257
[startup+0.100126 s]*
/proc/loadavg: 6.94 6.13 5.05 6/205 19266
/proc/meminfo: memFree=23402212/32770624 swapFree=67108776/67108860
[pid=19260] ppid=19257 vsize=9936560 memory=17012 CPUtime=0.02 cores=0,2,4,6
/proc/19260/stat : 19260 (java) S 19257 19260 7084 0 -1 1077944320 3590 0 0 0 1 1 0 0 20 0 6 0 160227243 10175037440 4253 18446744073709551615 4194304 4196468 140731859740912 140731859723456 139912290987767 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
/proc/19260/statm: 2484140 4253 1923 1 0 2473637 0
[pid=19260/tid=19262] ppid=19257 vsize=9936560 memory=-6370450994940186976 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19262/stat : 19262 (java) R 19257 19260 7084 0 -1 4202560 2305 0 0 0 0 0 0 0 20 0 6 0 160227252 10175037440 4319 18446744073709551615 4194304 4196468 140731859740912 139912295223888 139912275068254 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19263] ppid=19257 vsize=9936560 memory=5767616754537699721 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19263/stat : 19263 (java) S 19257 19260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 160227253 10175037440 4319 18446744073709551615 4194304 4196468 140731859740912 139912251886224 139912290997973 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19264] ppid=19257 vsize=9936560 memory=140394287294080 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19264/stat : 19264 (java) S 19257 19260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 160227253 10175037440 4319 18446744073709551615 4194304 4196468 140731859740912 139911901403664 139912290997973 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19265] ppid=19257 vsize=9936560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19265/stat : 19265 (java) S 19257 19260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 160227253 10175037440 4319 18446744073709551615 4194304 4196468 140731859740912 139911900350864 139912290997973 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19266] ppid=19257 vsize=9936560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19266/stat : 19266 (java) S 19257 19260 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 160227253 10175037440 4319 18446744073709551615 4194304 4196468 140731859740912 139911899298064 139912290997973 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 9936560 KiB
Current children cumulated memory: 17012 KiB
[startup+0.210032 s]*
/proc/loadavg: 6.94 6.13 5.05 5/213 19274
/proc/meminfo: memFree=23397684/32770624 swapFree=67108776/67108860
[pid=19260] ppid=19257 vsize=10484492 memory=23640 CPUtime=0.06 cores=0,2,4,6
/proc/19260/stat : 19260 (java) S 19257 19260 7084 0 -1 1077944320 4862 0 0 0 5 1 0 0 20 0 14 0 160227243 10736119808 5910 18446744073709551615 4194304 4196468 140731859740912 140731859723456 139912290987767 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
/proc/19260/statm: 2621123 5910 2577 1 0 2610620 0
[pid=19260/tid=19262] ppid=19257 vsize=10551056 memory=7826581535555754397 CPUtime=0.04 cores=0,2,4,6
/proc/19260/task/19262/stat : 19262 (java) R 19257 19260 7084 0 -1 4202560 2979 0 0 0 4 0 0 0 20 0 15 0 160227252 10804281344 5910 18446744073709551615 4194304 4196468 140731859740912 139912295230048 139912291009693 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19263] ppid=19257 vsize=10551056 memory=732370532624747493 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19263/stat : 19263 (java) S 19257 19260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160227253 10804281344 5910 18446744073709551615 4194304 4196468 140731859740912 139912251886224 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19264] ppid=19257 vsize=10551056 memory=140394287294080 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19264/stat : 19264 (java) S 19257 19260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160227253 10804281344 5910 18446744073709551615 4194304 4196468 140731859740912 139911901403664 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19265] ppid=19257 vsize=10551056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19265/stat : 19265 (java) S 19257 19260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160227253 10804281344 5910 18446744073709551615 4194304 4196468 140731859740912 139911900350864 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19266] ppid=19257 vsize=10551056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19266/stat : 19266 (java) S 19257 19260 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 160227253 10804281344 5910 18446744073709551615 4194304 4196468 140731859740912 139911899298064 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19267] ppid=19257 vsize=10551056 memory=140394287294080 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19267/stat : 19267 (java) S 19257 19260 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 160227254 10804281344 5910 18446744073709551615 4194304 4196468 140731859740912 139911855025008 139912290998914 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19268] ppid=19257 vsize=10551056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19268/stat : 19268 (java) S 19257 19260 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 160227255 10804281344 5910 18446744073709551615 4194304 4196468 140731859740912 139911853970976 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19269] ppid=19257 vsize=10551056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19269/stat : 19269 (java) S 19257 19260 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 160227255 10804281344 5910 18446744073709551615 4194304 4196468 140731859740912 139911852918128 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19270] ppid=19257 vsize=10551056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19270/stat : 19270 (java) S 19257 19260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 160227257 10804281344 5910 18446744073709551615 4194304 4196468 140731859740912 139911851866448 139912291006363 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19271] ppid=19257 vsize=10551056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19271/stat : 19271 (java) S 19257 19260 7084 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 160227257 10804281344 5910 18446744073709551615 4194304 4196468 140731859740912 139911850813808 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19272] ppid=19257 vsize=10551056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19272/stat : 19272 (java) S 19257 19260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 160227257 10804281344 5910 18446744073709551615 4194304 4196468 140731859740912 139911849761008 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19273] ppid=19257 vsize=10551056 memory=140394287294080 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19273/stat : 19273 (java) S 19257 19260 7084 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 15 0 160227257 10804281344 5910 18446744073709551615 4194304 4196468 140731859740912 139911780886640 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19274] ppid=19257 vsize=10551056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19274/stat : 19274 (java) S 19257 19260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 160227257 10804281344 5910 18446744073709551615 4194304 4196468 140731859740912 139911779834080 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19275] ppid=19257 vsize=10551056 memory=140394287294080 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19275/stat : 19275 (java) S 19257 19260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160227265 10804281344 5910 18446744073709551615 4194304 4196468 140731859740912 139911778782384 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 23640 KiB
[startup+0.311394 s]*
/proc/loadavg: 6.94 6.13 5.05 7/214 19275
/proc/meminfo: memFree=23387388/32770624 swapFree=67108776/67108860
[pid=19260] ppid=19257 vsize=10551156 memory=33720 CPUtime=0.21 cores=0,2,4,6
/proc/19260/stat : 19260 (java) S 19257 19260 7084 0 -1 1077944320 8204 0 0 0 18 3 0 0 20 0 15 0 160227243 10804383744 8430 18446744073709551615 4194304 4196468 140731859740912 140731859723456 139912290987767 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
/proc/19260/statm: 2637789 8430 2867 1 0 2627261 0
[pid=19260/tid=19262] ppid=19257 vsize=10551156 memory=-8774313645642428999 CPUtime=0.14 cores=0,2,4,6
/proc/19260/task/19262/stat : 19262 (java) R 19257 19260 7084 0 -1 4202560 5861 0 0 0 12 2 0 0 20 0 15 0 160227252 10804383744 8430 18446744073709551615 4194304 4196468 140731859740912 139912295199984 139912291009693 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19263] ppid=19257 vsize=10551156 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19263/stat : 19263 (java) S 19257 19260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160227253 10804383744 8430 18446744073709551615 4194304 4196468 140731859740912 139912251886224 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19264] ppid=19257 vsize=10551156 memory=7077796292425249400 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19264/stat : 19264 (java) S 19257 19260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160227253 10804383744 8430 18446744073709551615 4194304 4196468 140731859740912 139911901403664 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19265] ppid=19257 vsize=10551156 memory=140394287301073 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19265/stat : 19265 (java) S 19257 19260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160227253 10804383744 8430 18446744073709551615 4194304 4196468 140731859740912 139911900350864 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19266] ppid=19257 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19266/stat : 19266 (java) S 19257 19260 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 160227253 10804383744 8430 18446744073709551615 4194304 4196468 140731859740912 139911899298064 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19267] ppid=19257 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19267/stat : 19267 (java) S 19257 19260 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 160227254 10804383744 8430 18446744073709551615 4194304 4196468 140731859740912 139911855025008 139912290998914 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19268] ppid=19257 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19268/stat : 19268 (java) S 19257 19260 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 160227255 10804383744 8430 18446744073709551615 4194304 4196468 140731859740912 139911853970976 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19269] ppid=19257 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19269/stat : 19269 (java) S 19257 19260 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 160227255 10804383744 8430 18446744073709551615 4194304 4196468 140731859740912 139911852918128 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19270] ppid=19257 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19270/stat : 19270 (java) S 19257 19260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 160227257 10804383744 8430 18446744073709551615 4194304 4196468 140731859740912 139911851866448 139912291006363 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19271] ppid=19257 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19260/task/19271/stat : 19271 (java) S 19257 19260 7084 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 15 0 160227257 10804383744 8430 18446744073709551615 4194304 4196468 140731859740912 139911850813808 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19272] ppid=19257 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19272/stat : 19272 (java) S 19257 19260 7084 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 160227257 10804383744 8430 18446744073709551615 4194304 4196468 140731859740912 139911849761008 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19273] ppid=19257 vsize=10551156 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19260/task/19273/stat : 19273 (java) S 19257 19260 7084 0 -1 1077944384 413 0 0 0 3 0 0 0 20 0 15 0 160227257 10804383744 8430 18446744073709551615 4194304 4196468 140731859740912 139911780886640 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19274] ppid=19257 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19274/stat : 19274 (java) S 19257 19260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 160227257 10804383744 8430 18446744073709551615 4194304 4196468 140731859740912 139911779834080 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19275] ppid=19257 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19275/stat : 19275 (java) S 19257 19260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160227265 10804383744 8430 18446744073709551615 4194304 4196468 140731859740912 139911778782384 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 33720 KiB
[startup+0.703746 s]
/proc/loadavg: 6.94 6.13 5.05 7/214 19275
/proc/meminfo: memFree=23376768/32770624 swapFree=67108776/67108860
[pid=19260] ppid=19257 vsize=10551232 memory=81224 CPUtime=1.18 cores=0,2,4,6
/proc/19260/stat : 19260 (java) S 19257 19260 7084 0 -1 1077944320 12451 0 0 0 113 5 0 0 20 0 15 0 160227243 10804461568 20306 18446744073709551615 4194304 4196468 140731859740912 140731859723456 139912290987767 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
/proc/19260/statm: 2637808 20306 3056 1 0 2627261 0
[pid=19260/tid=19262] ppid=19257 vsize=10551232 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/19260/task/19262/stat : 19262 (java) R 19257 19260 7084 0 -1 1077944384 7518 0 0 0 49 3 0 0 20 0 15 0 160227252 10804461568 20306 18446744073709551615 4194304 4196468 140731859740912 139912295225392 139912290997973 0 4 1 16800974 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19263] ppid=19257 vsize=10551232 memory=-7452431979323206951 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19263/stat : 19263 (java) S 19257 19260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160227253 10804461568 20306 18446744073709551615 4194304 4196468 140731859740912 139912251886224 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19264] ppid=19257 vsize=10551232 memory=33 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19264/stat : 19264 (java) S 19257 19260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160227253 10804461568 20306 18446744073709551615 4194304 4196468 140731859740912 139911901403664 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19265] ppid=19257 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19265/stat : 19265 (java) S 19257 19260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160227253 10804461568 20306 18446744073709551615 4194304 4196468 140731859740912 139911900350864 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19266] ppid=19257 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19266/stat : 19266 (java) S 19257 19260 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 160227253 10804461568 20306 18446744073709551615 4194304 4196468 140731859740912 139911899298064 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19267] ppid=19257 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19267/stat : 19267 (java) S 19257 19260 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 160227254 10804461568 20306 18446744073709551615 4194304 4196468 140731859740912 139911855025008 139912290998914 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19268] ppid=19257 vsize=10551232 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19268/stat : 19268 (java) S 19257 19260 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 160227255 10804461568 20306 18446744073709551615 4194304 4196468 140731859740912 139911853970976 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19269] ppid=19257 vsize=10551232 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19269/stat : 19269 (java) S 19257 19260 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 160227255 10804461568 20306 18446744073709551615 4194304 4196468 140731859740912 139911852918128 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19270] ppid=19257 vsize=10551232 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19270/stat : 19270 (java) S 19257 19260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 160227257 10804461568 20306 18446744073709551615 4194304 4196468 140731859740912 139911851866448 139912291006363 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19271] ppid=19257 vsize=10551232 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/19260/task/19271/stat : 19271 (java) R 19257 19260 7084 0 -1 4202560 1168 0 0 0 18 0 0 0 20 0 15 0 160227257 10804461568 20306 18446744073709551615 4194304 4196468 140731859740912 139911850794824 139912272508619 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19272] ppid=19257 vsize=10551232 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/19260/task/19272/stat : 19272 (java) R 19257 19260 7084 0 -1 4202560 933 0 0 0 16 0 0 0 20 0 15 0 160227257 10804461568 20306 18446744073709551615 4194304 4196468 140731859740912 139911849742024 139912276114150 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19273] ppid=19257 vsize=10551232 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/19260/task/19273/stat : 19273 (java) S 19257 19260 7084 0 -1 1077944384 1461 0 0 0 28 0 0 0 20 0 15 0 160227257 10804461568 20306 18446744073709551615 4194304 4196468 140731859740912 139911780886640 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19274] ppid=19257 vsize=10551232 memory=19265 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19274/stat : 19274 (java) S 19257 19260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 160227257 10804461568 20306 18446744073709551615 4194304 4196468 140731859740912 139911779834080 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19275] ppid=19257 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19275/stat : 19275 (java) S 19257 19260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 160227265 10804461568 20306 18446744073709551615 4194304 4196468 140731859740912 139911778782384 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 81224 KiB
[startup+1.50686 s]
/proc/loadavg: 6.94 6.13 5.05 8/215 19276
/proc/meminfo: memFree=23301928/32770624 swapFree=67108776/67108860
[pid=19260] ppid=19257 vsize=10617796 memory=136340 CPUtime=3.38 cores=0,2,4,6
/proc/19260/stat : 19260 (java) S 19257 19260 7084 0 -1 1077944320 26726 0 0 0 331 7 0 0 20 0 16 0 160227243 10872623104 34085 18446744073709551615 4194304 4196468 140731859740912 140731859723456 139912290987767 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
/proc/19260/statm: 2654449 34085 3076 1 0 2643902 0
[pid=19260/tid=19262] ppid=19257 vsize=10617796 memory=7158898494715373722 CPUtime=1.32 cores=0,2,4,6
/proc/19260/task/19262/stat : 19262 (java) R 19257 19260 7084 0 -1 4202560 7926 0 0 0 128 4 0 0 20 0 16 0 160227252 10872623104 34085 18446744073709551615 4194304 4196468 140731859740912 139912295224440 139911935928674 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19263] ppid=19257 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19263/stat : 19263 (java) S 19257 19260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 160227253 10872623104 34085 18446744073709551615 4194304 4196468 140731859740912 139912251886224 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19264] ppid=19257 vsize=10617796 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19264/stat : 19264 (java) S 19257 19260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 160227253 10872623104 34085 18446744073709551615 4194304 4196468 140731859740912 139911901403664 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19265] ppid=19257 vsize=10617796 memory=280788319386160 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19265/stat : 19265 (java) S 19257 19260 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 160227253 10872623104 34085 18446744073709551615 4194304 4196468 140731859740912 139911900350864 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19266] ppid=19257 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19266/stat : 19266 (java) S 19257 19260 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 160227253 10872623104 34085 18446744073709551615 4194304 4196468 140731859740912 139911899298064 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19267] ppid=19257 vsize=10617796 memory=-9180700527125620825 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19267/stat : 19267 (java) S 19257 19260 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 160227254 10872623104 34085 18446744073709551615 4194304 4196468 140731859740912 139911855025008 139912290998914 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19268] ppid=19257 vsize=10617796 memory=8027501878879939157 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19268/stat : 19268 (java) S 19257 19260 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 160227255 10872623104 34085 18446744073709551615 4194304 4196468 140731859740912 139911853970976 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19269] ppid=19257 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19269/stat : 19269 (java) S 19257 19260 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 160227255 10872623104 34085 18446744073709551615 4194304 4196468 140731859740912 139911852918128 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19270] ppid=19257 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19270/stat : 19270 (java) S 19257 19260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 160227257 10872623104 34085 18446744073709551615 4194304 4196468 140731859740912 139911851866448 139912291006363 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19271] ppid=19257 vsize=10617796 memory=0 CPUtime=0.87 cores=0,2,4,6
/proc/19260/task/19271/stat : 19271 (java) S 19257 19260 7084 0 -1 1077944384 9701 0 0 0 86 1 0 0 20 0 16 0 160227257 10872623104 34085 18446744073709551615 4194304 4196468 140731859740912 139911850813808 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19272] ppid=19257 vsize=10617796 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/19260/task/19272/stat : 19272 (java) R 19257 19260 7084 0 -1 4202560 5195 0 0 0 78 0 0 0 20 0 16 0 160227257 10872623104 34085 18446744073709551615 4194304 4196468 140731859740912 139911849750000 139912275409273 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19273] ppid=19257 vsize=10617796 memory=-8774313645642428999 CPUtime=0.38 cores=0,2,4,6
/proc/19260/task/19273/stat : 19273 (java) S 19257 19260 7084 0 -1 1077944384 2498 0 0 0 37 1 0 0 20 0 16 0 160227257 10872623104 34085 18446744073709551615 4194304 4196468 140731859740912 139911780886640 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19274] ppid=19257 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19274/stat : 19274 (java) S 19257 19260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 160227257 10872623104 34085 18446744073709551615 4194304 4196468 140731859740912 139911779834080 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19275] ppid=19257 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19275/stat : 19275 (java) S 19257 19260 7084 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 16 0 160227265 10872623104 34085 18446744073709551615 4194304 4196468 140731859740912 139911778782384 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19276] ppid=19257 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19276/stat : 19276 (java) S 19257 19260 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 160227324 10872623104 34085 18446744073709551615 4194304 4196468 140731859740912 139911777727920 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
################
# More data... #
################
/proc/19260/task/19265/stat : 19265 (java) S 19257 19260 7084 0 -1 1077944384 3716 0 0 0 71 14 0 0 20 0 16 0 160227253 10872623104 131431 18446744073709551615 4194304 4196468 140731859740912 139911900350864 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19266] ppid=19257 vsize=10617796 memory=525724 CPUtime=0.85 cores=0,2,4,6
/proc/19260/task/19266/stat : 19266 (java) S 19257 19260 7084 0 -1 1077944384 4372 0 0 0 70 15 0 0 20 0 16 0 160227253 10872623104 131431 18446744073709551615 4194304 4196468 140731859740912 139911899298064 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19267] ppid=19257 vsize=10617796 memory=525724 CPUtime=0.13 cores=0,2,4,6
/proc/19260/task/19267/stat : 19267 (java) S 19257 19260 7084 0 -1 1077944384 4541 0 0 0 11 2 0 0 20 0 16 0 160227254 10872623104 131431 18446744073709551615 4194304 4196468 140731859740912 139911855025008 139912290998914 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19268] ppid=19257 vsize=10617796 memory=525724 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19268/stat : 19268 (java) S 19257 19260 7084 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 160227255 10872623104 131431 18446744073709551615 4194304 4196468 140731859740912 139911853970976 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19269] ppid=19257 vsize=10617796 memory=525724 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19269/stat : 19269 (java) S 19257 19260 7084 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 160227255 10872623104 131431 18446744073709551615 4194304 4196468 140731859740912 139911852918128 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19270] ppid=19257 vsize=10617796 memory=525724 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19270/stat : 19270 (java) S 19257 19260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 160227257 10872623104 131431 18446744073709551615 4194304 4196468 140731859740912 139911851866448 139912291006363 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19271] ppid=19257 vsize=10617796 memory=525724 CPUtime=1.59 cores=0,2,4,6
/proc/19260/task/19271/stat : 19271 (java) S 19257 19260 7084 0 -1 1077944384 13174 0 0 0 157 2 0 0 20 0 16 0 160227257 10872623104 131431 18446744073709551615 4194304 4196468 140731859740912 139911850813808 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19272] ppid=19257 vsize=10617796 memory=4156 CPUtime=1.35 cores=0,2,4,6
/proc/19260/task/19272/stat : 19272 (java) S 19257 19260 7084 0 -1 1077944384 9478 0 0 0 134 1 0 0 20 0 16 0 160227257 10872623104 131431 18446744073709551615 4194304 4196468 140731859740912 139911849761008 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19273] ppid=19257 vsize=10617796 memory=525724 CPUtime=0.44 cores=0,2,4,6
/proc/19260/task/19273/stat : 19273 (java) S 19257 19260 7084 0 -1 1077944384 4715 0 0 0 42 2 0 0 20 0 16 0 160227257 10872623104 131431 18446744073709551615 4194304 4196468 140731859740912 139911780886640 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19274] ppid=19257 vsize=10617796 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19274/stat : 19274 (java) S 19257 19260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 160227257 10872623104 131431 18446744073709551615 4194304 4196468 140731859740912 139911779834080 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19275] ppid=19257 vsize=10617796 memory=525724 CPUtime=1.12 cores=0,2,4,6
/proc/19260/task/19275/stat : 19275 (java) S 19257 19260 7084 0 -1 1077944384 2323 0 0 0 55 57 0 0 20 0 16 0 160227265 10872623104 131431 18446744073709551615 4194304 4196468 140731859740912 139911778782384 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19276] ppid=19257 vsize=10617796 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19276/stat : 19276 (java) S 19257 19260 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 160227324 10872623104 131431 18446744073709551615 4194304 4196468 140731859740912 139911777727920 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
Current children cumulated CPU time: 2448.93 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 525724 KiB
[startup+2502.3 s]
/proc/loadavg: 2.03 2.06 2.38 3/215 19526
/proc/meminfo: memFree=30843536/32770624 swapFree=67108776/67108860
[pid=19260] ppid=19257 vsize=10617796 memory=521620 CPUtime=2508.99 cores=0,2,4,6
/proc/19260/stat : 19260 (java) S 19257 19260 7084 0 -1 1077944320 75618 0 0 0 250776 123 0 0 20 0 16 0 160227243 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 140731859723456 139912290987767 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
/proc/19260/statm: 2654449 130405 3140 1 0 2643902 0
[pid=19260/tid=19262] ppid=19257 vsize=10617796 memory=521620 CPUtime=2500.8 cores=0,2,4,6
/proc/19260/task/19262/stat : 19262 (java) R 19257 19260 7084 0 -1 4202560 22100 0 0 0 250074 6 0 0 20 0 16 0 160227252 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139912295226720 139911935894686 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19263] ppid=19257 vsize=10617796 memory=525724 CPUtime=0.86 cores=0,2,4,6
/proc/19260/task/19263/stat : 19263 (java) S 19257 19260 7084 0 -1 1077944384 5698 0 0 0 71 15 0 0 20 0 16 0 160227253 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139912251886224 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19264] ppid=19257 vsize=10617796 memory=521620 CPUtime=0.85 cores=0,2,4,6
/proc/19260/task/19264/stat : 19264 (java) S 19257 19260 7084 0 -1 1077944384 3566 0 0 0 71 14 0 0 20 0 16 0 160227253 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911901403664 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19265] ppid=19257 vsize=10617796 memory=280788319811360 CPUtime=0.86 cores=0,2,4,6
/proc/19260/task/19265/stat : 19265 (java) S 19257 19260 7084 0 -1 1077944384 4038 0 0 0 72 14 0 0 20 0 16 0 160227253 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911900350864 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19266] ppid=19257 vsize=10617796 memory=521620 CPUtime=0.86 cores=0,2,4,6
/proc/19260/task/19266/stat : 19266 (java) S 19257 19260 7084 0 -1 1077944384 4399 0 0 0 71 15 0 0 20 0 16 0 160227253 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911899298064 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19267] ppid=19257 vsize=10617796 memory=521620 CPUtime=0.13 cores=0,2,4,6
/proc/19260/task/19267/stat : 19267 (java) S 19257 19260 7084 0 -1 1077944384 4626 0 0 0 11 2 0 0 20 0 16 0 160227254 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911855025008 139912290998914 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19268] ppid=19257 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19268/stat : 19268 (java) S 19257 19260 7084 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 160227255 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911853970976 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19269] ppid=19257 vsize=10617796 memory=521620 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19269/stat : 19269 (java) S 19257 19260 7084 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 160227255 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911852918128 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19270] ppid=19257 vsize=10617796 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19270/stat : 19270 (java) S 19257 19260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 160227257 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911851866448 139912291006363 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19271] ppid=19257 vsize=10617796 memory=521620 CPUtime=1.59 cores=0,2,4,6
/proc/19260/task/19271/stat : 19271 (java) S 19257 19260 7084 0 -1 1077944384 13176 0 0 0 157 2 0 0 20 0 16 0 160227257 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911850813808 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19272] ppid=19257 vsize=10617796 memory=67352 CPUtime=1.35 cores=0,2,4,6
/proc/19260/task/19272/stat : 19272 (java) S 19257 19260 7084 0 -1 1077944384 9480 0 0 0 134 1 0 0 20 0 16 0 160227257 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911849761008 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19273] ppid=19257 vsize=10617796 memory=521620 CPUtime=0.44 cores=0,2,4,6
/proc/19260/task/19273/stat : 19273 (java) S 19257 19260 7084 0 -1 1077944384 4718 0 0 0 42 2 0 0 20 0 16 0 160227257 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911780886640 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19274] ppid=19257 vsize=10617796 memory=521620 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19274/stat : 19274 (java) S 19257 19260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 160227257 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911779834080 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19275] ppid=19257 vsize=10617796 memory=521620 CPUtime=1.16 cores=0,2,4,6
/proc/19260/task/19275/stat : 19275 (java) S 19257 19260 7084 0 -1 1077944384 2354 0 0 0 57 59 0 0 20 0 16 0 160227265 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911778782384 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19276] ppid=19257 vsize=10617796 memory=521620 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19276/stat : 19276 (java) S 19257 19260 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 160227324 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911777727920 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
Current children cumulated CPU time: 2508.99 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 521620 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.4 s]
/proc/loadavg: 2.03 2.06 2.37 3/215 19527
/proc/meminfo: memFree=30843660/32770624 swapFree=67108776/67108860
[pid=19260] ppid=19257 vsize=10617796 memory=521620 CPUtime=2520.09 cores=0,2,4,6
/proc/19260/stat : 19260 (java) S 19257 19260 7084 0 -1 1077944320 75626 0 0 0 251886 123 0 0 20 0 16 0 160227243 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 140731859723456 139912290987767 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
/proc/19260/statm: 2654449 130405 3140 1 0 2643902 0
[pid=19260/tid=19262] ppid=19257 vsize=10617796 memory=4156 CPUtime=2511.89 cores=0,2,4,6
/proc/19260/task/19262/stat : 19262 (java) R 19257 19260 7084 0 -1 4202560 22108 0 0 0 251183 6 0 0 20 0 16 0 160227252 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139912295226720 139911935894582 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19263] ppid=19257 vsize=10617796 memory=67352 CPUtime=0.86 cores=0,2,4,6
/proc/19260/task/19263/stat : 19263 (java) S 19257 19260 7084 0 -1 1077944384 5698 0 0 0 71 15 0 0 20 0 16 0 160227253 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139912251886224 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19264] ppid=19257 vsize=10617796 memory=-8774313645642428999 CPUtime=0.85 cores=0,2,4,6
/proc/19260/task/19264/stat : 19264 (java) S 19257 19260 7084 0 -1 1077944384 3566 0 0 0 71 14 0 0 20 0 16 0 160227253 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911901403664 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19265] ppid=19257 vsize=10617796 memory=288230621803970871 CPUtime=0.86 cores=0,2,4,6
/proc/19260/task/19265/stat : 19265 (java) S 19257 19260 7084 0 -1 1077944384 4038 0 0 0 72 14 0 0 20 0 16 0 160227253 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911900350864 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19266] ppid=19257 vsize=10617796 memory=13563786715989427 CPUtime=0.86 cores=0,2,4,6
/proc/19260/task/19266/stat : 19266 (java) S 19257 19260 7084 0 -1 1077944384 4399 0 0 0 71 15 0 0 20 0 16 0 160227253 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911899298064 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19267] ppid=19257 vsize=10617796 memory=3908 CPUtime=0.13 cores=0,2,4,6
/proc/19260/task/19267/stat : 19267 (java) S 19257 19260 7084 0 -1 1077944384 4626 0 0 0 11 2 0 0 20 0 16 0 160227254 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911855025008 139912290998914 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19268] ppid=19257 vsize=10617796 memory=16444 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19268/stat : 19268 (java) S 19257 19260 7084 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 160227255 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911853970976 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19269] ppid=19257 vsize=10617796 memory=2840 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19269/stat : 19269 (java) S 19257 19260 7084 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 160227255 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911852918128 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19270] ppid=19257 vsize=10617796 memory=3044 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19270/stat : 19270 (java) S 19257 19260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 160227257 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911851866448 139912291006363 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19271] ppid=19257 vsize=10617796 memory=1156 CPUtime=1.59 cores=0,2,4,6
/proc/19260/task/19271/stat : 19271 (java) S 19257 19260 7084 0 -1 1077944384 13176 0 0 0 157 2 0 0 20 0 16 0 160227257 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911850813808 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19272] ppid=19257 vsize=10617796 memory=3080 CPUtime=1.35 cores=0,2,4,6
/proc/19260/task/19272/stat : 19272 (java) S 19257 19260 7084 0 -1 1077944384 9480 0 0 0 134 1 0 0 20 0 16 0 160227257 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911849761008 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19273] ppid=19257 vsize=10617796 memory=521620 CPUtime=0.44 cores=0,2,4,6
/proc/19260/task/19273/stat : 19273 (java) S 19257 19260 7084 0 -1 1077944384 4718 0 0 0 42 2 0 0 20 0 16 0 160227257 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911780886640 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19274] ppid=19257 vsize=10617796 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19274/stat : 19274 (java) S 19257 19260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 160227257 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911779834080 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19275] ppid=19257 vsize=10617796 memory=3176 CPUtime=1.16 cores=0,2,4,6
/proc/19260/task/19275/stat : 19275 (java) S 19257 19260 7084 0 -1 1077944384 2354 0 0 0 57 59 0 0 20 0 16 0 160227265 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911778782384 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19276] ppid=19257 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19276/stat : 19276 (java) S 19257 19260 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 160227324 10872623104 130405 18446744073709551615 4194304 4196468 140731859740912 139911777727920 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 521620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.61 s]
# the end of solver process 19260 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.09 s, system=1.24299 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2513.6 s]
/proc/loadavg: 2.03 2.06 2.37 3/215 19527
/proc/meminfo: memFree=30843660/32770624 swapFree=67108776/67108860
[pid=19260] ppid=19257 vsize=10817488 memory=521756 CPUtime=2520.31 cores=0,2,4,6
/proc/19260/stat : 19260 (java) S 19257 19260 7084 0 -1 1077944320 76046 0 0 0 251908 123 0 0 20 0 17 0 160227243 11077107712 130439 18446744073709551615 4194304 4196468 140731859740912 140731859723456 139912290987767 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
/proc/19260/statm: 2704372 130439 3143 1 0 2693825 0
[pid=19260/tid=19262] ppid=19257 vsize=10817488 memory=988 CPUtime=2512.08 cores=0,2,4,6
/proc/19260/task/19262/stat : 19262 (java) S 19257 19260 7084 0 -1 1077944384 22135 0 0 0 251202 6 0 0 20 0 17 0 160227252 11077107712 130439 18446744073709551615 4194304 4196468 140731859740912 139912295230640 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19263] ppid=19257 vsize=10817488 memory=12320 CPUtime=0.86 cores=0,2,4,6
/proc/19260/task/19263/stat : 19263 (java) S 19257 19260 7084 0 -1 1077944384 5698 0 0 0 71 15 0 0 20 0 17 0 160227253 11077107712 130439 18446744073709551615 4194304 4196468 140731859740912 139912251886224 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19264] ppid=19257 vsize=10817488 memory=1196 CPUtime=0.85 cores=0,2,4,6
/proc/19260/task/19264/stat : 19264 (java) S 19257 19260 7084 0 -1 1077944384 3566 0 0 0 71 14 0 0 20 0 17 0 160227253 11077107712 130439 18446744073709551615 4194304 4196468 140731859740912 139911901403664 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19265] ppid=19257 vsize=10817488 memory=836 CPUtime=0.86 cores=0,2,4,6
/proc/19260/task/19265/stat : 19265 (java) S 19257 19260 7084 0 -1 1077944384 4038 0 0 0 72 14 0 0 20 0 17 0 160227253 11077107712 130439 18446744073709551615 4194304 4196468 140731859740912 139911900350864 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19266] ppid=19257 vsize=10817488 memory=3908 CPUtime=0.86 cores=0,2,4,6
/proc/19260/task/19266/stat : 19266 (java) S 19257 19260 7084 0 -1 1077944384 4399 0 0 0 71 15 0 0 20 0 17 0 160227253 11077107712 130439 18446744073709551615 4194304 4196468 140731859740912 139911899298064 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19267] ppid=19257 vsize=10817488 memory=16444 CPUtime=0.13 cores=0,2,4,6
/proc/19260/task/19267/stat : 19267 (java) S 19257 19260 7084 0 -1 1077944384 4626 0 0 0 11 2 0 0 20 0 17 0 160227254 11077107712 130439 18446744073709551615 4194304 4196468 140731859740912 139911855025008 139912290998914 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19268] ppid=19257 vsize=10817488 memory=2840 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19268/stat : 19268 (java) S 19257 19260 7084 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 17 0 160227255 11077107712 130439 18446744073709551615 4194304 4196468 140731859740912 139911853970976 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19269] ppid=19257 vsize=10817488 memory=3044 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19269/stat : 19269 (java) S 19257 19260 7084 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 17 0 160227255 11077107712 130439 18446744073709551615 4194304 4196468 140731859740912 139911852918128 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19270] ppid=19257 vsize=10817488 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19270/stat : 19270 (java) S 19257 19260 7084 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 17 0 160227257 11077107712 130439 18446744073709551615 4194304 4196468 140731859740912 139911851866448 139912291006363 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19271] ppid=19257 vsize=10817488 memory=2460 CPUtime=1.59 cores=0,2,4,6
/proc/19260/task/19271/stat : 19271 (java) S 19257 19260 7084 0 -1 1077944384 13193 0 0 0 157 2 0 0 20 0 17 0 160227257 11077107712 130439 18446744073709551615 4194304 4196468 140731859740912 139911850813808 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19272] ppid=19257 vsize=10817488 memory=1836 CPUtime=1.37 cores=0,2,4,6
/proc/19260/task/19272/stat : 19272 (java) S 19257 19260 7084 0 -1 1077944384 9538 0 0 0 136 1 0 0 20 0 17 0 160227257 11077107712 130439 18446744073709551615 4194304 4196468 140731859740912 139911849761008 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19273] ppid=19257 vsize=10817488 memory=796 CPUtime=0.44 cores=0,2,4,6
/proc/19260/task/19273/stat : 19273 (java) S 19257 19260 7084 0 -1 1077944384 4820 0 0 0 42 2 0 0 20 0 17 0 160227257 11077107712 130439 18446744073709551615 4194304 4196468 140731859740912 139911780886640 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19274] ppid=19257 vsize=10817488 memory=5768 CPUtime=0 cores=0,2,4,6
/proc/19260/task/19274/stat : 19274 (java) S 19257 19260 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 160227257 11077107712 130439 18446744073709551615 4194304 4196468 140731859740912 139911779834080 139912290997973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
[pid=19260/tid=19275] ppid=19257 vsize=10817488 memory=4156 CPUtime=1.16 cores=0,2,4,6
/proc/19260/task/19275/stat : 19275 (java) S 19257 19260 7084 0 -1 1077944384 2354 0 0 0 57 59 0 0 20 0 17 0 160227265 11077107712 130439 18446744073709551615 4194304 4196468 140731859740912 139911778782384 139912290998914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140731859743120 140731859743273 140731859743273 140731859746767 0
Current children cumulated CPU time: 2520.31 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 521756 KiB
Child status: 143
Real time (s): 2513.61
CPU time (s): 2520.33
CPU user time (s): 2519.09
CPU system time (s): 1.24299
CPU usage (%): 100.267
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 684072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.09
system time used= 1.24299
maximum resident set size= 684112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76218
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57286
involuntary context switches= 2644
# summary of solver processes directly reported to runsolver:
# pid: 19260
# total CPU time (s): 2520.33
# total CPU user time (s): 2519.09
# total CPU system time (s): 1.24299
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5039 second user time and 23.6069 second system time
The end