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 (14733 MiB free)
memory of node 1: 16384 MiB (14461 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400704-1568680559/watcher-4400704-1568680559 -o /tmp/evaluation-result-4400704-1568680559/solver-4400704-1568680559 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568669613-18172 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=580007786 HOME/instance-4400704-1568680559.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=20287, runsolver pid=20284
[startup+0.100064 s]*
/proc/loadavg: 1.40 1.42 1.43 3/219 20344
/proc/meminfo: memFree=29888108/32770624 swapFree=66926512/67108860
[pid=20287] ppid=20284 vsize=9972712 memory=16816 CPUtime=0.1 cores=0,2,4,6
/proc/20287/stat : 20287 (java) S 20284 20287 18141 0 -1 1077944320 4457 13141 0 0 1 1 5 3 20 0 6 0 444311741 10212057088 4204 33554432000 4194304 4196468 140725760603952 140725760586496 140074355154679 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
/proc/20287/statm: 2493178 4204 1935 1 0 2481616 0
[pid=20287/tid=20340] ppid=20284 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20340/stat : 20340 (java) R 20284 20287 18141 0 -1 4202560 2264 13141 0 0 0 0 5 3 20 0 6 0 444311751 10212057088 4204 33554432000 4194304 4196468 140725760603952 140074326991440 140074339235166 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20341] ppid=20284 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20341/stat : 20341 (java) S 20284 20287 18141 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 6 0 444311751 10212057088 4204 33554432000 4194304 4196468 140725760603952 140074359396624 140074355164885 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20342] ppid=20284 vsize=9972712 memory=139881648418882 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20342/stat : 20342 (java) S 20284 20287 18141 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 6 0 444311751 10212057088 4204 33554432000 4194304 4196468 140725760603952 140074258286992 140074355164885 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20343] ppid=20284 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20343/stat : 20343 (java) S 20284 20287 18141 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 6 0 444311751 10212057088 4204 33554432000 4194304 4196468 140725760603952 140074257234448 140074355164885 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20344] ppid=20284 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20344/stat : 20344 (java) S 20284 20287 18141 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 6 0 444311751 10212057088 4204 33554432000 4194304 4196468 140725760603952 140074256181904 140074355164885 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB
[startup+0.210205 s]*
/proc/loadavg: 1.40 1.42 1.43 4/228 20353
/proc/meminfo: memFree=29866456/32770624 swapFree=66926512/67108860
[pid=20287] ppid=20284 vsize=10820184 memory=44240 CPUtime=0.27 cores=0,2,4,6
/proc/20287/stat : 20287 (java) S 20284 20287 18141 0 -1 1077944320 7365 13141 0 0 18 1 5 3 20 0 15 0 444311741 11079868416 11060 33554432000 4194304 4196468 140725760603952 140725760586496 140074355154679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
/proc/20287/statm: 2705046 11060 3270 1 0 2667149 0
[pid=20287/tid=20340] ppid=20284 vsize=10820196 memory=729618466009055537 CPUtime=0.2 cores=0,2,4,6
/proc/20287/task/20340/stat : 20340 (java) R 20284 20287 18141 0 -1 4202560 3880 13141 0 0 11 1 5 3 20 0 15 0 444311751 11079880704 11060 33554432000 4194304 4196468 140725760603952 140074326987392 140074355176605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20341] ppid=20284 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20341/stat : 20341 (java) S 20284 20287 18141 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 444311751 11079880704 11060 33554432000 4194304 4196468 140725760603952 140074359396624 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20342] ppid=20284 vsize=10820196 memory=139881648418882 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20342/stat : 20342 (java) S 20284 20287 18141 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 444311751 11079880704 11060 33554432000 4194304 4196468 140725760603952 140074258286992 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20343] ppid=20284 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20343/stat : 20343 (java) S 20284 20287 18141 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 444311751 11079880704 11060 33554432000 4194304 4196468 140725760603952 140074257234448 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20344] ppid=20284 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20344/stat : 20344 (java) S 20284 20287 18141 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 444311751 11079880704 11060 33554432000 4194304 4196468 140725760603952 140074256181904 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20345] ppid=20284 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20345/stat : 20345 (java) S 20284 20287 18141 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 444311753 11079880704 11060 33554432000 4194304 4196468 140725760603952 140073813953008 140074355165826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20346] ppid=20284 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20346/stat : 20346 (java) S 20284 20287 18141 0 -1 1077944384 13 13141 0 0 0 0 5 3 20 0 15 0 444311753 11079880704 11060 33554432000 4194304 4196468 140725760603952 140073714574752 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20347] ppid=20284 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20347/stat : 20347 (java) S 20284 20287 18141 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 444311754 11079880704 11060 33554432000 4194304 4196468 140725760603952 140073110595056 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20348] ppid=20284 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20348/stat : 20348 (java) S 20284 20287 18141 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 444311756 11079880704 11060 33554432000 4194304 4196468 140725760603952 140072870304464 140074355173275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20349] ppid=20284 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20287/task/20349/stat : 20349 (java) S 20284 20287 18141 0 -1 1077944384 360 13141 0 0 1 0 5 3 20 0 15 0 444311756 11079880704 11060 33554432000 4194304 4196468 140725760603952 140073812899824 140074355165826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20350] ppid=20284 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/20287/task/20350/stat : 20350 (java) R 20284 20287 18141 0 -1 4202560 302 13141 0 0 1 0 5 3 20 0 15 0 444311756 11079880704 11060 33554432000 4194304 4196468 140725760603952 140073811847280 140074334422152 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20351] ppid=20284 vsize=10820196 memory=139881648400000 CPUtime=0.11 cores=0,2,4,6
/proc/20287/task/20351/stat : 20351 (java) S 20284 20287 18141 0 -1 1077944384 598 13141 0 0 3 0 5 3 20 0 15 0 444311756 11079880704 11060 33554432000 4194304 4196468 140725760603952 140073810794736 140074355165826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20352] ppid=20284 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20352/stat : 20352 (java) S 20284 20287 18141 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 444311756 11079880704 11060 33554432000 4194304 4196468 140725760603952 140072836745824 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20353] ppid=20284 vsize=10820196 memory=139881648400000 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20353/stat : 20353 (java) S 20284 20287 18141 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 444311757 11079880704 11060 33554432000 4194304 4196468 140725760603952 140073809742640 140074355165826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820184 KiB
Current children cumulated memory: 44240 KiB
[startup+0.310756 s]*
/proc/loadavg: 1.40 1.42 1.43 3/228 20353
/proc/meminfo: memFree=29853748/32770624 swapFree=66926512/67108860
[pid=20287] ppid=20284 vsize=10820196 memory=52520 CPUtime=0.41 cores=0,2,4,6
/proc/20287/stat : 20287 (java) S 20284 20287 18141 0 -1 1077944320 10843 13141 0 0 30 3 5 3 20 0 15 0 444311741 11079880704 13130 33554432000 4194304 4196468 140725760603952 140725760586496 140074355154679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
/proc/20287/statm: 2705049 13130 3318 1 0 2667149 0
[pid=20287/tid=20340] ppid=20284 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/20287/task/20340/stat : 20340 (java) R 20284 20287 18141 0 -1 4202560 7331 13141 0 0 19 2 5 3 20 0 15 0 444311751 11079880704 13130 33554432000 4194304 4196468 140725760603952 140074326960048 140074340320339 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20341] ppid=20284 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20341/stat : 20341 (java) S 20284 20287 18141 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 444311751 11079880704 13130 33554432000 4194304 4196468 140725760603952 140074359396624 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20342] ppid=20284 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20342/stat : 20342 (java) S 20284 20287 18141 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 444311751 11079880704 13130 33554432000 4194304 4196468 140725760603952 140074258286992 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20343] ppid=20284 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20343/stat : 20343 (java) S 20284 20287 18141 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 444311751 11079880704 13130 33554432000 4194304 4196468 140725760603952 140074257234448 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20344] ppid=20284 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20344/stat : 20344 (java) S 20284 20287 18141 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 444311751 11079880704 13130 33554432000 4194304 4196468 140725760603952 140074256181904 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20345] ppid=20284 vsize=10820196 memory=139881648399999 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20345/stat : 20345 (java) S 20284 20287 18141 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 444311753 11079880704 13130 33554432000 4194304 4196468 140725760603952 140073813953008 140074355165826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20346] ppid=20284 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20346/stat : 20346 (java) S 20284 20287 18141 0 -1 1077944384 13 13141 0 0 0 0 5 3 20 0 15 0 444311753 11079880704 13130 33554432000 4194304 4196468 140725760603952 140073714574752 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20347] ppid=20284 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20347/stat : 20347 (java) S 20284 20287 18141 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 444311754 11079880704 13130 33554432000 4194304 4196468 140725760603952 140073110595056 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20348] ppid=20284 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20348/stat : 20348 (java) S 20284 20287 18141 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 444311756 11079880704 13130 33554432000 4194304 4196468 140725760603952 140072870304464 140074355173275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20349] ppid=20284 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20287/task/20349/stat : 20349 (java) S 20284 20287 18141 0 -1 1077944384 360 13141 0 0 1 0 5 3 20 0 15 0 444311756 11079880704 13130 33554432000 4194304 4196468 140725760603952 140073812899824 140074355165826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20350] ppid=20284 vsize=10820196 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/20287/task/20350/stat : 20350 (java) S 20284 20287 18141 0 -1 1077944384 312 13141 0 0 2 0 5 3 20 0 15 0 444311756 11079880704 13130 33554432000 4194304 4196468 140725760603952 140073811847280 140074355165826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20351] ppid=20284 vsize=10820196 memory=139881648400000 CPUtime=0.13 cores=0,2,4,6
/proc/20287/task/20351/stat : 20351 (java) S 20284 20287 18141 0 -1 1077944384 605 13141 0 0 5 0 5 3 20 0 15 0 444311756 11079880704 13130 33554432000 4194304 4196468 140725760603952 140073810794736 140074355165826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20352] ppid=20284 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20352/stat : 20352 (java) S 20284 20287 18141 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 444311756 11079880704 13130 33554432000 4194304 4196468 140725760603952 140072836745824 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20353] ppid=20284 vsize=10820196 memory=139881648400000 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20353/stat : 20353 (java) S 20284 20287 18141 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 444311757 11079880704 13130 33554432000 4194304 4196468 140725760603952 140073809742640 140074355165826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52520 KiB
[startup+0.700676 s]
/proc/loadavg: 1.40 1.42 1.43 4/228 20353
/proc/meminfo: memFree=29839232/32770624 swapFree=66926512/67108860
[pid=20287] ppid=20284 vsize=10824364 memory=85412 CPUtime=1.11 cores=0,2,4,6
/proc/20287/stat : 20287 (java) S 20284 20287 18141 0 -1 1077944320 15057 13141 0 0 97 6 5 3 20 0 15 0 444311741 11084148736 21353 33554432000 4194304 4196468 140725760603952 140725760586496 140074355154679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
/proc/20287/statm: 2706091 21353 3507 1 0 2668173 0
[pid=20287/tid=20340] ppid=20284 vsize=10824364 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/20287/task/20340/stat : 20340 (java) R 20284 20287 18141 0 -1 4202560 10385 13141 0 0 55 4 5 3 20 0 15 0 444311751 11084148736 21353 33554432000 4194304 4196468 140725760603952 140074326981552 140074333599006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20341] ppid=20284 vsize=10824364 memory=1284 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20341/stat : 20341 (java) S 20284 20287 18141 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 444311751 11084148736 21353 33554432000 4194304 4196468 140725760603952 140074359396624 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20342] ppid=20284 vsize=10824364 memory=1044 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20342/stat : 20342 (java) S 20284 20287 18141 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 444311751 11084148736 21353 33554432000 4194304 4196468 140725760603952 140074258286992 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20343] ppid=20284 vsize=10824364 memory=33 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20343/stat : 20343 (java) S 20284 20287 18141 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 444311751 11084148736 21353 33554432000 4194304 4196468 140725760603952 140074257234448 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20344] ppid=20284 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20344/stat : 20344 (java) S 20284 20287 18141 0 -1 1077944384 2 13141 0 0 0 0 5 3 20 0 15 0 444311751 11084148736 21353 33554432000 4194304 4196468 140725760603952 140074256181904 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20345] ppid=20284 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20345/stat : 20345 (java) S 20284 20287 18141 0 -1 1077944384 5 13141 0 0 0 0 5 3 20 0 15 0 444311753 11084148736 21353 33554432000 4194304 4196468 140725760603952 140073813953008 140074355165826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20346] ppid=20284 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20346/stat : 20346 (java) S 20284 20287 18141 0 -1 1077944384 13 13141 0 0 0 0 5 3 20 0 15 0 444311753 11084148736 21353 33554432000 4194304 4196468 140725760603952 140073714574752 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20347] ppid=20284 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20347/stat : 20347 (java) S 20284 20287 18141 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 444311754 11084148736 21353 33554432000 4194304 4196468 140725760603952 140073110595056 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20348] ppid=20284 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20348/stat : 20348 (java) S 20284 20287 18141 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 444311756 11084148736 21353 33554432000 4194304 4196468 140725760603952 140072870304464 140074355173275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20349] ppid=20284 vsize=10824364 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/20287/task/20349/stat : 20349 (java) R 20284 20287 18141 0 -1 4202560 775 13141 0 0 12 0 5 3 20 0 15 0 444311756 11084148736 21353 33554432000 4194304 4196468 140725760603952 140073812899824 140074340060163 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20350] ppid=20284 vsize=10824364 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/20287/task/20350/stat : 20350 (java) R 20284 20287 18141 0 -1 4202560 791 13141 0 0 12 0 5 3 20 0 15 0 444311756 11084148736 21353 33554432000 4194304 4196468 140725760603952 140073811847280 140074355176026 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20351] ppid=20284 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/20287/task/20351/stat : 20351 (java) S 20284 20287 18141 0 -1 1077944384 868 13141 0 0 17 0 5 3 20 0 15 0 444311756 11084148736 21353 33554432000 4194304 4196468 140725760603952 140073810794736 140074355165826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20352] ppid=20284 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20352/stat : 20352 (java) S 20284 20287 18141 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 444311756 11084148736 21353 33554432000 4194304 4196468 140725760603952 140072836745824 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20353] ppid=20284 vsize=10824364 memory=3580 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20353/stat : 20353 (java) S 20284 20287 18141 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 444311757 11084148736 21353 33554432000 4194304 4196468 140725760603952 140073809742640 140074355165826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85412 KiB
[startup+1.50075 s]
/proc/loadavg: 1.40 1.42 1.43 5/228 20353
/proc/meminfo: memFree=29791584/32770624 swapFree=66926512/67108860
[pid=20287] ppid=20284 vsize=10834680 memory=192328 CPUtime=2.89 cores=0,2,4,6
/proc/20287/stat : 20287 (java) S 20284 20287 18141 0 -1 1077944320 22888 13141 0 0 271 10 5 3 20 0 15 0 444311741 11094712320 48082 33554432000 4194304 4196468 140725760603952 140725760586496 140074355154679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
/proc/20287/statm: 2708670 48082 3586 1 0 2670733 0
[pid=20287/tid=20340] ppid=20284 vsize=10834680 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/20287/task/20340/stat : 20340 (java) R 20284 20287 18141 0 -1 4202560 14989 13141 0 0 129 6 5 3 20 0 15 0 444311751 11094712320 48082 33554432000 4194304 4196468 140725760603952 140074326980816 140074336718217 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20341] ppid=20284 vsize=10834680 memory=7523657237893572951 CPUtime=0.09 cores=0,2,4,6
/proc/20287/task/20341/stat : 20341 (java) S 20284 20287 18141 0 -1 1077944384 29 13141 0 0 1 0 5 3 20 0 15 0 444311751 11094712320 48082 33554432000 4194304 4196468 140725760603952 140074359396624 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20342] ppid=20284 vsize=10834680 memory=7308045134115006807 CPUtime=0.09 cores=0,2,4,6
/proc/20287/task/20342/stat : 20342 (java) S 20284 20287 18141 0 -1 1077944384 299 13141 0 0 1 0 5 3 20 0 15 0 444311751 11094712320 48082 33554432000 4194304 4196468 140725760603952 140074258286992 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20343] ppid=20284 vsize=10834680 memory=7523657237893180247 CPUtime=0.09 cores=0,2,4,6
/proc/20287/task/20343/stat : 20343 (java) S 20284 20287 18141 0 -1 1077944384 46 13141 0 0 1 0 5 3 20 0 15 0 444311751 11094712320 48082 33554432000 4194304 4196468 140725760603952 140074257234448 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20344] ppid=20284 vsize=10834680 memory=279763029946144 CPUtime=0.09 cores=0,2,4,6
/proc/20287/task/20344/stat : 20344 (java) S 20284 20287 18141 0 -1 1077944384 81 13141 0 0 1 0 5 3 20 0 15 0 444311751 11094712320 48082 33554432000 4194304 4196468 140725760603952 140074256181904 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20345] ppid=20284 vsize=10834680 memory=3612118180264259217 CPUtime=0.09 cores=0,2,4,6
/proc/20287/task/20345/stat : 20345 (java) S 20284 20287 18141 0 -1 1077944384 127 13141 0 0 1 0 5 3 20 0 15 0 444311753 11094712320 48082 33554432000 4194304 4196468 140725760603952 140073813953008 140074355165826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20346] ppid=20284 vsize=10834680 memory=279763029613568 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20346/stat : 20346 (java) S 20284 20287 18141 0 -1 1077944384 14 13141 0 0 0 0 5 3 20 0 15 0 444311753 11094712320 48082 33554432000 4194304 4196468 140725760603952 140073714574816 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20347] ppid=20284 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20347/stat : 20347 (java) S 20284 20287 18141 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 444311754 11094712320 48082 33554432000 4194304 4196468 140725760603952 140073110595056 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20348] ppid=20284 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20348/stat : 20348 (java) S 20284 20287 18141 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 444311756 11094712320 48082 33554432000 4194304 4196468 140725760603952 140072870304464 140074355173275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20349] ppid=20284 vsize=10834680 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/20287/task/20349/stat : 20349 (java) S 20284 20287 18141 0 -1 1077944384 1874 13141 0 0 46 0 5 3 20 0 15 0 444311756 11094712320 48082 33554432000 4194304 4196468 140725760603952 140073812899824 140074355165826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20350] ppid=20284 vsize=10834680 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/20287/task/20350/stat : 20350 (java) S 20284 20287 18141 0 -1 1077944384 1602 13141 0 0 44 0 5 3 20 0 15 0 444311756 11094712320 48082 33554432000 4194304 4196468 140725760603952 140073811847280 140074355165826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20351] ppid=20284 vsize=10834680 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/20287/task/20351/stat : 20351 (java) S 20284 20287 18141 0 -1 1077944384 1613 13141 0 0 42 0 5 3 20 0 15 0 444311756 11094712320 48082 33554432000 4194304 4196468 140725760603952 140073810794736 140074355165826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20352] ppid=20284 vsize=10834680 memory=279763030155264 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20352/stat : 20352 (java) S 20284 20287 18141 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 444311756 11094712320 48082 33554432000 4194304 4196468 140725760603952 140072836745824 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20353] ppid=20284 vsize=10834680 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20353/stat : 20353 (java) S 20284 20287 18141 0 -1 1077944384 1 13141 0 0 0 0 5 3 20 0 15 0 444311757 11094712320 48082 33554432000 4194304 4196468 140725760603952 140073809742640 140074355165826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 192328 KiB
[startup+3.1108 s]
/proc/loadavg: 1.45 1.43 1.43 3/228 20353
/proc/meminfo: memFree=29626296/32770624 swapFree=66926512/67108860
[pid=20287] ppid=20284 vsize=10840844 memory=283980 CPUtime=6.77 cores=0,2,4,6
/proc/20287/stat : 20287 (java) S 20284 20287 18141 0 -1 1077944320 39020 13141 0 0 653 16 5 3 20 0 15 0 444311741 11101024256 70995 33554432000 4194304 4196468 140725760603952 140725760586496 140074355154679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
/proc/20287/statm: 2710211 70995 3609 1 0 2672269 0
[pid=20287/tid=20340] ppid=20284 vsize=10840844 memory=0 CPUtime=3.02 cores=0,2,4,6
/proc/20287/task/20340/stat : 20340 (java) R 20284 20287 18141 0 -1 4202560 21972 13141 0 0 286 8 5 3 20 0 15 0 444311751 11101024256 70995 33554432000 4194304 4196468 140725760603952 140074326987616 140073932718144 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20341] ppid=20284 vsize=10840844 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20287/task/20341/stat : 20341 (java) S 20284 20287 18141 0 -1 1077944384 105 13141 0 0 1 0 5 3 20 0 15 0 444311751 11101024256 70995 33554432000 4194304 4196468 140725760603952 140074359396624 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20342] ppid=20284 vsize=10840844 memory=279763029742272 CPUtime=0.09 cores=0,2,4,6
/proc/20287/task/20342/stat : 20342 (java) S 20284 20287 18141 0 -1 1077944384 307 13141 0 0 1 0 5 3 20 0 15 0 444311751 11101024256 70995 33554432000 4194304 4196468 140725760603952 140074258286992 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20343] ppid=20284 vsize=10840844 memory=-3395018477638471455 CPUtime=0.09 cores=0,2,4,6
/proc/20287/task/20343/stat : 20343 (java) S 20284 20287 18141 0 -1 1077944384 100 13141 0 0 1 0 5 3 20 0 15 0 444311751 11101024256 70995 33554432000 4194304 4196468 140725760603952 140074257234448 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20344] ppid=20284 vsize=10840844 memory=-3472574513799858007 CPUtime=0.09 cores=0,2,4,6
/proc/20287/task/20344/stat : 20344 (java) S 20284 20287 18141 0 -1 1077944384 91 13141 0 0 1 0 5 3 20 0 15 0 444311751 11101024256 70995 33554432000 4194304 4196468 140725760603952 140074256181904 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20345] ppid=20284 vsize=10840844 memory=262496 CPUtime=0.09 cores=0,2,4,6
/proc/20287/task/20345/stat : 20345 (java) S 20284 20287 18141 0 -1 1077944384 522 13141 0 0 1 0 5 3 20 0 15 0 444311753 11101024256 70995 33554432000 4194304 4196468 140725760603952 140073813953008 140074355165826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20346] ppid=20284 vsize=10840844 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20346/stat : 20346 (java) S 20284 20287 18141 0 -1 1077944384 18 13141 0 0 0 0 5 3 20 0 15 0 444311753 11101024256 70995 33554432000 4194304 4196468 140725760603952 140073714574816 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20347] ppid=20284 vsize=10840844 memory=279763029621424 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20347/stat : 20347 (java) S 20284 20287 18141 0 -1 1077944384 6 13141 0 0 0 0 5 3 20 0 15 0 444311754 11101024256 70995 33554432000 4194304 4196468 140725760603952 140073110595072 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20348] ppid=20284 vsize=10840844 memory=279763029621488 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20348/stat : 20348 (java) S 20284 20287 18141 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 444311756 11101024256 70995 33554432000 4194304 4196468 140725760603952 140072870304464 140074355173275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20349] ppid=20284 vsize=10840844 memory=279763029621552 CPUtime=1.45 cores=0,2,4,6
/proc/20287/task/20349/stat : 20349 (java) R 20284 20287 18141 0 -1 4202560 5398 13141 0 0 136 1 5 3 20 0 15 0 444311756 11101024256 70995 33554432000 4194304 4196468 140725760603952 140073812880544 140074338629744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20350] ppid=20284 vsize=10840844 memory=225520 CPUtime=1.26 cores=0,2,4,6
/proc/20287/task/20350/stat : 20350 (java) R 20284 20287 18141 0 -1 4202560 3007 13141 0 0 117 1 5 3 20 0 15 0 444311756 11101024256 70995 33554432000 4194304 4196468 140725760603952 140073811833824 140074333006128 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20351] ppid=20284 vsize=10840844 memory=7301858164987948385 CPUtime=1.11 cores=0,2,4,6
/proc/20287/task/20351/stat : 20351 (java) R 20284 20287 18141 0 -1 4202560 5277 13141 0 0 102 1 5 3 20 0 15 0 444311756 11101024256 70995 33554432000 4194304 4196468 140725760603952 140073810790496 140074333644624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20352] ppid=20284 vsize=10840844 memory=6081945748951029863 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20352/stat : 20352 (java) S 20284 20287 18141 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 444311756 11101024256 70995 33554432000 4194304 4196468 140725760603952 140072836745824 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20353] ppid=20284 vsize=10840844 memory=5788902788592324688 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20353/stat : 20353 (java) S 20284 20287 18141 0 -1 1077944384 5 13141 0 0 0 0 5 3 20 0 15 0 444311757 11101024256 70995 33554432000 4194304 4196468 140725760603952 140073809742640 140074355165826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
Current children cumulated CPU time: 6.77 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 283980 KiB
[startup+4.37889 s]
# the end of solver process 20287 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.16494 s, system=0.227639 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20513 s]
/proc/loadavg: 1.45 1.43 1.43 3/228 20353
/proc/meminfo: memFree=29626296/32770624 swapFree=66926512/67108860
[pid=20287] ppid=20284 vsize=10840844 memory=285492 CPUtime=7.12 cores=0,2,4,6
/proc/20287/stat : 20287 (java) S 20284 20287 18141 0 -1 1077944320 39511 13141 0 0 688 16 5 3 20 0 15 0 444311741 11101024256 71373 33554432000 4194304 4196468 140725760603952 140725760586496 140074355154679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
/proc/20287/statm: 2710211 71373 3612 1 0 2672269 0
[pid=20287/tid=20340] ppid=20284 vsize=10840844 memory=6791534058613427641 CPUtime=3.11 cores=0,2,4,6
/proc/20287/task/20340/stat : 20340 (java) R 20284 20287 18141 0 -1 4202560 22089 13141 0 0 295 8 5 3 20 0 15 0 444311751 11101024256 71373 33554432000 4194304 4196468 140725760603952 140074326988864 140074355176026 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20341] ppid=20284 vsize=10840844 memory=294 CPUtime=0.09 cores=0,2,4,6
/proc/20287/task/20341/stat : 20341 (java) S 20284 20287 18141 0 -1 1077944384 105 13141 0 0 1 0 5 3 20 0 15 0 444311751 11101024256 71373 33554432000 4194304 4196468 140725760603952 140074359396624 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20342] ppid=20284 vsize=10840844 memory=253634 CPUtime=0.09 cores=0,2,4,6
/proc/20287/task/20342/stat : 20342 (java) S 20284 20287 18141 0 -1 1077944384 307 13141 0 0 1 0 5 3 20 0 15 0 444311751 11101024256 71373 33554432000 4194304 4196468 140725760603952 140074258286992 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20343] ppid=20284 vsize=10840844 memory=1 CPUtime=0.09 cores=0,2,4,6
/proc/20287/task/20343/stat : 20343 (java) S 20284 20287 18141 0 -1 1077944384 100 13141 0 0 1 0 5 3 20 0 15 0 444311751 11101024256 71373 33554432000 4194304 4196468 140725760603952 140074257234448 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20344] ppid=20284 vsize=10840844 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20287/task/20344/stat : 20344 (java) S 20284 20287 18141 0 -1 1077944384 91 13141 0 0 1 0 5 3 20 0 15 0 444311751 11101024256 71373 33554432000 4194304 4196468 140725760603952 140074256181904 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20345] ppid=20284 vsize=10840844 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20287/task/20345/stat : 20345 (java) S 20284 20287 18141 0 -1 1077944384 522 13141 0 0 1 0 5 3 20 0 15 0 444311753 11101024256 71373 33554432000 4194304 4196468 140725760603952 140073813953008 140074355165826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20346] ppid=20284 vsize=10840844 memory=5 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20346/stat : 20346 (java) S 20284 20287 18141 0 -1 1077944384 18 13141 0 0 0 0 5 3 20 0 15 0 444311753 11101024256 71373 33554432000 4194304 4196468 140725760603952 140073714574816 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20347] ppid=20284 vsize=10840844 memory=42 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20347/stat : 20347 (java) S 20284 20287 18141 0 -1 1077944384 6 13141 0 0 0 0 5 3 20 0 15 0 444311754 11101024256 71373 33554432000 4194304 4196468 140725760603952 140073110595072 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20348] ppid=20284 vsize=10840844 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20348/stat : 20348 (java) S 20284 20287 18141 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 444311756 11101024256 71373 33554432000 4194304 4196468 140725760603952 140072870304464 140074355173275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20349] ppid=20284 vsize=10840844 memory=0 CPUtime=1.55 cores=0,2,4,6
/proc/20287/task/20349/stat : 20349 (java) R 20284 20287 18141 0 -1 4202560 5429 13141 0 0 146 1 5 3 20 0 15 0 444311756 11101024256 71373 33554432000 4194304 4196468 140725760603952 140073812891152 140074341311121 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20350] ppid=20284 vsize=10840844 memory=279763029803040 CPUtime=1.35 cores=0,2,4,6
/proc/20287/task/20350/stat : 20350 (java) R 20284 20287 18141 0 -1 1077944384 3181 13141 0 0 126 1 5 3 20 0 15 0 444311756 11101024256 71373 33554432000 4194304 4196468 140725760603952 140073811840304 140074355164885 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20351] ppid=20284 vsize=10840844 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/20287/task/20351/stat : 20351 (java) R 20284 20287 18141 0 -1 4202560 5446 13141 0 0 108 1 5 3 20 0 15 0 444311756 11101024256 71373 33554432000 4194304 4196468 140725760603952 140073810790464 140074355166614 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20352] ppid=20284 vsize=10840844 memory=576574510189602056 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20352/stat : 20352 (java) S 20284 20287 18141 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 15 0 444311756 11101024256 71373 33554432000 4194304 4196468 140725760603952 140072836745824 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20353] ppid=20284 vsize=10840844 memory=16599 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20353/stat : 20353 (java) S 20284 20287 18141 0 -1 1077944384 5 13141 0 0 0 0 5 3 20 0 15 0 444311757 11101024256 71373 33554432000 4194304 4196468 140725760603952 140073809742640 140074355165826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
Current children cumulated CPU time: 7.12 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 285492 KiB
[startup+4.00076 s]*
/proc/loadavg: 1.45 1.43 1.43 2/225 20354
/proc/meminfo: memFree=29588296/32770624 swapFree=66926512/67108860
[pid=20287] ppid=20284 vsize=10912536 memory=301752 CPUtime=9.37 cores=0,2,4,6
/proc/20287/stat : 20287 (java) S 20284 20287 18141 0 -1 1077944320 46487 13141 0 0 910 19 5 3 20 0 12 0 444311741 11174436864 75438 33554432000 4194304 4196468 140725760603952 140725760586496 140074355154679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
/proc/20287/statm: 2728134 75438 3623 1 0 2690189 0
[pid=20287/tid=20340] ppid=20284 vsize=10912536 memory=590024538737082486 CPUtime=3.8 cores=0,2,4,6
/proc/20287/task/20340/stat : 20340 (java) D 20284 20287 18141 0 -1 4202560 24610 13141 0 0 362 10 5 3 20 0 12 0 444311751 11174436864 75438 33554432000 4194304 4196468 140725760603952 140074326998328 140074347840311 0 0 0 16800975 18446744072100293765 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20341] ppid=20284 vsize=10912536 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/20287/task/20341/stat : 20341 (java) S 20284 20287 18141 0 -1 1077944384 151 13141 0 0 4 0 5 3 20 0 12 0 444311751 11174436864 75438 33554432000 4194304 4196468 140725760603952 140074359396624 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20342] ppid=20284 vsize=10912536 memory=139881648418430 CPUtime=0.12 cores=0,2,4,6
/proc/20287/task/20342/stat : 20342 (java) S 20284 20287 18141 0 -1 1077944384 310 13141 0 0 4 0 5 3 20 0 12 0 444311751 11174436864 75438 33554432000 4194304 4196468 140725760603952 140074258286992 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20343] ppid=20284 vsize=10912536 memory=-7966001967340291680 CPUtime=0.13 cores=0,2,4,6
/proc/20287/task/20343/stat : 20343 (java) S 20284 20287 18141 0 -1 1077944384 122 13141 0 0 5 0 5 3 20 0 12 0 444311751 11174436864 75438 33554432000 4194304 4196468 140725760603952 140074257234448 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20344] ppid=20284 vsize=10912536 memory=4137287014106042739 CPUtime=0.12 cores=0,2,4,6
/proc/20287/task/20344/stat : 20344 (java) S 20284 20287 18141 0 -1 1077944384 97 13141 0 0 4 0 5 3 20 0 12 0 444311751 11174436864 75438 33554432000 4194304 4196468 140725760603952 140074256181904 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20346] ppid=20284 vsize=10912536 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20346/stat : 20346 (java) S 20284 20287 18141 0 -1 1077944384 18 13141 0 0 0 0 5 3 20 0 12 0 444311753 11174436864 75438 33554432000 4194304 4196468 140725760603952 140073714574816 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20347] ppid=20284 vsize=10912536 memory=4210146916469654281 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20347/stat : 20347 (java) S 20284 20287 18141 0 -1 1077944384 6 13141 0 0 0 0 5 3 20 0 12 0 444311754 11174436864 75438 33554432000 4194304 4196468 140725760603952 140073110595072 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20349] ppid=20284 vsize=10912536 memory=-6876588628787748224 CPUtime=2.14 cores=0,2,4,6
/proc/20287/task/20349/stat : 20349 (java) S 20284 20287 18141 0 -1 1077944384 5574 13141 0 0 205 1 5 3 20 0 12 0 444311756 11174436864 75438 33554432000 4194304 4196468 140725760603952 140073812884336 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20350] ppid=20284 vsize=10912536 memory=-7966001967256141664 CPUtime=1.93 cores=0,2,4,6
/proc/20287/task/20350/stat : 20350 (java) S 20284 20287 18141 0 -1 1077944384 3855 13141 0 0 184 1 5 3 20 0 12 0 444311756 11174436864 75438 33554432000 4194304 4196468 140725760603952 140073811831792 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20351] ppid=20284 vsize=10912536 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/20287/task/20351/stat : 20351 (java) S 20284 20287 18141 0 -1 1077944384 6021 13141 0 0 133 1 5 3 20 0 12 0 444311756 11174436864 75438 33554432000 4194304 4196468 140725760603952 140073810794736 140074355165826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20352] ppid=20284 vsize=10912536 memory=3472328296227680303 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20352/stat : 20352 (java) S 20284 20287 18141 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 12 0 444311756 11174436864 75438 33554432000 4194304 4196468 140725760603952 140072836745824 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
Current children cumulated CPU time: 9.37 s
Current children cumulated vsize: 10912536 KiB
Current children cumulated memory: 301752 KiB
[startup+4.20071 s]
/proc/loadavg: 1.45 1.43 1.43 2/225 20354
/proc/meminfo: memFree=29588296/32770624 swapFree=66926512/67108860
[pid=20287] ppid=20284 vsize=10912536 memory=301752 CPUtime=9.37 cores=0,2,4,6
/proc/20287/stat : 20287 (java) S 20284 20287 18141 0 -1 1077944320 46487 13141 0 0 910 19 5 3 20 0 12 0 444311741 11174436864 75438 33554432000 4194304 4196468 140725760603952 140725760586496 140074355154679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
/proc/20287/statm: 2728134 75438 3623 1 0 2690189 0
[pid=20287/tid=20340] ppid=20284 vsize=10912536 memory=0 CPUtime=3.8 cores=0,2,4,6
/proc/20287/task/20340/stat : 20340 (java) D 20284 20287 18141 0 -1 4202560 24610 13141 0 0 362 10 5 3 20 0 12 0 444311751 11174436864 75438 33554432000 4194304 4196468 140725760603952 140074326998328 140074347840311 0 0 0 16800975 18446744072100293765 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20341] ppid=20284 vsize=10912536 memory=6791534058613427641 CPUtime=0.12 cores=0,2,4,6
/proc/20287/task/20341/stat : 20341 (java) S 20284 20287 18141 0 -1 1077944384 151 13141 0 0 4 0 5 3 20 0 12 0 444311751 11174436864 75438 33554432000 4194304 4196468 140725760603952 140074359396624 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20342] ppid=20284 vsize=10912536 memory=7018105107321481048 CPUtime=0.12 cores=0,2,4,6
/proc/20287/task/20342/stat : 20342 (java) S 20284 20287 18141 0 -1 1077944384 310 13141 0 0 4 0 5 3 20 0 12 0 444311751 11174436864 75438 33554432000 4194304 4196468 140725760603952 140074258286992 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20343] ppid=20284 vsize=10912536 memory=7739275776169697624 CPUtime=0.13 cores=0,2,4,6
/proc/20287/task/20343/stat : 20343 (java) S 20284 20287 18141 0 -1 1077944384 122 13141 0 0 5 0 5 3 20 0 12 0 444311751 11174436864 75438 33554432000 4194304 4196468 140725760603952 140074257234448 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20344] ppid=20284 vsize=10912536 memory=288230574492221466 CPUtime=0.12 cores=0,2,4,6
/proc/20287/task/20344/stat : 20344 (java) S 20284 20287 18141 0 -1 1077944384 97 13141 0 0 4 0 5 3 20 0 12 0 444311751 11174436864 75438 33554432000 4194304 4196468 140725760603952 140074256181904 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20346] ppid=20284 vsize=10912536 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20346/stat : 20346 (java) S 20284 20287 18141 0 -1 1077944384 18 13141 0 0 0 0 5 3 20 0 12 0 444311753 11174436864 75438 33554432000 4194304 4196468 140725760603952 140073714574816 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20347] ppid=20284 vsize=10912536 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20347/stat : 20347 (java) S 20284 20287 18141 0 -1 1077944384 6 13141 0 0 0 0 5 3 20 0 12 0 444311754 11174436864 75438 33554432000 4194304 4196468 140725760603952 140073110595072 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20349] ppid=20284 vsize=10912536 memory=0 CPUtime=2.14 cores=0,2,4,6
/proc/20287/task/20349/stat : 20349 (java) S 20284 20287 18141 0 -1 1077944384 5574 13141 0 0 205 1 5 3 20 0 12 0 444311756 11174436864 75438 33554432000 4194304 4196468 140725760603952 140073812884336 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20350] ppid=20284 vsize=10912536 memory=6656426216303648864 CPUtime=1.93 cores=0,2,4,6
/proc/20287/task/20350/stat : 20350 (java) S 20284 20287 18141 0 -1 1077944384 3855 13141 0 0 184 1 5 3 20 0 12 0 444311756 11174436864 75438 33554432000 4194304 4196468 140725760603952 140073811831792 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20351] ppid=20284 vsize=10912536 memory=6944656592455360604 CPUtime=1.42 cores=0,2,4,6
/proc/20287/task/20351/stat : 20351 (java) S 20284 20287 18141 0 -1 1077944384 6021 13141 0 0 133 1 5 3 20 0 12 0 444311756 11174436864 75438 33554432000 4194304 4196468 140725760603952 140073810794736 140074355165826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
[pid=20287/tid=20352] ppid=20284 vsize=10912536 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/20287/task/20352/stat : 20352 (java) S 20284 20287 18141 0 -1 1077944384 3 13141 0 0 0 0 5 3 20 0 12 0 444311756 11174436864 75438 33554432000 4194304 4196468 140725760603952 140072836745824 140074355164885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10825728 140725760609008 140725760611525 140725760611525 140725760614351 0
Current children cumulated CPU time: 9.37 s
Current children cumulated vsize: 10912536 KiB
Current children cumulated memory: 301752 KiB
[startup+4.30058 s]*
/proc/loadavg: 1.45 1.43 1.43 2/215 20354
/proc/meminfo: memFree=29883156/32770624 swapFree=66926512/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 4.37893
CPU time (s): 9.39258
CPU user time (s): 9.16494
CPU system time (s): 0.227639
CPU usage (%): 214.495
Max. virtual memory (cumulated for all children) (KiB): 10912536
Max. memory (cumulated for all children) (KiB): 301752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.16494
system time used= 0.227639
maximum resident set size= 302796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59651
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5422
involuntary context switches= 245
# summary of solver processes directly reported to runsolver:
# pid: 20287
# total CPU time (s): 9.39258
# total CPU user time (s): 9.16494
# total CPU system time (s): 0.227639
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044952 second user time and 0.087887 second system time
The end