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 (9856 MiB free)
memory of node 1: 16384 MiB (7364 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393167-1568348288/watcher-4393167-1568348288 -o /tmp/evaluation-result-4393167-1568348288/solver-4393167-1568348288 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4478 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 430162802 HOME/instance-4393167-1568348288.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
solver pid=8504, runsolver pid=8501
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 9.42 8.65 8.16 6/233 8520
/proc/meminfo: memFree=17618420/32770624 swapFree=66959216/67108860
[pid=8504] ppid=8501 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8504/stat : 8504 (xcsp3-exec) S 8501 8504 3331 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410769044 115843072 362 33554432000 4194304 5098028 140724335845952 140724335844056 140029959664252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35950592 140724335854459 140724335854701 140724335854701 140724335857610 0
/proc/8504/statm: 28282 362 304 221 0 87 0
[pid=8506] ppid=8504 vsize=15144768 memory=29644 CPUtime=0.12 cores=0,2,4,6
/proc/8506/stat : 8506 (java) S 8504 8504 3331 0 -1 1077944320 5797 0 0 0 11 1 0 0 20 0 15 0 410769045 15508242432 7411 33554432000 4194304 4196468 140734843731776 140734843714320 140686804455159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
/proc/8506/statm: 3786192 7411 3153 1 0 3748377 0
[pid=8506/tid=8507] ppid=8504 vsize=15144768 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/8506/task/8507/stat : 8507 (java) R 8504 8504 3331 0 -1 4202560 3729 0 0 0 8 1 0 0 20 0 15 0 410769045 15508242432 7411 33554432000 4194304 4196468 140734843731776 140686808687088 140686435387490 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8508] ppid=8504 vsize=15144768 memory=3472467856436962512 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8508/stat : 8508 (java) S 8504 8504 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410769046 15508242432 7411 33554432000 4194304 4196468 140734843731776 140686757075856 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8509] ppid=8504 vsize=15144768 memory=139727541810816 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8509/stat : 8509 (java) S 8504 8504 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410769046 15508242432 7411 33554432000 4194304 4196468 140734843731776 140686756023056 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8510] ppid=8504 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8510/stat : 8510 (java) S 8504 8504 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410769046 15508242432 7411 33554432000 4194304 4196468 140734843731776 140686394317968 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8511] ppid=8504 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8511/stat : 8511 (java) S 8504 8504 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410769046 15508242432 7411 33554432000 4194304 4196468 140734843731776 140686393265168 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8512] ppid=8504 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8512/stat : 8512 (java) S 8504 8504 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410769047 15508242432 7411 33554432000 4194304 4196468 140734843731776 140686272706672 140686804466306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8513] ppid=8504 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8513/stat : 8513 (java) S 8504 8504 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410769048 15508242432 7411 33554432000 4194304 4196468 140734843731776 140686271652640 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8514] ppid=8504 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8514/stat : 8514 (java) S 8504 8504 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410769048 15508242432 7411 33554432000 4194304 4196468 140734843731776 140686270600304 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8515] ppid=8504 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8515/stat : 8515 (java) S 8504 8504 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410769050 15508242432 7411 33554432000 4194304 4196468 140734843731776 140686269548624 140686804473755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8516] ppid=8504 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8516/stat : 8516 (java) S 8504 8504 3331 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 410769050 15508242432 7411 33554432000 4194304 4196468 140734843731776 140686268496496 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8517] ppid=8504 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8517/stat : 8517 (java) S 8504 8504 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410769050 15508242432 7411 33554432000 4194304 4196468 140734843731776 140686267443696 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8518] ppid=8504 vsize=15144768 memory=139727541810816 CPUtime=0.01 cores=0,2,4,6
/proc/8506/task/8518/stat : 8518 (java) R 8504 8504 3331 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 15 0 410769050 15508242432 7411 33554432000 4194304 4196468 140734843731776 140686266391408 140686804469063 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8519] ppid=8504 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8519/stat : 8519 (java) S 8504 8504 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410769051 15508242432 7411 33554432000 4194304 4196468 140734843731776 140686265338848 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8520] ppid=8504 vsize=15144768 memory=139727541810816 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8520/stat : 8520 (java) S 8504 8504 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410769051 15508242432 7411 33554432000 4194304 4196468 140734843731776 140686264285616 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31092 KiB
[startup+0.211041 s]*
/proc/loadavg: 9.42 8.65 8.16 6/233 8520
/proc/meminfo: memFree=17606468/32770624 swapFree=66959216/67108860
[pid=8504] ppid=8501 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8504/stat : 8504 (xcsp3-exec) S 8501 8504 3331 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410769044 115843072 362 33554432000 4194304 5098028 140724335845952 140724335844056 140029959664252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35950592 140724335854459 140724335854701 140724335854701 140724335857610 0
/proc/8504/statm: 28282 362 304 221 0 87 0
[pid=8506] ppid=8504 vsize=15144768 memory=40496 CPUtime=0.34 cores=0,2,4,6
/proc/8506/stat : 8506 (java) S 8504 8504 3331 0 -1 1077944320 9322 0 0 0 31 3 0 0 20 0 15 0 410769045 15508242432 10124 33554432000 4194304 4196468 140734843731776 140734843714320 140686804455159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
/proc/8506/statm: 3786192 10124 3314 1 0 3748377 0
[pid=8506/tid=8507] ppid=8504 vsize=15144768 memory=4212167822348820889 CPUtime=0.2 cores=0,2,4,6
/proc/8506/task/8507/stat : 8507 (java) R 8504 8504 3331 0 -1 4202560 6622 0 0 0 18 2 0 0 20 0 15 0 410769045 15508242432 10124 33554432000 4194304 4196468 140734843731776 140686808684880 140686790590927 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8508] ppid=8504 vsize=15144768 memory=3472467856436962512 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8508/stat : 8508 (java) S 8504 8504 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410769046 15508242432 10124 33554432000 4194304 4196468 140734843731776 140686757075856 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8509] ppid=8504 vsize=15144768 memory=139727541810816 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8509/stat : 8509 (java) S 8504 8504 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410769046 15508242432 10124 33554432000 4194304 4196468 140734843731776 140686756023056 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8510] ppid=8504 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8510/stat : 8510 (java) S 8504 8504 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410769046 15508242432 10124 33554432000 4194304 4196468 140734843731776 140686394317968 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8511] ppid=8504 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8511/stat : 8511 (java) S 8504 8504 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410769046 15508242432 10124 33554432000 4194304 4196468 140734843731776 140686393265168 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8512] ppid=8504 vsize=15144768 memory=139727541810816 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8512/stat : 8512 (java) S 8504 8504 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410769047 15508242432 10124 33554432000 4194304 4196468 140734843731776 140686272706672 140686804466306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8513] ppid=8504 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8513/stat : 8513 (java) S 8504 8504 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410769048 15508242432 10124 33554432000 4194304 4196468 140734843731776 140686271652640 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8514] ppid=8504 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8514/stat : 8514 (java) S 8504 8504 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410769048 15508242432 10124 33554432000 4194304 4196468 140734843731776 140686270600304 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8515] ppid=8504 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8515/stat : 8515 (java) S 8504 8504 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410769050 15508242432 10124 33554432000 4194304 4196468 140734843731776 140686269548624 140686804473755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8516] ppid=8504 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8506/task/8516/stat : 8516 (java) S 8504 8504 3331 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 15 0 410769050 15508242432 10124 33554432000 4194304 4196468 140734843731776 140686268496496 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8517] ppid=8504 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8506/task/8517/stat : 8517 (java) S 8504 8504 3331 0 -1 1077944384 151 0 0 0 2 0 0 0 20 0 15 0 410769050 15508242432 10124 33554432000 4194304 4196468 140734843731776 140686267443696 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8518] ppid=8504 vsize=15144768 memory=139727541810816 CPUtime=0.08 cores=0,2,4,6
/proc/8506/task/8518/stat : 8518 (java) R 8504 8504 3331 0 -1 4202560 768 0 0 0 8 0 0 0 20 0 15 0 410769050 15508242432 10124 33554432000 4194304 4196468 140734843731776 140686266391408 140686804476506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8519] ppid=8504 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8519/stat : 8519 (java) S 8504 8504 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410769051 15508242432 10124 33554432000 4194304 4196468 140734843731776 140686265338848 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8520] ppid=8504 vsize=15144768 memory=139727541810816 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8520/stat : 8520 (java) S 8504 8504 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410769051 15508242432 10124 33554432000 4194304 4196468 140734843731776 140686264285616 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41944 KiB
[startup+0.310985 s]*
/proc/loadavg: 9.42 8.65 8.16 7/233 8520
/proc/meminfo: memFree=17601148/32770624 swapFree=66959216/67108860
[pid=8504] ppid=8501 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8504/stat : 8504 (xcsp3-exec) S 8501 8504 3331 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410769044 115843072 362 33554432000 4194304 5098028 140724335845952 140724335844056 140029959664252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35950592 140724335854459 140724335854701 140724335854701 140724335857610 0
/proc/8504/statm: 28282 362 304 221 0 87 0
[pid=8506] ppid=8504 vsize=15149024 memory=49872 CPUtime=0.52 cores=0,2,4,6
/proc/8506/stat : 8506 (java) S 8504 8504 3331 0 -1 1077944320 10767 0 0 0 48 4 0 0 20 0 15 0 410769045 15512600576 12468 33554432000 4194304 4196468 140734843731776 140734843714320 140686804455159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
/proc/8506/statm: 3787256 12468 3370 1 0 3748377 0
[pid=8506/tid=8507] ppid=8504 vsize=15149024 memory=-8976644418600983157 CPUtime=0.29 cores=0,2,4,6
/proc/8506/task/8507/stat : 8507 (java) R 8504 8504 3331 0 -1 4202560 7729 0 0 0 26 3 0 0 20 0 15 0 410769045 15512600576 12468 33554432000 4194304 4196468 140734843731776 140686808688464 140686788535646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8508] ppid=8504 vsize=15149024 memory=3472467856436962512 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8508/stat : 8508 (java) S 8504 8504 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410769046 15512600576 12468 33554432000 4194304 4196468 140734843731776 140686757075856 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8509] ppid=8504 vsize=15149024 memory=139727541810816 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8509/stat : 8509 (java) S 8504 8504 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410769046 15512600576 12468 33554432000 4194304 4196468 140734843731776 140686756023056 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8510] ppid=8504 vsize=15149024 memory=6 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8510/stat : 8510 (java) S 8504 8504 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410769046 15512600576 12468 33554432000 4194304 4196468 140734843731776 140686394317968 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8511] ppid=8504 vsize=15149024 memory=139727432984607 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8511/stat : 8511 (java) S 8504 8504 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410769046 15512600576 12468 33554432000 4194304 4196468 140734843731776 140686393265168 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8512] ppid=8504 vsize=15149024 memory=279454865948448 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8512/stat : 8512 (java) S 8504 8504 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410769047 15512600576 12468 33554432000 4194304 4196468 140734843731776 140686272706672 140686804466306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8513] ppid=8504 vsize=15149024 memory=139727432961551 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8513/stat : 8513 (java) S 8504 8504 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410769048 15512600576 12468 33554432000 4194304 4196468 140734843731776 140686271652640 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8514] ppid=8504 vsize=15149024 memory=279454974655496 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8514/stat : 8514 (java) S 8504 8504 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410769048 15512600576 12468 33554432000 4194304 4196468 140734843731776 140686270600304 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8515] ppid=8504 vsize=15149024 memory=139727432984607 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8515/stat : 8515 (java) S 8504 8504 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410769050 15512600576 12468 33554432000 4194304 4196468 140734843731776 140686269548624 140686804473755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8516] ppid=8504 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/8506/task/8516/stat : 8516 (java) S 8504 8504 3331 0 -1 1077944384 540 0 0 0 4 0 0 0 20 0 15 0 410769050 15512600576 12468 33554432000 4194304 4196468 140734843731776 140686268496496 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8517] ppid=8504 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/8506/task/8517/stat : 8517 (java) R 8504 8504 3331 0 -1 4202560 270 0 0 0 4 0 0 0 20 0 15 0 410769050 15512600576 12468 33554432000 4194304 4196468 140734843731776 140686267443792 140686797551999 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8518] ppid=8504 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8506/task/8518/stat : 8518 (java) S 8504 8504 3331 0 -1 1077944384 931 0 0 0 12 0 0 0 20 0 15 0 410769050 15512600576 12468 33554432000 4194304 4196468 140734843731776 140686266391408 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8519] ppid=8504 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8519/stat : 8519 (java) S 8504 8504 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410769051 15512600576 12468 33554432000 4194304 4196468 140734843731776 140686265338848 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8520] ppid=8504 vsize=15149024 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8520/stat : 8520 (java) S 8504 8504 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410769051 15512600576 12468 33554432000 4194304 4196468 140734843731776 140686264285616 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51320 KiB
[startup+0.706253 s]
/proc/loadavg: 9.42 8.65 8.16 8/233 8520
/proc/meminfo: memFree=17584524/32770624 swapFree=66959216/67108860
[pid=8504] ppid=8501 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8504/stat : 8504 (xcsp3-exec) S 8501 8504 3331 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410769044 115843072 362 33554432000 4194304 5098028 140724335845952 140724335844056 140029959664252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35950592 140724335854459 140724335854701 140724335854701 140724335857610 0
/proc/8504/statm: 28282 362 304 221 0 87 0
[pid=8506] ppid=8504 vsize=15151148 memory=151440 CPUtime=1.69 cores=0,2,4,6
/proc/8506/stat : 8506 (java) S 8504 8504 3331 0 -1 1077944320 14665 0 0 0 162 7 0 0 20 0 15 0 410769045 15514775552 37860 33554432000 4194304 4196468 140734843731776 140734843714320 140686804455159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
/proc/8506/statm: 3787787 37860 3455 1 0 3748889 0
[pid=8506/tid=8507] ppid=8504 vsize=15151148 memory=4639059877604708710 CPUtime=0.67 cores=0,2,4,6
/proc/8506/task/8507/stat : 8507 (java) R 8504 8504 3331 0 -1 4202560 9193 0 0 0 62 5 0 0 20 0 15 0 410769045 15514775552 37860 33554432000 4194304 4196468 140734843731776 140686808692696 140686435387659 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8508] ppid=8504 vsize=15151148 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8508/stat : 8508 (java) S 8504 8504 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410769046 15514775552 37860 33554432000 4194304 4196468 140734843731776 140686757075856 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8509] ppid=8504 vsize=15151148 memory=6935649255962144081 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8509/stat : 8509 (java) S 8504 8504 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410769046 15514775552 37860 33554432000 4194304 4196468 140734843731776 140686756023056 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8510] ppid=8504 vsize=15151148 memory=7825734864442108491 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8510/stat : 8510 (java) S 8504 8504 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410769046 15514775552 37860 33554432000 4194304 4196468 140734843731776 140686394317968 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8511] ppid=8504 vsize=15151148 memory=7100839870140027543 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8511/stat : 8511 (java) S 8504 8504 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410769046 15514775552 37860 33554432000 4194304 4196468 140734843731776 140686393265168 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8512] ppid=8504 vsize=15151148 memory=6944613755328037012 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8512/stat : 8512 (java) S 8504 8504 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410769047 15514775552 37860 33554432000 4194304 4196468 140734843731776 140686272706672 140686804466306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8513] ppid=8504 vsize=15151148 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8513/stat : 8513 (java) S 8504 8504 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410769048 15514775552 37860 33554432000 4194304 4196468 140734843731776 140686271652640 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8514] ppid=8504 vsize=15151148 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8514/stat : 8514 (java) S 8504 8504 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410769048 15514775552 37860 33554432000 4194304 4196468 140734843731776 140686270600304 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8515] ppid=8504 vsize=15151148 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8515/stat : 8515 (java) S 8504 8504 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410769050 15514775552 37860 33554432000 4194304 4196468 140734843731776 140686269548624 140686804473755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8516] ppid=8504 vsize=15151148 memory=1660 CPUtime=0.29 cores=0,2,4,6
/proc/8506/task/8516/stat : 8516 (java) R 8504 8504 3331 0 -1 4202560 1300 0 0 0 29 0 0 0 20 0 15 0 410769050 15514775552 37860 33554432000 4194304 4196468 140734843731776 140686268487328 140686788460209 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8517] ppid=8504 vsize=15151148 memory=38740 CPUtime=0.29 cores=0,2,4,6
/proc/8506/task/8517/stat : 8517 (java) R 8504 8504 3331 0 -1 4202560 861 0 0 0 29 0 0 0 20 0 15 0 410769050 15514775552 37860 33554432000 4194304 4196468 140734843731776 140686267424712 140686787955710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8518] ppid=8504 vsize=15151148 memory=988 CPUtime=0.41 cores=0,2,4,6
/proc/8506/task/8518/stat : 8518 (java) S 8504 8504 3331 0 -1 1077944384 2006 0 0 0 41 0 0 0 20 0 15 0 410769050 15514775552 37860 33554432000 4194304 4196468 140734843731776 140686266391408 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8519] ppid=8504 vsize=15151148 memory=5793994532452520804 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8519/stat : 8519 (java) S 8504 8504 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410769051 15514775552 37860 33554432000 4194304 4196468 140734843731776 140686265338848 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8520] ppid=8504 vsize=15151148 memory=8099279071866868836 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8520/stat : 8520 (java) S 8504 8504 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410769051 15514775552 37860 33554432000 4194304 4196468 140734843731776 140686264285616 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 152888 KiB
[startup+1.50076 s]
/proc/loadavg: 9.47 8.67 8.17 10/233 8520
/proc/meminfo: memFree=17251764/32770624 swapFree=66959216/67108860
[pid=8504] ppid=8501 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8504/stat : 8504 (xcsp3-exec) S 8501 8504 3331 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410769044 115843072 362 33554432000 4194304 5098028 140724335845952 140724335844056 140029959664252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35950592 140724335854459 140724335854701 140724335854701 140724335857610 0
/proc/8504/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/8506/task/8520/stat : 8520 (java) S 8504 8504 3331 0 -1 1077944384 380 0 0 0 1 1 0 0 20 0 19 0 410769051 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686264285616 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8676] ppid=8504 vsize=15484996 memory=7163091095907357287 CPUtime=1.8 cores=0,2,4,6
/proc/8506/task/8676/stat : 8676 (java) R 8504 8504 3331 0 -1 4202560 166 0 0 0 180 0 0 0 20 0 19 0 410772543 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686251101240 140686443296602 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8677] ppid=8504 vsize=15484996 memory=688924 CPUtime=1.75 cores=0,2,4,6
/proc/8506/task/8677/stat : 8677 (java) R 8504 8504 3331 0 -1 4202560 256 0 0 0 175 0 0 0 20 0 19 0 410772543 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686254260248 140686443296720 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8678] ppid=8504 vsize=15484996 memory=8112282956445269571 CPUtime=1.8 cores=0,2,4,6
/proc/8506/task/8678/stat : 8678 (java) R 8504 8504 3331 0 -1 4202560 70 0 0 0 180 0 0 0 20 0 19 0 410772543 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686250056648 140686441545739 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8679] ppid=8504 vsize=15484996 memory=111636 CPUtime=1.81 cores=0,2,4,6
/proc/8506/task/8679/stat : 8679 (java) R 8504 8504 3331 0 -1 4202560 186 0 0 0 181 0 0 0 20 0 19 0 410772543 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686253210168 140686443630563 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
Current children cumulated CPU time: 120.31 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 690660 KiB
[startup+37.201 s]
/proc/loadavg: 8.88 8.63 8.17 6/237 8679
/proc/meminfo: memFree=16957184/32770624 swapFree=66959216/67108860
[pid=8504] ppid=8501 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8504/stat : 8504 (xcsp3-exec) S 8501 8504 3331 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410769044 115843072 362 33554432000 4194304 5098028 140724335845952 140724335844056 140029959664252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35950592 140724335854459 140724335854701 140724335854701 140724335857610 0
/proc/8504/statm: 28282 362 304 221 0 87 0
[pid=8506] ppid=8504 vsize=15484996 memory=689212 CPUtime=120.76 cores=0,2,4,6
/proc/8506/stat : 8506 (java) S 8504 8504 3331 0 -1 1077944320 54007 0 0 0 12016 60 0 0 20 0 19 0 410769045 15856635904 172303 33554432000 4194304 4196468 140734843731776 140734843714320 140686804455159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
/proc/8506/statm: 3871249 172303 3540 1 0 3832351 0
[pid=8506/tid=8507] ppid=8504 vsize=15484996 memory=20736 CPUtime=0.88 cores=0,2,4,6
/proc/8506/task/8507/stat : 8507 (java) S 8504 8504 3331 0 -1 1077944384 10573 0 0 0 82 6 0 0 20 0 19 0 410769045 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686808695936 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8508] ppid=8504 vsize=15484996 memory=14048 CPUtime=0.52 cores=0,2,4,6
/proc/8506/task/8508/stat : 8508 (java) S 8504 8504 3331 0 -1 1077944384 749 0 0 0 42 10 0 0 20 0 19 0 410769046 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686757075856 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8509] ppid=8504 vsize=15484996 memory=2124 CPUtime=0.52 cores=0,2,4,6
/proc/8506/task/8509/stat : 8509 (java) S 8504 8504 3331 0 -1 1077944384 345 0 0 0 41 11 0 0 20 0 19 0 410769046 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686756023056 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8510] ppid=8504 vsize=15484996 memory=500 CPUtime=0.51 cores=0,2,4,6
/proc/8506/task/8510/stat : 8510 (java) S 8504 8504 3331 0 -1 1077944384 968 0 0 0 40 11 0 0 20 0 19 0 410769046 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686394317968 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8511] ppid=8504 vsize=15484996 memory=1556 CPUtime=0.52 cores=0,2,4,6
/proc/8506/task/8511/stat : 8511 (java) S 8504 8504 3331 0 -1 1077944384 402 0 0 0 42 10 0 0 20 0 19 0 410769046 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686393265168 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8512] ppid=8504 vsize=15484996 memory=928 CPUtime=0.03 cores=0,2,4,6
/proc/8506/task/8512/stat : 8512 (java) S 8504 8504 3331 0 -1 1077944384 1013 0 0 0 2 1 0 0 20 0 19 0 410769047 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686272706672 140686804466306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8513] ppid=8504 vsize=15484996 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8513/stat : 8513 (java) S 8504 8504 3331 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 410769048 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686271652704 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8514] ppid=8504 vsize=15484996 memory=824 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8514/stat : 8514 (java) S 8504 8504 3331 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 410769048 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686270600320 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8515] ppid=8504 vsize=15484996 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8515/stat : 8515 (java) S 8504 8504 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410769050 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686269548624 140686804473755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8516] ppid=8504 vsize=15484996 memory=288230621803970871 CPUtime=2.28 cores=0,2,4,6
/proc/8506/task/8516/stat : 8516 (java) S 8504 8504 3331 0 -1 1077944384 8478 0 0 0 227 1 0 0 20 0 19 0 410769050 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686268496496 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8517] ppid=8504 vsize=15484996 memory=15818902244427989 CPUtime=2.62 cores=0,2,4,6
/proc/8506/task/8517/stat : 8517 (java) S 8504 8504 3331 0 -1 1077944384 10403 0 0 0 261 1 0 0 20 0 19 0 410769050 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686267443696 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8518] ppid=8504 vsize=15484996 memory=4112 CPUtime=0.78 cores=0,2,4,6
/proc/8506/task/8518/stat : 8518 (java) S 8504 8504 3331 0 -1 1077944384 7763 0 0 0 77 1 0 0 20 0 19 0 410769050 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686266391408 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8519] ppid=8504 vsize=15484996 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8519/stat : 8519 (java) S 8504 8504 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410769051 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686265338848 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8520] ppid=8504 vsize=15484996 memory=2968 CPUtime=0.02 cores=0,2,4,6
/proc/8506/task/8520/stat : 8520 (java) S 8504 8504 3331 0 -1 1077944384 380 0 0 0 1 1 0 0 20 0 19 0 410769051 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686264285616 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8676] ppid=8504 vsize=15484996 memory=1448 CPUtime=1.81 cores=0,2,4,6
/proc/8506/task/8676/stat : 8676 (java) S 8504 8504 3331 0 -1 1077944384 297 0 0 0 181 0 0 0 20 0 19 0 410772543 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686251105584 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8677] ppid=8504 vsize=15484996 memory=689180 CPUtime=1.76 cores=0,2,4,6
/proc/8506/task/8677/stat : 8677 (java) S 8504 8504 3331 0 -1 1077944384 257 0 0 0 176 0 0 0 20 0 19 0 410772543 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686254265360 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8678] ppid=8504 vsize=15484996 memory=8112282956445269571 CPUtime=1.82 cores=0,2,4,6
/proc/8506/task/8678/stat : 8678 (java) S 8504 8504 3331 0 -1 1077944384 99 0 0 0 182 0 0 0 20 0 19 0 410772543 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686250054544 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8679] ppid=8504 vsize=15484996 memory=-7003737579269690708 CPUtime=2.21 cores=0,2,4,6
/proc/8506/task/8679/stat : 8679 (java) R 8504 8504 3331 0 -1 4202560 203 0 0 0 221 0 0 0 20 0 19 0 410772543 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686253210168 140686443630701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
Current children cumulated CPU time: 120.76 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 690660 KiB
[startup+37.601 s]
/proc/loadavg: 8.88 8.63 8.17 6/237 8679
/proc/meminfo: memFree=16957184/32770624 swapFree=66959216/67108860
[pid=8504] ppid=8501 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8504/stat : 8504 (xcsp3-exec) S 8501 8504 3331 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410769044 115843072 362 33554432000 4194304 5098028 140724335845952 140724335844056 140029959664252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35950592 140724335854459 140724335854701 140724335854701 140724335857610 0
/proc/8504/statm: 28282 362 304 221 0 87 0
[pid=8506] ppid=8504 vsize=15484996 memory=689212 CPUtime=121.16 cores=0,2,4,6
/proc/8506/stat : 8506 (java) S 8504 8504 3331 0 -1 1077944320 54007 0 0 0 12056 60 0 0 20 0 19 0 410769045 15856635904 172303 33554432000 4194304 4196468 140734843731776 140734843714320 140686804455159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
/proc/8506/statm: 3871249 172303 3540 1 0 3832351 0
[pid=8506/tid=8507] ppid=8504 vsize=15484996 memory=1060 CPUtime=0.88 cores=0,2,4,6
/proc/8506/task/8507/stat : 8507 (java) S 8504 8504 3331 0 -1 1077944384 10573 0 0 0 82 6 0 0 20 0 19 0 410769045 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686808695936 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8508] ppid=8504 vsize=15484996 memory=2828 CPUtime=0.52 cores=0,2,4,6
/proc/8506/task/8508/stat : 8508 (java) S 8504 8504 3331 0 -1 1077944384 749 0 0 0 42 10 0 0 20 0 19 0 410769046 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686757075856 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8509] ppid=8504 vsize=15484996 memory=1216 CPUtime=0.52 cores=0,2,4,6
/proc/8506/task/8509/stat : 8509 (java) S 8504 8504 3331 0 -1 1077944384 345 0 0 0 41 11 0 0 20 0 19 0 410769046 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686756023056 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8510] ppid=8504 vsize=15484996 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/8506/task/8510/stat : 8510 (java) S 8504 8504 3331 0 -1 1077944384 968 0 0 0 40 11 0 0 20 0 19 0 410769046 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686394317968 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8511] ppid=8504 vsize=15484996 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/8506/task/8511/stat : 8511 (java) S 8504 8504 3331 0 -1 1077944384 402 0 0 0 42 10 0 0 20 0 19 0 410769046 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686393265168 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8512] ppid=8504 vsize=15484996 memory=4580 CPUtime=0.03 cores=0,2,4,6
/proc/8506/task/8512/stat : 8512 (java) S 8504 8504 3331 0 -1 1077944384 1013 0 0 0 2 1 0 0 20 0 19 0 410769047 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686272706672 140686804466306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8513] ppid=8504 vsize=15484996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8513/stat : 8513 (java) S 8504 8504 3331 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 410769048 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686271652704 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8514] ppid=8504 vsize=15484996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8514/stat : 8514 (java) S 8504 8504 3331 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 410769048 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686270600320 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8515] ppid=8504 vsize=15484996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8515/stat : 8515 (java) S 8504 8504 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410769050 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686269548624 140686804473755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8516] ppid=8504 vsize=15484996 memory=0 CPUtime=2.28 cores=0,2,4,6
/proc/8506/task/8516/stat : 8516 (java) S 8504 8504 3331 0 -1 1077944384 8478 0 0 0 227 1 0 0 20 0 19 0 410769050 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686268496496 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8517] ppid=8504 vsize=15484996 memory=7666089069372139620 CPUtime=2.62 cores=0,2,4,6
/proc/8506/task/8517/stat : 8517 (java) S 8504 8504 3331 0 -1 1077944384 10403 0 0 0 261 1 0 0 20 0 19 0 410769050 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686267443696 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8518] ppid=8504 vsize=15484996 memory=7512114578044973668 CPUtime=0.78 cores=0,2,4,6
/proc/8506/task/8518/stat : 8518 (java) S 8504 8504 3331 0 -1 1077944384 7763 0 0 0 77 1 0 0 20 0 19 0 410769050 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686266391408 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8519] ppid=8504 vsize=15484996 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8519/stat : 8519 (java) S 8504 8504 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410769051 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686265338848 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8520] ppid=8504 vsize=15484996 memory=2251228 CPUtime=0.02 cores=0,2,4,6
/proc/8506/task/8520/stat : 8520 (java) S 8504 8504 3331 0 -1 1077944384 380 0 0 0 1 1 0 0 20 0 19 0 410769051 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686264285616 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8676] ppid=8504 vsize=15484996 memory=4112 CPUtime=1.81 cores=0,2,4,6
/proc/8506/task/8676/stat : 8676 (java) S 8504 8504 3331 0 -1 1077944384 297 0 0 0 181 0 0 0 20 0 19 0 410772543 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686251105584 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8677] ppid=8504 vsize=15484996 memory=1412 CPUtime=1.76 cores=0,2,4,6
/proc/8506/task/8677/stat : 8677 (java) S 8504 8504 3331 0 -1 1077944384 257 0 0 0 176 0 0 0 20 0 19 0 410772543 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686254265360 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8678] ppid=8504 vsize=15484996 memory=2800 CPUtime=1.82 cores=0,2,4,6
/proc/8506/task/8678/stat : 8678 (java) S 8504 8504 3331 0 -1 1077944384 99 0 0 0 182 0 0 0 20 0 19 0 410772543 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686250054544 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8679] ppid=8504 vsize=15484996 memory=1448 CPUtime=2.61 cores=0,2,4,6
/proc/8506/task/8679/stat : 8679 (java) R 8504 8504 3331 0 -1 4202560 203 0 0 0 261 0 0 0 20 0 19 0 410772543 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686253210168 140686443630751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
Current children cumulated CPU time: 121.16 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 690660 KiB
[startup+37.701 s]
/proc/loadavg: 8.88 8.63 8.17 6/237 8679
/proc/meminfo: memFree=16957184/32770624 swapFree=66959216/67108860
[pid=8504] ppid=8501 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8504/stat : 8504 (xcsp3-exec) S 8501 8504 3331 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410769044 115843072 362 33554432000 4194304 5098028 140724335845952 140724335844056 140029959664252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35950592 140724335854459 140724335854701 140724335854701 140724335857610 0
/proc/8504/statm: 28282 362 304 221 0 87 0
[pid=8506] ppid=8504 vsize=15484996 memory=689212 CPUtime=121.26 cores=0,2,4,6
/proc/8506/stat : 8506 (java) S 8504 8504 3331 0 -1 1077944320 54007 0 0 0 12066 60 0 0 20 0 19 0 410769045 15856635904 172303 33554432000 4194304 4196468 140734843731776 140734843714320 140686804455159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
/proc/8506/statm: 3871249 172303 3540 1 0 3832351 0
[pid=8506/tid=8507] ppid=8504 vsize=15484996 memory=1448 CPUtime=0.88 cores=0,2,4,6
/proc/8506/task/8507/stat : 8507 (java) S 8504 8504 3331 0 -1 1077944384 10573 0 0 0 82 6 0 0 20 0 19 0 410769045 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686808695936 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8508] ppid=8504 vsize=15484996 memory=688912 CPUtime=0.52 cores=0,2,4,6
/proc/8506/task/8508/stat : 8508 (java) S 8504 8504 3331 0 -1 1077944384 749 0 0 0 42 10 0 0 20 0 19 0 410769046 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686757075856 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8509] ppid=8504 vsize=15484996 memory=661276 CPUtime=0.52 cores=0,2,4,6
/proc/8506/task/8509/stat : 8509 (java) S 8504 8504 3331 0 -1 1077944384 345 0 0 0 41 11 0 0 20 0 19 0 410769046 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686756023056 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8510] ppid=8504 vsize=15484996 memory=1966185 CPUtime=0.51 cores=0,2,4,6
/proc/8506/task/8510/stat : 8510 (java) S 8504 8504 3331 0 -1 1077944384 968 0 0 0 40 11 0 0 20 0 19 0 410769046 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686394317968 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8511] ppid=8504 vsize=15484996 memory=8112282956445269571 CPUtime=0.52 cores=0,2,4,6
/proc/8506/task/8511/stat : 8511 (java) S 8504 8504 3331 0 -1 1077944384 402 0 0 0 42 10 0 0 20 0 19 0 410769046 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686393265168 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8512] ppid=8504 vsize=15484996 memory=1060 CPUtime=0.03 cores=0,2,4,6
/proc/8506/task/8512/stat : 8512 (java) S 8504 8504 3331 0 -1 1077944384 1013 0 0 0 2 1 0 0 20 0 19 0 410769047 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686272706672 140686804466306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8513] ppid=8504 vsize=15484996 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8513/stat : 8513 (java) S 8504 8504 3331 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 410769048 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686271652704 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8514] ppid=8504 vsize=15484996 memory=689180 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8514/stat : 8514 (java) S 8504 8504 3331 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 410769048 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686270600320 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8515] ppid=8504 vsize=15484996 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8515/stat : 8515 (java) S 8504 8504 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410769050 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686269548624 140686804473755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8516] ppid=8504 vsize=15484996 memory=688912 CPUtime=2.28 cores=0,2,4,6
/proc/8506/task/8516/stat : 8516 (java) S 8504 8504 3331 0 -1 1077944384 8478 0 0 0 227 1 0 0 20 0 19 0 410769050 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686268496496 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8517] ppid=8504 vsize=15484996 memory=1448 CPUtime=2.62 cores=0,2,4,6
/proc/8506/task/8517/stat : 8517 (java) S 8504 8504 3331 0 -1 1077944384 10403 0 0 0 261 1 0 0 20 0 19 0 410769050 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686267443696 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8518] ppid=8504 vsize=15484996 memory=688924 CPUtime=0.78 cores=0,2,4,6
/proc/8506/task/8518/stat : 8518 (java) S 8504 8504 3331 0 -1 1077944384 7763 0 0 0 77 1 0 0 20 0 19 0 410769050 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686266391408 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8519] ppid=8504 vsize=15484996 memory=689184 CPUtime=0 cores=0,2,4,6
/proc/8506/task/8519/stat : 8519 (java) S 8504 8504 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410769051 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686265338848 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8520] ppid=8504 vsize=15484996 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/8506/task/8520/stat : 8520 (java) S 8504 8504 3331 0 -1 1077944384 380 0 0 0 1 1 0 0 20 0 19 0 410769051 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686264285616 140686804466306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8676] ppid=8504 vsize=15484996 memory=1448 CPUtime=1.81 cores=0,2,4,6
/proc/8506/task/8676/stat : 8676 (java) S 8504 8504 3331 0 -1 1077944384 297 0 0 0 181 0 0 0 20 0 19 0 410772543 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686251105584 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8677] ppid=8504 vsize=15484996 memory=688912 CPUtime=1.76 cores=0,2,4,6
/proc/8506/task/8677/stat : 8677 (java) S 8504 8504 3331 0 -1 1077944384 257 0 0 0 176 0 0 0 20 0 19 0 410772543 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686254265360 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8678] ppid=8504 vsize=15484996 memory=1448 CPUtime=1.82 cores=0,2,4,6
/proc/8506/task/8678/stat : 8678 (java) S 8504 8504 3331 0 -1 1077944384 99 0 0 0 182 0 0 0 20 0 19 0 410772543 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686250054544 140686804465365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
[pid=8506/tid=8679] ppid=8504 vsize=15484996 memory=688912 CPUtime=2.71 cores=0,2,4,6
/proc/8506/task/8679/stat : 8679 (java) R 8504 8504 3331 0 -1 4202560 203 0 0 0 271 0 0 0 20 0 19 0 410772543 15856635904 172303 33554432000 4194304 4196468 140734843731776 140686253210168 140686443630696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28291072 140734843732975 140734843733146 140734843733146 140734843736015 0
Current children cumulated CPU time: 121.26 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 690660 KiB
Child status: 0
Real time (s): 37.7647
CPU time (s): 121.331
CPU user time (s): 120.712
CPU system time (s): 0.61931
CPU usage (%): 321.282
Max. virtual memory (cumulated for all children) (KiB): 15598124
Max. memory (cumulated for all children) (KiB): 690660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 120.712
system time used= 0.61931
maximum resident set size= 690740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55702
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4438
involuntary context switches= 2799
# summary of solver processes directly reported to runsolver:
# pid: 8504
# total CPU time (s): 121.331
# total CPU user time (s): 120.712
# total CPU system time (s): 0.61931
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.280584 second user time and 0.454036 second system time
The end