runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4243561-1500673722/watcher-4243561-1500673722 -o /tmp/evaluation-result-4243561-1500673722/solver-4243561-1500673722 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500673699-14400 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243561-1500673722.xml
pid=15150
running on 8 cores: 1,3,5,7,9,11,13,15
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.83 1.36 1.64 2/263 15153
/proc/meminfo: memFree=31827332/32770624 swapFree=5912/226576
[pid=15153] ppid=15150 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/stat : 15153 (java) S 15150 15153 9838 0 -1 1077944320 1763 0 0 0 0 0 0 0 20 0 2 0 2642226 369864704 1488 33554432000 4194304 4196468 140726754098528 140726754081072 140012887408375 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
/proc/15153/statm: 2084844 1488 1134 1 0 2073755 0
[pid=15153/tid=15154] ppid=15150 vsize=8339376 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15154/stat : 15154 (java) R 15150 15153 9838 0 -1 4202560 548 0 0 0 0 0 0 0 20 0 2 0 2642227 8539521024 1602 33554432000 4194304 4196468 140726754098528 140012891650464 140012879697824 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[startup+0.100095 s]
/proc/loadavg: 1.83 1.36 1.64 2/263 15153
/proc/meminfo: memFree=31827332/32770624 swapFree=5912/226576
[pid=15153] ppid=15150 vsize=10900556 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15153/stat : 15153 (java) S 15150 15153 9838 0 -1 1077944320 5355 0 0 0 9 1 0 0 20 0 20 0 2642226 11162169344 6992 33554432000 4194304 4196468 140726754098528 140726754081072 140012887408375 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
/proc/15153/statm: 2725139 6992 2821 1 0 2713552 0
[pid=15153/tid=15154] ppid=15150 vsize=10900556 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15154/stat : 15154 (java) R 15150 15153 9838 0 -1 4202560 3273 0 0 0 8 0 0 0 20 0 20 0 2642227 11162169344 6992 33554432000 4194304 4196468 140726754098528 140012891647312 140012871488862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556
[startup+0.200367 s]
/proc/loadavg: 1.83 1.36 1.64 2/263 15153
/proc/meminfo: memFree=31827332/32770624 swapFree=5912/226576
[pid=15153] ppid=15150 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15153/stat : 15153 (java) S 15150 15153 9838 0 -1 1077944320 7517 0 0 0 24 2 0 0 20 0 20 0 2642226 11162169344 9380 33554432000 4194304 4196468 140726754098528 140726754081072 140012887408375 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
/proc/15153/statm: 2725139 9380 2894 1 0 2713552 0
[pid=15153/tid=15154] ppid=15150 vsize=10900556 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15154/stat : 15154 (java) R 15150 15153 9838 0 -1 4202560 5091 0 0 0 16 1 0 0 20 0 20 0 2642227 11162169344 9380 33554432000 4194304 4196468 140726754098528 140012891644296 140012887420310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300399 s]
/proc/loadavg: 1.83 1.36 1.64 2/263 15153
/proc/meminfo: memFree=31827332/32770624 swapFree=5912/226576
[pid=15153] ppid=15150 vsize=10900632 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/15153/stat : 15153 (java) S 15150 15153 9838 0 -1 1077944320 8586 0 0 0 45 3 0 0 20 0 20 0 2642226 11162247168 11439 33554432000 4194304 4196468 140726754098528 140726754081072 140012887408375 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
/proc/15153/statm: 2725158 11439 3008 1 0 2713552 0
[pid=15153/tid=15154] ppid=15150 vsize=10900632 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15154/stat : 15154 (java) R 15150 15153 9838 0 -1 4202560 5615 0 0 0 26 1 0 0 20 0 20 0 2642227 11162247168 11439 33554432000 4194304 4196468 140726754098528 140012891644032 140012871488862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10900632
[startup+0.700266 s]
/proc/loadavg: 1.83 1.36 1.64 2/263 15153
/proc/meminfo: memFree=31827332/32770624 swapFree=5912/226576
[pid=15153] ppid=15150 vsize=10900632 CPUtime=2.22 cores=1,3,5,7,9,11,13,15
/proc/15153/stat : 15153 (java) S 15150 15153 9838 0 -1 1077944320 16162 0 0 0 206 16 0 0 20 0 20 0 2642226 11162247168 54230 33554432000 4194304 4196468 140726754098528 140726754081072 140012887408375 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
/proc/15153/statm: 2725158 54230 3095 1 0 2713552 0
[pid=15153/tid=15154] ppid=15150 vsize=10900632 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15154/stat : 15154 (java) S 15150 15153 9838 0 -1 1077944384 5881 0 0 0 61 4 0 0 20 0 20 0 2642227 11162247168 54742 33554432000 4194304 4196468 140726754098528 140012891635536 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 10900632
[startup+1.50115 s]
/proc/loadavg: 1.83 1.36 1.64 6/283 15173
/proc/meminfo: memFree=31533088/32770624 swapFree=5912/226576
[pid=15153] ppid=15150 vsize=10900632 CPUtime=5.7 cores=1,3,5,7,9,11,13,15
/proc/15153/stat : 15153 (java) S 15150 15153 9838 0 -1 1077944320 19700 0 0 0 511 59 0 0 20 0 20 0 2642226 11162247168 113225 33554432000 4194304 4196468 140726754098528 140726754081072 140012887408375 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
/proc/15153/statm: 2725158 113225 3135 1 0 2713552 0
[pid=15153/tid=15154] ppid=15150 vsize=10900632 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15154/stat : 15154 (java) R 15150 15153 9838 0 -1 4202560 5948 0 0 0 121 5 0 0 20 0 20 0 2642227 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012891635904 140012871785392 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15156] ppid=15150 vsize=10900632 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15156/stat : 15156 (java) S 15150 15153 9838 0 -1 1077944384 85 0 0 0 12 6 0 0 20 0 20 0 2642228 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012848368656 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15157] ppid=15150 vsize=10900632 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15157/stat : 15157 (java) S 15150 15153 9838 0 -1 1077944384 73 0 0 0 9 6 0 0 20 0 20 0 2642228 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012493184144 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15158] ppid=15150 vsize=10900632 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15158/stat : 15158 (java) S 15150 15153 9838 0 -1 1077944384 120 0 0 0 10 4 0 0 20 0 20 0 2642228 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012492131088 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15159] ppid=15150 vsize=10900632 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15159/stat : 15159 (java) S 15150 15153 9838 0 -1 1077944384 132 0 0 0 11 7 0 0 20 0 20 0 2642228 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012491078544 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15160] ppid=15150 vsize=10900632 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15160/stat : 15160 (java) S 15150 15153 9838 0 -1 1077944384 122 0 0 0 9 6 0 0 20 0 20 0 2642228 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012490025488 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15161] ppid=15150 vsize=10900632 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15161/stat : 15161 (java) S 15150 15153 9838 0 -1 1077944384 187 0 0 0 10 7 0 0 20 0 20 0 2642228 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012488972944 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15162] ppid=15150 vsize=10900632 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15162/stat : 15162 (java) S 15150 15153 9838 0 -1 1077944384 109 0 0 0 14 6 0 0 20 0 20 0 2642228 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012487919888 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15163] ppid=15150 vsize=10900632 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15163/stat : 15163 (java) S 15150 15153 9838 0 -1 1077944384 101 0 0 0 9 5 0 0 20 0 20 0 2642228 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012486867344 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15164] ppid=15150 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15164/stat : 15164 (java) S 15150 15153 9838 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 20 0 2642229 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012362337008 140012887419522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15165] ppid=15150 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15165/stat : 15165 (java) S 15150 15153 9838 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2642230 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012361283296 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15166] ppid=15150 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15166/stat : 15166 (java) S 15150 15153 9838 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2642230 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012360230144 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15167] ppid=15150 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15167/stat : 15167 (java) S 15150 15153 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2642233 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012359178704 140012887426971 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15168] ppid=15150 vsize=10900632 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15168/stat : 15168 (java) S 15150 15153 9838 0 -1 1077944384 3705 0 0 0 104 0 0 0 20 0 20 0 2642233 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012358125808 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15169] ppid=15150 vsize=10900632 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15169/stat : 15169 (java) R 15150 15153 9838 0 -1 4202560 3090 0 0 0 96 0 0 0 20 0 20 0 2642233 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012357059280 140012868952606 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15170] ppid=15150 vsize=10900632 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15170/stat : 15170 (java) S 15150 15153 9838 0 -1 1077944384 2913 0 0 0 71 0 0 0 20 0 20 0 2642233 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012356020208 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15171] ppid=15150 vsize=10900632 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15171/stat : 15171 (java) S 15150 15153 9838 0 -1 1077944384 1539 0 0 0 29 1 0 0 20 0 20 0 2642233 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012354967664 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15172] ppid=15150 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15172/stat : 15172 (java) S 15150 15153 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2642233 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012353915872 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15173] ppid=15150 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15173/stat : 15173 (java) S 15150 15153 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2642233 11162247168 113225 33554432000 4194304 4196468 140726754098528 140012352863408 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 10900632
[startup+3.10113 s]
/proc/loadavg: 1.83 1.36 1.64 5/284 15174
/proc/meminfo: memFree=31331212/32770624 swapFree=5912/226576
[pid=15153] ppid=15150 vsize=10967196 CPUtime=8.65 cores=1,3,5,7,9,11,13,15
/proc/15153/stat : 15153 (java) S 15150 15153 9838 0 -1 1077944320 23027 0 0 0 785 80 0 0 20 0 21 0 2642226 11230408704 125791 33554432000 4194304 4196468 140726754098528 140726754081072 140012887408375 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
/proc/15153/statm: 2741799 125791 3143 1 0 2730193 0
[pid=15153/tid=15154] ppid=15150 vsize=10967196 CPUtime=2.8 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15154/stat : 15154 (java) R 15150 15153 9838 0 -1 4202560 6396 0 0 0 274 6 0 0 20 0 21 0 2642227 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012891645064 140012528030577 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15156] ppid=15150 vsize=10967196 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15156/stat : 15156 (java) S 15150 15153 9838 0 -1 1077944384 155 0 0 0 15 8 0 0 20 0 21 0 2642228 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012848368656 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15157] ppid=15150 vsize=10967196 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15157/stat : 15157 (java) S 15150 15153 9838 0 -1 1077944384 109 0 0 0 12 8 0 0 20 0 21 0 2642228 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012493184144 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15158] ppid=15150 vsize=10967196 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15158/stat : 15158 (java) S 15150 15153 9838 0 -1 1077944384 191 0 0 0 14 6 0 0 20 0 21 0 2642228 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012492131088 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15159] ppid=15150 vsize=10967196 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15159/stat : 15159 (java) S 15150 15153 9838 0 -1 1077944384 185 0 0 0 15 9 0 0 20 0 21 0 2642228 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012491078544 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15160] ppid=15150 vsize=10967196 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15160/stat : 15160 (java) S 15150 15153 9838 0 -1 1077944384 166 0 0 0 13 9 0 0 20 0 21 0 2642228 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012490025488 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15161] ppid=15150 vsize=10967196 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15161/stat : 15161 (java) S 15150 15153 9838 0 -1 1077944384 235 0 0 0 13 9 0 0 20 0 21 0 2642228 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012488972944 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15162] ppid=15150 vsize=10967196 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15162/stat : 15162 (java) S 15150 15153 9838 0 -1 1077944384 137 0 0 0 17 9 0 0 20 0 21 0 2642228 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012487919888 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15163] ppid=15150 vsize=10967196 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15163/stat : 15163 (java) S 15150 15153 9838 0 -1 1077944384 276 0 0 0 13 8 0 0 20 0 21 0 2642228 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012486867344 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15164] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15164/stat : 15164 (java) S 15150 15153 9838 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 21 0 2642229 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012362337008 140012887419522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15165] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15165/stat : 15165 (java) S 15150 15153 9838 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 2642230 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012361283296 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15166] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15166/stat : 15166 (java) S 15150 15153 9838 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 2642230 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012360230144 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15167] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15167/stat : 15167 (java) S 15150 15153 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2642233 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012359178704 140012887426971 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15168] ppid=15150 vsize=10967196 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15168/stat : 15168 (java) S 15150 15153 9838 0 -1 1077944384 3790 0 0 0 125 0 0 0 20 0 21 0 2642233 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012358125808 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15169] ppid=15150 vsize=10967196 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15169/stat : 15169 (java) S 15150 15153 9838 0 -1 1077944384 5059 0 0 0 137 0 0 0 20 0 21 0 2642233 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012357073264 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15170] ppid=15150 vsize=10967196 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15170/stat : 15170 (java) S 15150 15153 9838 0 -1 1077944384 2962 0 0 0 93 0 0 0 20 0 21 0 2642233 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012356020208 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15171] ppid=15150 vsize=10967196 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15171/stat : 15171 (java) S 15150 15153 9838 0 -1 1077944384 1663 0 0 0 37 1 0 0 20 0 21 0 2642233 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012354967664 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15172] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15172/stat : 15172 (java) S 15150 15153 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2642233 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012353915872 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15173] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15173/stat : 15173 (java) S 15150 15153 9838 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 2642233 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012352863408 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15174] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15174/stat : 15174 (java) S 15150 15153 9838 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2642422 11230408704 125791 33554432000 4194304 4196468 140726754098528 140012351808688 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
Current children cumulated CPU time (s) 8.65
Current children cumulated vsize (KiB) 10967196
[startup+6.30086 s]
/proc/loadavg: 1.76 1.36 1.64 3/284 15174
/proc/meminfo: memFree=31333388/32770624 swapFree=5912/226576
[pid=15153] ppid=15150 vsize=10967196 CPUtime=12.22 cores=1,3,5,7,9,11,13,15
/proc/15153/stat : 15153 (java) S 15150 15153 9838 0 -1 1077944320 27256 0 0 0 1142 80 0 0 20 0 21 0 2642226 11230408704 123644 33554432000 4194304 4196468 140726754098528 140726754081072 140012887408375 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
/proc/15153/statm: 2741799 123644 3153 1 0 2730193 0
[pid=15153/tid=15154] ppid=15150 vsize=10967196 CPUtime=6 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15154/stat : 15154 (java) R 15150 15153 9838 0 -1 4202560 6475 0 0 0 594 6 0 0 20 0 21 0 2642227 11230408704 123644 33554432000 4194304 4196468 140726754098528 140012891643288 140012528310608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15156] ppid=15150 vsize=10967196 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15156/stat : 15156 (java) S 15150 15153 9838 0 -1 1077944384 155 0 0 0 15 8 0 0 20 0 21 0 2642228 11230408704 123644 33554432000 4194304 4196468 140726754098528 140012848368656 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15157] ppid=15150 vsize=10967196 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15157/stat : 15157 (java) S 15150 15153 9838 0 -1 1077944384 109 0 0 0 12 8 0 0 20 0 21 0 2642228 11230408704 123644 33554432000 4194304 4196468 140726754098528 140012493184144 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15158] ppid=15150 vsize=10967196 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15158/stat : 15158 (java) S 15150 15153 9838 0 -1 1077944384 191 0 0 0 14 6 0 0 20 0 21 0 2642228 11230408704 123644 33554432000 4194304 4196468 140726754098528 140012492131088 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15159] ppid=15150 vsize=10967196 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15159/stat : 15159 (java) S 15150 15153 9838 0 -1 1077944384 185 0 0 0 15 9 0 0 20 0 21 0 2642228 11230408704 123644 33554432000 4194304 4196468 140726754098528 140012491078544 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15160] ppid=15150 vsize=10967196 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15160/stat : 15160 (java) S 15150 15153 9838 0 -1 1077944384 166 0 0 0 13 9 0 0 20 0 21 0 2642228 11230408704 123644 33554432000 4194304 4196468 140726754098528 140012490025488 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15161] ppid=15150 vsize=10967196 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15161/stat : 15161 (java) S 15150 15153 9838 0 -1 1077944384 235 0 0 0 13 9 0 0 20 0 21 0 2642228 11230408704 123644 33554432000 4194304 4196468 140726754098528 140012488972944 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15162] ppid=15150 vsize=10967196 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15162/stat : 15162 (java) S 15150 15153 9838 0 -1 1077944384 137 0 0 0 17 9 0 0 20 0 21 0 2642228 11230408704 123644 33554432000 4194304 4196468 140726754098528 140012487919888 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15163] ppid=15150 vsize=10967196 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15163/stat : 15163 (java) S 15150 15153 9838 0 -1 1077944384 276 0 0 0 13 8 0 0 20 0 21 0 2642228 11230408704 123644 33554432000 4194304 4196468 140726754098528 140012486867344 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15164] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15164/stat : 15164 (java) S 15150 15153 9838 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 21 0 2642229 11230408704 123644 33554432000 4194304 4196468 140726754098528 140012362337008 140012887419522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15165] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15165/stat : 15165 (java) S 15150 15153 9838 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 2642230 11230408704 123644 33554432000 4194304 4196468 140726754098528 140012361283296 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15166] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=15153/tid=15172] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15172/stat : 15172 (java) S 15150 15153 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2642233 11230408704 199707 33554432000 4194304 4196468 140726754098528 140012353915872 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15173] ppid=15150 vsize=10967196 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15173/stat : 15173 (java) S 15150 15153 9838 0 -1 1077944384 1979 0 0 0 52 63 0 0 20 0 21 0 2642233 11230408704 199707 33554432000 4194304 4196468 140726754098528 140012352863408 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15174] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15174/stat : 15174 (java) S 15150 15153 9838 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2642422 11230408704 199707 33554432000 4194304 4196468 140726754098528 140012351808688 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
Current children cumulated CPU time (s) 2329.06
Current children cumulated vsize (KiB) 10967196
[startup+2382.3 s]
/proc/loadavg: 1.01 2.34 4.24 2/256 15938
/proc/meminfo: memFree=31109084/32770624 swapFree=5912/229552
[pid=15153] ppid=15150 vsize=10967196 CPUtime=2389.79 cores=1,3,5,7,9,11,13,15
/proc/15153/stat : 15153 (java) S 15150 15153 9838 0 -1 1077944320 51716 0 0 0 238774 205 0 0 20 0 21 0 2642226 11230408704 222235 33554432000 4194304 4196468 140726754098528 140726754081072 140012887408375 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
/proc/15153/statm: 2741799 222235 3153 1 0 2730193 0
[pid=15153/tid=15154] ppid=15150 vsize=10967196 CPUtime=2380.65 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15154/stat : 15154 (java) R 15150 15153 9838 0 -1 4202560 18909 0 0 0 238054 11 0 0 20 0 21 0 2642227 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012891647312 140012528128214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15156] ppid=15150 vsize=10967196 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15156/stat : 15156 (java) S 15150 15153 9838 0 -1 1077944384 385 0 0 0 26 15 0 0 20 0 21 0 2642228 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012848368656 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15157] ppid=15150 vsize=10967196 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15157/stat : 15157 (java) S 15150 15153 9838 0 -1 1077944384 271 0 0 0 21 17 0 0 20 0 21 0 2642228 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012493184144 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15158] ppid=15150 vsize=10967196 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15158/stat : 15158 (java) S 15150 15153 9838 0 -1 1077944384 523 0 0 0 23 14 0 0 20 0 21 0 2642228 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012492131088 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15159] ppid=15150 vsize=10967196 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15159/stat : 15159 (java) S 15150 15153 9838 0 -1 1077944384 264 0 0 0 24 17 0 0 20 0 21 0 2642228 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012491078544 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15160] ppid=15150 vsize=10967196 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15160/stat : 15160 (java) S 15150 15153 9838 0 -1 1077944384 281 0 0 0 22 17 0 0 20 0 21 0 2642228 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012490025488 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15161] ppid=15150 vsize=10967196 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15161/stat : 15161 (java) S 15150 15153 9838 0 -1 1077944384 348 0 0 0 22 17 0 0 20 0 21 0 2642228 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012488972944 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15162] ppid=15150 vsize=10967196 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15162/stat : 15162 (java) S 15150 15153 9838 0 -1 1077944384 661 0 0 0 27 16 0 0 20 0 21 0 2642228 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012487919888 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15163] ppid=15150 vsize=10967196 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15163/stat : 15163 (java) S 15150 15153 9838 0 -1 1077944384 666 0 0 0 22 16 0 0 20 0 21 0 2642228 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012486867344 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15164] ppid=15150 vsize=10967196 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15164/stat : 15164 (java) S 15150 15153 9838 0 -1 1077944384 1474 0 0 0 3 3 0 0 20 0 21 0 2642229 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012362337008 140012887419522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15165] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15165/stat : 15165 (java) S 15150 15153 9838 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 2642230 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012361283296 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15166] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15166/stat : 15166 (java) S 15150 15153 9838 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 2642230 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012360230144 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15167] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15167/stat : 15167 (java) S 15150 15153 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2642233 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012359178704 140012887426971 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15168] ppid=15150 vsize=10967196 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15168/stat : 15168 (java) S 15150 15153 9838 0 -1 1077944384 6413 0 0 0 150 1 0 0 20 0 21 0 2642233 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012358125808 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15169] ppid=15150 vsize=10967196 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15169/stat : 15169 (java) S 15150 15153 9838 0 -1 1077944384 7716 0 0 0 150 0 0 0 20 0 21 0 2642233 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012357073264 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15170] ppid=15150 vsize=10967196 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15170/stat : 15170 (java) S 15150 15153 9838 0 -1 1077944384 7772 0 0 0 115 1 0 0 20 0 21 0 2642233 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012356020208 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15171] ppid=15150 vsize=10967196 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15171/stat : 15171 (java) S 15150 15153 9838 0 -1 1077944384 2635 0 0 0 39 1 0 0 20 0 21 0 2642233 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012354967664 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15172] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15172/stat : 15172 (java) S 15150 15153 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2642233 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012353915872 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15173] ppid=15150 vsize=10967196 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15173/stat : 15173 (java) S 15150 15153 9838 0 -1 1077944384 2012 0 0 0 54 66 0 0 20 0 21 0 2642233 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012352863408 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15174] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15174/stat : 15174 (java) S 15150 15153 9838 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2642422 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012351808688 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
Current children cumulated CPU time (s) 2389.79
Current children cumulated vsize (KiB) 10967196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2392.61 s]
/proc/loadavg: 1.01 2.29 4.20 2/256 15938
/proc/meminfo: memFree=31109084/32770624 swapFree=5912/229552
[pid=15153] ppid=15150 vsize=10967196 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/15153/stat : 15153 (java) S 15150 15153 9838 0 -1 1077944320 51716 0 0 0 239804 205 0 0 20 0 21 0 2642226 11230408704 222235 33554432000 4194304 4196468 140726754098528 140726754081072 140012887408375 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
/proc/15153/statm: 2741799 222235 3153 1 0 2730193 0
[pid=15153/tid=15154] ppid=15150 vsize=10967196 CPUtime=2390.95 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15154/stat : 15154 (java) R 15150 15153 9838 0 -1 4202560 18909 0 0 0 239084 11 0 0 20 0 21 0 2642227 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012891647312 140012528029184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15156] ppid=15150 vsize=10967196 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15156/stat : 15156 (java) S 15150 15153 9838 0 -1 1077944384 385 0 0 0 26 15 0 0 20 0 21 0 2642228 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012848368656 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15157] ppid=15150 vsize=10967196 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15157/stat : 15157 (java) S 15150 15153 9838 0 -1 1077944384 271 0 0 0 21 17 0 0 20 0 21 0 2642228 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012493184144 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15158] ppid=15150 vsize=10967196 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15158/stat : 15158 (java) S 15150 15153 9838 0 -1 1077944384 523 0 0 0 23 14 0 0 20 0 21 0 2642228 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012492131088 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15159] ppid=15150 vsize=10967196 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15159/stat : 15159 (java) S 15150 15153 9838 0 -1 1077944384 264 0 0 0 24 17 0 0 20 0 21 0 2642228 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012491078544 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15160] ppid=15150 vsize=10967196 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15160/stat : 15160 (java) S 15150 15153 9838 0 -1 1077944384 281 0 0 0 22 17 0 0 20 0 21 0 2642228 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012490025488 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15161] ppid=15150 vsize=10967196 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15161/stat : 15161 (java) S 15150 15153 9838 0 -1 1077944384 348 0 0 0 22 17 0 0 20 0 21 0 2642228 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012488972944 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15162] ppid=15150 vsize=10967196 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15162/stat : 15162 (java) S 15150 15153 9838 0 -1 1077944384 661 0 0 0 27 16 0 0 20 0 21 0 2642228 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012487919888 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15163] ppid=15150 vsize=10967196 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15163/stat : 15163 (java) S 15150 15153 9838 0 -1 1077944384 666 0 0 0 22 16 0 0 20 0 21 0 2642228 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012486867344 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15164] ppid=15150 vsize=10967196 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15164/stat : 15164 (java) S 15150 15153 9838 0 -1 1077944384 1474 0 0 0 3 3 0 0 20 0 21 0 2642229 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012362337008 140012887419522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15165] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15165/stat : 15165 (java) S 15150 15153 9838 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 2642230 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012361283296 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15166] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15166/stat : 15166 (java) S 15150 15153 9838 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 2642230 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012360230144 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15167] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15167/stat : 15167 (java) S 15150 15153 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2642233 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012359178704 140012887426971 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15168] ppid=15150 vsize=10967196 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15168/stat : 15168 (java) S 15150 15153 9838 0 -1 1077944384 6413 0 0 0 150 1 0 0 20 0 21 0 2642233 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012358125808 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15169] ppid=15150 vsize=10967196 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15169/stat : 15169 (java) S 15150 15153 9838 0 -1 1077944384 7716 0 0 0 150 0 0 0 20 0 21 0 2642233 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012357073264 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15170] ppid=15150 vsize=10967196 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15170/stat : 15170 (java) S 15150 15153 9838 0 -1 1077944384 7772 0 0 0 115 1 0 0 20 0 21 0 2642233 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012356020208 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15171] ppid=15150 vsize=10967196 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15171/stat : 15171 (java) S 15150 15153 9838 0 -1 1077944384 2635 0 0 0 39 1 0 0 20 0 21 0 2642233 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012354967664 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15172] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15172/stat : 15172 (java) S 15150 15153 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2642233 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012353915872 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15173] ppid=15150 vsize=10967196 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15173/stat : 15173 (java) S 15150 15153 9838 0 -1 1077944384 2012 0 0 0 54 66 0 0 20 0 21 0 2642233 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012352863408 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15174] ppid=15150 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15174/stat : 15174 (java) S 15150 15153 9838 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2642422 11230408704 222235 33554432000 4194304 4196468 140726754098528 140012351808688 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 10967196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15153 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2392.8 s]
/proc/loadavg: 1.01 2.29 4.20 2/256 15938
/proc/meminfo: memFree=31109084/32770624 swapFree=5912/229552
[pid=15153] ppid=15150 vsize=11166888 CPUtime=2400.11 cores=1,3,5,7,9,11,13,15
/proc/15153/stat : 15153 (java) S 15150 15153 9838 0 -1 1077944320 52313 0 0 0 239806 205 0 0 20 0 22 0 2642226 11434893312 222290 33554432000 4194304 4196468 140726754098528 140726754081072 140012887408375 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
/proc/15153/statm: 2791722 222290 3155 1 0 2780116 0
[pid=15153/tid=15154] ppid=15150 vsize=11166888 CPUtime=2390.96 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15154/stat : 15154 (java) S 15150 15153 9838 0 -1 1077944384 18982 0 0 0 239085 11 0 0 20 0 22 0 2642227 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012891651248 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15156] ppid=15150 vsize=11166888 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15156/stat : 15156 (java) S 15150 15153 9838 0 -1 1077944384 385 0 0 0 26 15 0 0 20 0 22 0 2642228 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012848368656 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15157] ppid=15150 vsize=11166888 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15157/stat : 15157 (java) S 15150 15153 9838 0 -1 1077944384 271 0 0 0 21 17 0 0 20 0 22 0 2642228 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012493184144 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15158] ppid=15150 vsize=11166888 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15158/stat : 15158 (java) S 15150 15153 9838 0 -1 1077944384 523 0 0 0 23 14 0 0 20 0 22 0 2642228 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012492131088 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15159] ppid=15150 vsize=11166888 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15159/stat : 15159 (java) S 15150 15153 9838 0 -1 1077944384 264 0 0 0 24 17 0 0 20 0 22 0 2642228 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012491078544 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15160] ppid=15150 vsize=11166888 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15160/stat : 15160 (java) S 15150 15153 9838 0 -1 1077944384 281 0 0 0 22 17 0 0 20 0 22 0 2642228 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012490025488 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15161] ppid=15150 vsize=11166888 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15161/stat : 15161 (java) S 15150 15153 9838 0 -1 1077944384 348 0 0 0 22 17 0 0 20 0 22 0 2642228 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012488972944 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15162] ppid=15150 vsize=11166888 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15162/stat : 15162 (java) S 15150 15153 9838 0 -1 1077944384 661 0 0 0 27 16 0 0 20 0 22 0 2642228 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012487919888 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15163] ppid=15150 vsize=11166888 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15163/stat : 15163 (java) S 15150 15153 9838 0 -1 1077944384 666 0 0 0 22 16 0 0 20 0 22 0 2642228 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012486867344 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15164] ppid=15150 vsize=11166888 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15164/stat : 15164 (java) S 15150 15153 9838 0 -1 1077944384 1474 0 0 0 3 3 0 0 20 0 22 0 2642229 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012362337008 140012887419522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15165] ppid=15150 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15165/stat : 15165 (java) S 15150 15153 9838 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 22 0 2642230 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012361283296 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15166] ppid=15150 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15166/stat : 15166 (java) S 15150 15153 9838 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 22 0 2642230 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012360230144 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15167] ppid=15150 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15167/stat : 15167 (java) S 15150 15153 9838 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 22 0 2642233 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012359178704 140012887426971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15168] ppid=15150 vsize=11166888 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15168/stat : 15168 (java) S 15150 15153 9838 0 -1 1077944384 6413 0 0 0 150 1 0 0 20 0 22 0 2642233 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012358125808 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15169] ppid=15150 vsize=11166888 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15169/stat : 15169 (java) S 15150 15153 9838 0 -1 1077944384 7716 0 0 0 150 0 0 0 20 0 22 0 2642233 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012357073264 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15170] ppid=15150 vsize=11166888 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15170/stat : 15170 (java) S 15150 15153 9838 0 -1 1077944384 7772 0 0 0 115 1 0 0 20 0 22 0 2642233 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012356020208 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15171] ppid=15150 vsize=11166888 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15171/stat : 15171 (java) S 15150 15153 9838 0 -1 1077944384 2783 0 0 0 39 1 0 0 20 0 22 0 2642233 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012354967664 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15172] ppid=15150 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15172/stat : 15172 (java) S 15150 15153 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2642233 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012353915872 140012887418581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
[pid=15153/tid=15173] ppid=15150 vsize=11166888 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/15153/task/15173/stat : 15173 (java) S 15150 15153 9838 0 -1 1077944384 2012 0 0 0 54 66 0 0 20 0 22 0 2642233 11434893312 222290 33554432000 4194304 4196468 140726754098528 140012352863408 140012887419522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19308544 140726754104491 140726754104644 140726754104644 140726754107343 0
Current children cumulated CPU time (s) 2400.11
Current children cumulated vsize (KiB) 11166888
Child status: 143
Real time (s): 2392.88
CPU time (s): 2400.2
CPU user time (s): 2398.14
CPU system time (s): 2.06227
CPU usage (%): 100.306
Max. virtual memory (cumulated for all children) (KiB): 11166888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.14
system time used= 2.06227
maximum resident set size= 889644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52655
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54734
involuntary context switches= 121172
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7465 second user time and 18.7982 second system time
The end