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 (9886 MiB free)
memory of node 1: 16384 MiB (9284 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394258-1568331622/watcher-4394258-1568331622 -o /tmp/evaluation-result-4394258-1568331622/solver-4394258-1568331622 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18217 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2133621671 HOME/instance-4394258-1568331622.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28058, runsolver pid=28055
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 8.20 8.45 7.71 6/233 28074
/proc/meminfo: memFree=19612848/32770624 swapFree=66959212/67108860
[pid=28058] ppid=28055 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28058/stat : 28058 (xcsp3-exec) S 28055 28058 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409102390 115843072 362 33554432000 4194304 5098028 140725346197536 140725346195640 140072035095164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30101504 140725346202490 140725346202733 140725346202733 140725346205642 0
/proc/28058/statm: 28282 362 304 221 0 87 0
[pid=28060] ppid=28058 vsize=15144768 memory=28632 CPUtime=0.13 cores=0,2,4,6
/proc/28060/stat : 28060 (java) S 28058 28058 18186 0 -1 1077944320 5660 0 0 0 11 2 0 0 20 0 15 0 409102390 15508242432 7158 33554432000 4194304 4196468 140729848333504 140729848316048 140687277391607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
/proc/28060/statm: 3786192 7158 3115 1 0 3748377 0
[pid=28060/tid=28061] ppid=28058 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/28060/task/28061/stat : 28061 (java) R 28058 28058 18186 0 -1 4202560 3551 0 0 0 8 1 0 0 20 0 15 0 409102390 15508242432 7158 33554432000 4194304 4196468 140729848333504 140687281624384 140687261435237 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28062] ppid=28058 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28062/stat : 28062 (java) S 28058 28058 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102391 15508242432 7158 33554432000 4194304 4196468 140729848333504 140687230012048 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28063] ppid=28058 vsize=15144768 memory=140095926646400 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28063/stat : 28063 (java) S 28058 28058 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102391 15508242432 7158 33554432000 4194304 4196468 140729848333504 140687228959248 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28064] ppid=28058 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28064/stat : 28064 (java) S 28058 28058 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102391 15508242432 7158 33554432000 4194304 4196468 140729848333504 140687227906448 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28065] ppid=28058 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28065/stat : 28065 (java) S 28058 28058 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409102391 15508242432 7158 33554432000 4194304 4196468 140729848333504 140687226853648 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28066] ppid=28058 vsize=15144768 memory=140095926646400 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28066/stat : 28066 (java) S 28058 28058 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409102393 15508242432 7158 33554432000 4194304 4196468 140729848333504 140686745627504 140687277402754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28067] ppid=28058 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28067/stat : 28067 (java) S 28058 28058 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409102393 15508242432 7158 33554432000 4194304 4196468 140729848333504 140686744573472 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28068] ppid=28058 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28068/stat : 28068 (java) S 28058 28058 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409102393 15508242432 7158 33554432000 4194304 4196468 140729848333504 140686743520624 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28069] ppid=28058 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28069/stat : 28069 (java) S 28058 28058 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409102396 15508242432 7158 33554432000 4194304 4196468 140729848333504 140686742468944 140687277410203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28070] ppid=28058 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28070/stat : 28070 (java) S 28058 28058 18186 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 409102396 15508242432 7158 33554432000 4194304 4196468 140729848333504 140686741416304 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28071] ppid=28058 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28071/stat : 28071 (java) S 28058 28058 18186 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 409102396 15508242432 7158 33554432000 4194304 4196468 140729848333504 140686740363504 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28072] ppid=28058 vsize=15144768 memory=140095926646400 CPUtime=0.02 cores=0,2,4,6
/proc/28060/task/28072/stat : 28072 (java) R 28058 28058 18186 0 -1 4202560 388 0 0 0 2 0 0 0 20 0 15 0 409102396 15508242432 7158 33554432000 4194304 4196468 140729848333504 140686739310704 140687261472094 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28073] ppid=28058 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28073/stat : 28073 (java) S 28058 28058 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409102396 15508242432 7158 33554432000 4194304 4196468 140729848333504 140686738258144 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28074] ppid=28058 vsize=15144768 memory=140095926646400 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28074/stat : 28074 (java) S 28058 28058 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102396 15508242432 7158 33554432000 4194304 4196468 140729848333504 140686737206448 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30080 KiB
[startup+0.211899 s]*
/proc/loadavg: 8.20 8.45 7.71 6/233 28074
/proc/meminfo: memFree=19600412/32770624 swapFree=66959212/67108860
[pid=28058] ppid=28055 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28058/stat : 28058 (xcsp3-exec) S 28055 28058 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409102390 115843072 362 33554432000 4194304 5098028 140725346197536 140725346195640 140072035095164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30101504 140725346202490 140725346202733 140725346202733 140725346205642 0
/proc/28058/statm: 28282 362 304 221 0 87 0
[pid=28060] ppid=28058 vsize=15144768 memory=40260 CPUtime=0.34 cores=0,2,4,6
/proc/28060/stat : 28060 (java) S 28058 28058 18186 0 -1 1077944320 9307 0 0 0 31 3 0 0 20 0 15 0 409102390 15508242432 10065 33554432000 4194304 4196468 140729848333504 140729848316048 140687277391607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
/proc/28060/statm: 3786192 10065 3266 1 0 3748377 0
[pid=28060/tid=28061] ppid=28058 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/28060/task/28061/stat : 28061 (java) R 28058 28058 18186 0 -1 4202560 6574 0 0 0 17 3 0 0 20 0 15 0 409102390 15508242432 10065 33554432000 4194304 4196468 140729848333504 140687281625056 140687277403542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28062] ppid=28058 vsize=15144768 memory=1965945 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28062/stat : 28062 (java) S 28058 28058 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102391 15508242432 10065 33554432000 4194304 4196468 140729848333504 140687230012048 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28063] ppid=28058 vsize=15144768 memory=4049212852831336096 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28063/stat : 28063 (java) S 28058 28058 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102391 15508242432 10065 33554432000 4194304 4196468 140729848333504 140687228959248 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28064] ppid=28058 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28064/stat : 28064 (java) S 28058 28058 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102391 15508242432 10065 33554432000 4194304 4196468 140729848333504 140687227906448 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28065] ppid=28058 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28065/stat : 28065 (java) S 28058 28058 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409102391 15508242432 10065 33554432000 4194304 4196468 140729848333504 140687226853648 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28066] ppid=28058 vsize=15144768 memory=140095926646400 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28066/stat : 28066 (java) S 28058 28058 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409102393 15508242432 10065 33554432000 4194304 4196468 140729848333504 140686745627504 140687277402754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28067] ppid=28058 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28067/stat : 28067 (java) S 28058 28058 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409102393 15508242432 10065 33554432000 4194304 4196468 140729848333504 140686744573472 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28068] ppid=28058 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28068/stat : 28068 (java) S 28058 28058 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409102393 15508242432 10065 33554432000 4194304 4196468 140729848333504 140686743520624 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28069] ppid=28058 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28069/stat : 28069 (java) S 28058 28058 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409102396 15508242432 10065 33554432000 4194304 4196468 140729848333504 140686742468944 140687277410203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28070] ppid=28058 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28060/task/28070/stat : 28070 (java) S 28058 28058 18186 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 409102396 15508242432 10065 33554432000 4194304 4196468 140729848333504 140686741416304 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28071] ppid=28058 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/28060/task/28071/stat : 28071 (java) S 28058 28058 18186 0 -1 1077944384 248 0 0 0 3 0 0 0 20 0 15 0 409102396 15508242432 10065 33554432000 4194304 4196468 140729848333504 140686740363504 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28072] ppid=28058 vsize=15144768 memory=140095926646400 CPUtime=0.08 cores=0,2,4,6
/proc/28060/task/28072/stat : 28072 (java) R 28058 28058 18186 0 -1 4202560 824 0 0 0 8 0 0 0 20 0 15 0 409102396 15508242432 10065 33554432000 4194304 4196468 140729848333504 140686739310512 140687269628734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28073] ppid=28058 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28073/stat : 28073 (java) S 28058 28058 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409102396 15508242432 10065 33554432000 4194304 4196468 140729848333504 140686738258144 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28074] ppid=28058 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28074/stat : 28074 (java) S 28058 28058 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102396 15508242432 10065 33554432000 4194304 4196468 140729848333504 140686737206448 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41708 KiB
[startup+0.312445 s]*
/proc/loadavg: 8.20 8.45 7.71 7/233 28074
/proc/meminfo: memFree=19595456/32770624 swapFree=66959212/67108860
[pid=28058] ppid=28055 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28058/stat : 28058 (xcsp3-exec) S 28055 28058 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409102390 115843072 362 33554432000 4194304 5098028 140725346197536 140725346195640 140072035095164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30101504 140725346202490 140725346202733 140725346202733 140725346205642 0
/proc/28058/statm: 28282 362 304 221 0 87 0
[pid=28060] ppid=28058 vsize=15149024 memory=49916 CPUtime=0.54 cores=0,2,4,6
/proc/28060/stat : 28060 (java) S 28058 28058 18186 0 -1 1077944320 10756 0 0 0 50 4 0 0 20 0 15 0 409102390 15512600576 12479 33554432000 4194304 4196468 140729848333504 140729848316048 140687277391607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
/proc/28060/statm: 3787256 12479 3367 1 0 3748377 0
[pid=28060/tid=28061] ppid=28058 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/28060/task/28061/stat : 28061 (java) R 28058 28058 18186 0 -1 4202560 7717 0 0 0 27 3 0 0 20 0 15 0 409102390 15512600576 12479 33554432000 4194304 4196468 140729848333504 140687281622720 140687261472094 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28062] ppid=28058 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28062/stat : 28062 (java) S 28058 28058 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102391 15512600576 12479 33554432000 4194304 4196468 140729848333504 140687230012048 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28063] ppid=28058 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28063/stat : 28063 (java) S 28058 28058 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102391 15512600576 12479 33554432000 4194304 4196468 140729848333504 140687228959248 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28064] ppid=28058 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28064/stat : 28064 (java) S 28058 28058 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102391 15512600576 12479 33554432000 4194304 4196468 140729848333504 140687227906448 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28065] ppid=28058 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28065/stat : 28065 (java) S 28058 28058 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409102391 15512600576 12479 33554432000 4194304 4196468 140729848333504 140687226853648 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28066] ppid=28058 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28066/stat : 28066 (java) S 28058 28058 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409102393 15512600576 12479 33554432000 4194304 4196468 140729848333504 140686745627504 140687277402754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28067] ppid=28058 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28067/stat : 28067 (java) S 28058 28058 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409102393 15512600576 12479 33554432000 4194304 4196468 140729848333504 140686744573472 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28068] ppid=28058 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28068/stat : 28068 (java) S 28058 28058 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409102393 15512600576 12479 33554432000 4194304 4196468 140729848333504 140686743520624 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28069] ppid=28058 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28069/stat : 28069 (java) S 28058 28058 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409102396 15512600576 12479 33554432000 4194304 4196468 140729848333504 140686742468944 140687277410203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28070] ppid=28058 vsize=15149024 memory=4426078206164241782 CPUtime=0.03 cores=0,2,4,6
/proc/28060/task/28070/stat : 28070 (java) S 28058 28058 18186 0 -1 1077944384 419 0 0 0 3 0 0 0 20 0 15 0 409102396 15512600576 12479 33554432000 4194304 4196468 140729848333504 140686741416304 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28071] ppid=28058 vsize=15149024 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/28060/task/28071/stat : 28071 (java) R 28058 28058 18186 0 -1 4202560 353 0 0 0 6 0 0 0 20 0 15 0 409102396 15512600576 12479 33554432000 4194304 4196468 140729848333504 140686740344520 140687258912811 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28072] ppid=28058 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/28060/task/28072/stat : 28072 (java) S 28058 28058 18186 0 -1 1077944384 966 0 0 0 12 0 0 0 20 0 15 0 409102396 15512600576 12479 33554432000 4194304 4196468 140729848333504 140686739310704 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28073] ppid=28058 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28073/stat : 28073 (java) S 28058 28058 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409102396 15512600576 12479 33554432000 4194304 4196468 140729848333504 140686738258144 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28074] ppid=28058 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28074/stat : 28074 (java) S 28058 28058 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102396 15512600576 12479 33554432000 4194304 4196468 140729848333504 140686737206448 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51364 KiB
[startup+0.701215 s]
/proc/loadavg: 8.20 8.45 7.71 8/233 28074
/proc/meminfo: memFree=19568512/32770624 swapFree=66959212/67108860
[pid=28058] ppid=28055 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28058/stat : 28058 (xcsp3-exec) S 28055 28058 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409102390 115843072 362 33554432000 4194304 5098028 140725346197536 140725346195640 140072035095164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30101504 140725346202490 140725346202733 140725346202733 140725346205642 0
/proc/28058/statm: 28282 362 304 221 0 87 0
[pid=28060] ppid=28058 vsize=15151148 memory=93880 CPUtime=1.73 cores=0,2,4,6
/proc/28060/stat : 28060 (java) S 28058 28058 18186 0 -1 1077944320 14599 0 0 0 167 6 0 0 20 0 15 0 409102390 15514775552 23470 33554432000 4194304 4196468 140729848333504 140729848316048 140687277391607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
/proc/28060/statm: 3787787 23470 3454 1 0 3748889 0
[pid=28060/tid=28061] ppid=28058 vsize=15151148 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/28060/task/28061/stat : 28061 (java) R 28058 28058 18186 0 -1 4202560 9124 0 0 0 63 4 0 0 20 0 15 0 409102390 15514775552 23470 33554432000 4194304 4196468 140729848333504 140687281629720 140686909171365 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28062] ppid=28058 vsize=15151148 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28062/stat : 28062 (java) S 28058 28058 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102391 15514775552 23470 33554432000 4194304 4196468 140729848333504 140687230012048 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28063] ppid=28058 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28063/stat : 28063 (java) S 28058 28058 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102391 15514775552 23470 33554432000 4194304 4196468 140729848333504 140687228959248 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28064] ppid=28058 vsize=15151148 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28064/stat : 28064 (java) S 28058 28058 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102391 15514775552 23470 33554432000 4194304 4196468 140729848333504 140687227906448 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28065] ppid=28058 vsize=15151148 memory=38320 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28065/stat : 28065 (java) S 28058 28058 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409102391 15514775552 23470 33554432000 4194304 4196468 140729848333504 140687226853648 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28066] ppid=28058 vsize=15151148 memory=988 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28066/stat : 28066 (java) S 28058 28058 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409102393 15514775552 23470 33554432000 4194304 4196468 140729848333504 140686745627504 140687277402754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28067] ppid=28058 vsize=15151148 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28067/stat : 28067 (java) S 28058 28058 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409102393 15514775552 23470 33554432000 4194304 4196468 140729848333504 140686744573472 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28068] ppid=28058 vsize=15151148 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28068/stat : 28068 (java) S 28058 28058 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409102393 15514775552 23470 33554432000 4194304 4196468 140729848333504 140686743520624 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28069] ppid=28058 vsize=15151148 memory=580 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28069/stat : 28069 (java) S 28058 28058 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409102396 15514775552 23470 33554432000 4194304 4196468 140729848333504 140686742468944 140687277410203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28070] ppid=28058 vsize=15151148 memory=1720 CPUtime=0.33 cores=0,2,4,6
/proc/28060/task/28070/stat : 28070 (java) S 28058 28058 18186 0 -1 1077944384 1403 0 0 0 33 0 0 0 20 0 15 0 409102396 15514775552 23470 33554432000 4194304 4196468 140729848333504 140686741416304 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28071] ppid=28058 vsize=15151148 memory=10604 CPUtime=0.34 cores=0,2,4,6
/proc/28060/task/28071/stat : 28071 (java) R 28058 28058 18186 0 -1 4202560 966 0 0 0 34 0 0 0 20 0 15 0 409102396 15514775552 23470 33554432000 4194304 4196468 140729848333504 140686740353296 140687277412954 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28072] ppid=28058 vsize=15151148 memory=3360 CPUtime=0.35 cores=0,2,4,6
/proc/28060/task/28072/stat : 28072 (java) S 28058 28058 18186 0 -1 1077944384 1800 0 0 0 35 0 0 0 20 0 15 0 409102396 15514775552 23470 33554432000 4194304 4196468 140729848333504 140686739310704 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28073] ppid=28058 vsize=15151148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28073/stat : 28073 (java) S 28058 28058 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409102396 15514775552 23470 33554432000 4194304 4196468 140729848333504 140686738258144 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28074] ppid=28058 vsize=15151148 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28074/stat : 28074 (java) S 28058 28058 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102396 15514775552 23470 33554432000 4194304 4196468 140729848333504 140686737206448 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 95328 KiB
[startup+1.50622 s]
/proc/loadavg: 8.20 8.45 7.71 7/233 28074
/proc/meminfo: memFree=19441048/32770624 swapFree=66959212/67108860
[pid=28058] ppid=28055 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28058/stat : 28058 (xcsp3-exec) S 28055 28058 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409102390 115843072 362 33554432000 4194304 5098028 140725346197536 140725346195640 140072035095164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30101504 140725346202490 140725346202733 140725346202733 140725346205642 0
/proc/28058/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/28060/stat : 28060 (java) S 28058 28058 18186 0 -1 1077944320 20910 0 0 0 1111 12 0 0 20 0 19 0 409102390 15790571520 55601 33554432000 4194304 4196468 140729848333504 140729848316048 140687277391607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
/proc/28060/statm: 3855120 55601 3510 1 0 3816222 0
[pid=28060/tid=28061] ppid=28058 vsize=15420480 memory=0 CPUtime=1.02 cores=0,2,4,6
/proc/28060/task/28061/stat : 28061 (java) S 28058 28058 18186 0 -1 1077944384 9425 0 0 0 96 6 0 0 20 0 19 0 409102390 15790571520 55601 33554432000 4194304 4196468 140729848333504 140687281632384 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28062] ppid=28058 vsize=15420480 memory=7588935152971043157 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28062/stat : 28062 (java) S 28058 28058 18186 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 409102391 15790571520 55601 33554432000 4194304 4196468 140729848333504 140687230012048 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28063] ppid=28058 vsize=15420480 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28063/stat : 28063 (java) S 28058 28058 18186 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 409102391 15790571520 55601 33554432000 4194304 4196468 140729848333504 140687228959248 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28064] ppid=28058 vsize=15420480 memory=1351 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28064/stat : 28064 (java) S 28058 28058 18186 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 409102391 15790571520 55601 33554432000 4194304 4196468 140729848333504 140687227906448 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28065] ppid=28058 vsize=15420480 memory=27084 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28065/stat : 28065 (java) S 28058 28058 18186 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 409102391 15790571520 55601 33554432000 4194304 4196468 140729848333504 140687226853648 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28066] ppid=28058 vsize=15420480 memory=1 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28066/stat : 28066 (java) S 28058 28058 18186 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 409102393 15790571520 55601 33554432000 4194304 4196468 140729848333504 140686745627504 140687277402754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28067] ppid=28058 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28067/stat : 28067 (java) S 28058 28058 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409102393 15790571520 55601 33554432000 4194304 4196468 140729848333504 140686744573472 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28068] ppid=28058 vsize=15420480 memory=1 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28068/stat : 28068 (java) S 28058 28058 18186 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 409102393 15790571520 55601 33554432000 4194304 4196468 140729848333504 140686743520624 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28069] ppid=28058 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28069/stat : 28069 (java) S 28058 28058 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409102396 15790571520 55601 33554432000 4194304 4196468 140729848333504 140686742468944 140687277410203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28070] ppid=28058 vsize=15420480 memory=2327 CPUtime=2.09 cores=0,2,4,6
/proc/28060/task/28070/stat : 28070 (java) R 28058 28058 18186 0 -1 4202560 3071 0 0 0 209 0 0 0 20 0 19 0 409102396 15790571520 55601 33554432000 4194304 4196468 140729848333504 140686741403120 140687260778923 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28071] ppid=28058 vsize=15420480 memory=2 CPUtime=1.85 cores=0,2,4,6
/proc/28060/task/28071/stat : 28071 (java) R 28058 28058 18186 0 -1 4202560 3185 0 0 0 185 0 0 0 20 0 19 0 409102396 15790571520 55601 33554432000 4194304 4196468 140729848333504 140686740363504 140687258700730 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28072] ppid=28058 vsize=15420480 memory=665 CPUtime=0.8 cores=0,2,4,6
/proc/28060/task/28072/stat : 28072 (java) S 28058 28058 18186 0 -1 1077944384 2953 0 0 0 79 1 0 0 20 0 19 0 409102396 15790571520 55601 33554432000 4194304 4196468 140729848333504 140686739310704 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28073] ppid=28058 vsize=15420480 memory=1054 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28073/stat : 28073 (java) S 28058 28058 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409102396 15790571520 55601 33554432000 4194304 4196468 140729848333504 140686738258144 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28074] ppid=28058 vsize=15420480 memory=221 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28074/stat : 28074 (java) S 28058 28058 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409102396 15790571520 55601 33554432000 4194304 4196468 140729848333504 140686737206448 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28103] ppid=28058 vsize=15420480 memory=247 CPUtime=0.64 cores=0,2,4,6
/proc/28060/task/28103/stat : 28103 (java) R 28058 28058 18186 0 -1 4202560 25 0 0 0 64 0 0 0 20 0 19 0 409102602 15790571520 55601 33554432000 4194304 4196468 140729848333504 140686725082232 140686906202312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28104] ppid=28058 vsize=15420480 memory=6791534058613427641 CPUtime=0.8 cores=0,2,4,6
/proc/28060/task/28104/stat : 28104 (java) R 28058 28058 18186 0 -1 4202560 43 0 0 0 80 0 0 0 20 0 19 0 409102602 15790571520 55601 33554432000 4194304 4196468 140729848333504 140686722977624 140686911601901 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28105] ppid=28058 vsize=15420480 memory=4420 CPUtime=0.66 cores=0,2,4,6
/proc/28060/task/28105/stat : 28105 (java) R 28058 28058 18186 0 -1 4202560 23 0 0 0 66 0 0 0 20 0 19 0 409102602 15790571520 55601 33554432000 4194304 4196468 140729848333504 140686724030856 140686911601565 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28106] ppid=28058 vsize=15420480 memory=6628 CPUtime=0.74 cores=0,2,4,6
/proc/28060/task/28106/stat : 28106 (java) R 28058 28058 18186 0 -1 4202560 25 0 0 0 74 0 0 0 20 0 19 0 409102602 15790571520 55601 33554432000 4194304 4196468 140729848333504 140686721925048 140686913501968 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
Current children cumulated CPU time: 11.23 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 223852 KiB
[startup+4.00076 s]*
/proc/loadavg: 8.20 8.45 7.71 10/237 28110
/proc/meminfo: memFree=19417016/32770624 swapFree=66959212/67108860
[pid=28058] ppid=28055 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28058/stat : 28058 (xcsp3-exec) S 28055 28058 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409102390 115843072 362 33554432000 4194304 5098028 140725346197536 140725346195640 140072035095164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30101504 140725346202490 140725346202733 140725346202733 140725346205642 0
/proc/28058/statm: 28282 362 304 221 0 87 0
[pid=28060] ppid=28058 vsize=15420480 memory=223012 CPUtime=14.41 cores=0,2,4,6
/proc/28060/stat : 28060 (java) S 28058 28058 18186 0 -1 1077944320 21090 0 0 0 1428 13 0 0 20 0 19 0 409102390 15790571520 55753 33554432000 4194304 4196468 140729848333504 140729848316048 140687277391607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
/proc/28060/statm: 3855120 55753 3512 1 0 3816222 0
[pid=28060/tid=28061] ppid=28058 vsize=15420480 memory=4356259847565180298 CPUtime=1.02 cores=0,2,4,6
/proc/28060/task/28061/stat : 28061 (java) S 28058 28058 18186 0 -1 1077944384 9425 0 0 0 96 6 0 0 20 0 19 0 409102390 15790571520 55753 33554432000 4194304 4196468 140729848333504 140687281632384 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28062] ppid=28058 vsize=15420480 memory=3472328128895609921 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28062/stat : 28062 (java) S 28058 28058 18186 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 409102391 15790571520 55753 33554432000 4194304 4196468 140729848333504 140687230012048 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28063] ppid=28058 vsize=15420480 memory=4786094516007425696 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28063/stat : 28063 (java) S 28058 28058 18186 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 409102391 15790571520 55753 33554432000 4194304 4196468 140729848333504 140687228959248 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28064] ppid=28058 vsize=15420480 memory=3054156605267021189 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28064/stat : 28064 (java) S 28058 28058 18186 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 409102391 15790571520 55753 33554432000 4194304 4196468 140729848333504 140687227906448 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28065] ppid=28058 vsize=15420480 memory=2321665192529764383 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28065/stat : 28065 (java) S 28058 28058 18186 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 409102391 15790571520 55753 33554432000 4194304 4196468 140729848333504 140687226853648 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28066] ppid=28058 vsize=15420480 memory=4930831865031186096 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28066/stat : 28066 (java) S 28058 28058 18186 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 409102393 15790571520 55753 33554432000 4194304 4196468 140729848333504 140686745627504 140687277402754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28067] ppid=28058 vsize=15420480 memory=3976735856566219314 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28067/stat : 28067 (java) S 28058 28058 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409102393 15790571520 55753 33554432000 4194304 4196468 140729848333504 140686744573472 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28068] ppid=28058 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28068/stat : 28068 (java) S 28058 28058 18186 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 409102393 15790571520 55753 33554432000 4194304 4196468 140729848333504 140686743520624 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28069] ppid=28058 vsize=15420480 memory=38320 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28069/stat : 28069 (java) S 28058 28058 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409102396 15790571520 55753 33554432000 4194304 4196468 140729848333504 140686742468944 140687277410203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28070] ppid=28058 vsize=15420480 memory=2209 CPUtime=2.34 cores=0,2,4,6
/proc/28060/task/28070/stat : 28070 (java) S 28058 28058 18186 0 -1 1077944384 3109 0 0 0 234 0 0 0 20 0 19 0 409102396 15790571520 55753 33554432000 4194304 4196468 140729848333504 140686741416304 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28071] ppid=28058 vsize=15420480 memory=4580 CPUtime=2.13 cores=0,2,4,6
/proc/28060/task/28071/stat : 28071 (java) S 28058 28058 18186 0 -1 1077944384 3229 0 0 0 213 0 0 0 20 0 19 0 409102396 15790571520 55753 33554432000 4194304 4196468 140729848333504 140686740363504 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28072] ppid=28058 vsize=15420480 memory=5964 CPUtime=0.81 cores=0,2,4,6
/proc/28060/task/28072/stat : 28072 (java) R 28058 28058 18186 0 -1 1077944384 2976 0 0 0 80 1 0 0 20 0 19 0 409102396 15790571520 55753 33554432000 4194304 4196468 140729848333504 140686739310704 140687277402754 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28073] ppid=28058 vsize=15420480 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28073/stat : 28073 (java) S 28058 28058 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409102396 15790571520 55753 33554432000 4194304 4196468 140729848333504 140686738258144 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28074] ppid=28058 vsize=15420480 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28074/stat : 28074 (java) S 28058 28058 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409102396 15790571520 55753 33554432000 4194304 4196468 140729848333504 140686737206448 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28107] ppid=28058 vsize=15420480 memory=1216 CPUtime=0.57 cores=0,2,4,6
/proc/28060/task/28107/stat : 28107 (java) R 28058 28058 18186 0 -1 4202560 18 0 0 0 57 0 0 0 20 0 19 0 409102730 15790571520 55753 33554432000 4194304 4196468 140729848333504 140686721924680 140686911601908 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28108] ppid=28058 vsize=15420480 memory=984 CPUtime=0.56 cores=0,2,4,6
/proc/28060/task/28108/stat : 28108 (java) R 28058 28058 18186 0 -1 4202560 18 0 0 0 56 0 0 0 20 0 19 0 409102730 15790571520 55753 33554432000 4194304 4196468 140729848333504 140686722980296 140686911601917 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28109] ppid=28058 vsize=15420480 memory=14004 CPUtime=0.5 cores=0,2,4,6
/proc/28060/task/28109/stat : 28109 (java) R 28058 28058 18186 0 -1 4202560 18 0 0 0 50 0 0 0 20 0 19 0 409102730 15790571520 55753 33554432000 4194304 4196468 140729848333504 140686725083640 140686911601500 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28110] ppid=28058 vsize=15420480 memory=-1189914978686163229 CPUtime=0.51 cores=0,2,4,6
/proc/28060/task/28110/stat : 28110 (java) R 28058 28058 18186 0 -1 4202560 21 0 0 0 51 0 0 0 20 0 19 0 409102730 15790571520 55753 33554432000 4194304 4196468 140729848333504 140686724031080 140686913855616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
Current children cumulated CPU time: 14.41 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 224460 KiB
[startup+4.80124 s]
/proc/loadavg: 8.20 8.45 7.71 10/237 28110
/proc/meminfo: memFree=19417016/32770624 swapFree=66959212/67108860
[pid=28058] ppid=28055 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28058/stat : 28058 (xcsp3-exec) S 28055 28058 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409102390 115843072 362 33554432000 4194304 5098028 140725346197536 140725346195640 140072035095164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30101504 140725346202490 140725346202733 140725346202733 140725346205642 0
/proc/28058/statm: 28282 362 304 221 0 87 0
[pid=28060] ppid=28058 vsize=15420480 memory=223424 CPUtime=17.51 cores=0,2,4,6
/proc/28060/stat : 28060 (java) S 28058 28058 18186 0 -1 1077944320 23194 0 0 0 1738 13 0 0 20 0 19 0 409102390 15790571520 55856 33554432000 4194304 4196468 140729848333504 140729848316048 140687277391607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
/proc/28060/statm: 3855120 55856 3513 1 0 3816222 0
[pid=28060/tid=28061] ppid=28058 vsize=15420480 memory=6791534058613427641 CPUtime=1.02 cores=0,2,4,6
/proc/28060/task/28061/stat : 28061 (java) S 28058 28058 18186 0 -1 1077944384 9425 0 0 0 96 6 0 0 20 0 19 0 409102390 15790571520 55856 33554432000 4194304 4196468 140729848333504 140687281632384 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28062] ppid=28058 vsize=15420480 memory=8041606453839231804 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28062/stat : 28062 (java) S 28058 28058 18186 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 409102391 15790571520 55856 33554432000 4194304 4196468 140729848333504 140687230012048 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28063] ppid=28058 vsize=15420480 memory=68 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28063/stat : 28063 (java) S 28058 28058 18186 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 409102391 15790571520 55856 33554432000 4194304 4196468 140729848333504 140687228959248 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28064] ppid=28058 vsize=15420480 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28064/stat : 28064 (java) S 28058 28058 18186 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 409102391 15790571520 55856 33554432000 4194304 4196468 140729848333504 140687227906448 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28065] ppid=28058 vsize=15420480 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28065/stat : 28065 (java) S 28058 28058 18186 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 409102391 15790571520 55856 33554432000 4194304 4196468 140729848333504 140687226853648 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28066] ppid=28058 vsize=15420480 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28066/stat : 28066 (java) S 28058 28058 18186 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 409102393 15790571520 55856 33554432000 4194304 4196468 140729848333504 140686745627504 140687277402754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28067] ppid=28058 vsize=15420480 memory=-8990767739041718224 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28067/stat : 28067 (java) S 28058 28058 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409102393 15790571520 55856 33554432000 4194304 4196468 140729848333504 140686744573472 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28068] ppid=28058 vsize=15420480 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28068/stat : 28068 (java) S 28058 28058 18186 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 409102393 15790571520 55856 33554432000 4194304 4196468 140729848333504 140686743520624 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28069] ppid=28058 vsize=15420480 memory=8257237230706253920 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28069/stat : 28069 (java) S 28058 28058 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409102396 15790571520 55856 33554432000 4194304 4196468 140729848333504 140686742468944 140687277410203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28070] ppid=28058 vsize=15420480 memory=8326441112149131687 CPUtime=2.49 cores=0,2,4,6
/proc/28060/task/28070/stat : 28070 (java) S 28058 28058 18186 0 -1 1077944384 3455 0 0 0 249 0 0 0 20 0 19 0 409102396 15790571520 55856 33554432000 4194304 4196468 140729848333504 140686741416304 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28071] ppid=28058 vsize=15420480 memory=8508281339140727949 CPUtime=2.2 cores=0,2,4,6
/proc/28060/task/28071/stat : 28071 (java) S 28058 28058 18186 0 -1 1077944384 3818 0 0 0 220 0 0 0 20 0 19 0 409102396 15790571520 55856 33554432000 4194304 4196468 140729848333504 140686740363504 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28072] ppid=28058 vsize=15420480 memory=4427743802568832554 CPUtime=0.82 cores=0,2,4,6
/proc/28060/task/28072/stat : 28072 (java) S 28058 28058 18186 0 -1 1077944384 3275 0 0 0 81 1 0 0 20 0 19 0 409102396 15790571520 55856 33554432000 4194304 4196468 140729848333504 140686739310704 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28073] ppid=28058 vsize=15420480 memory=-2537689246120445521 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28073/stat : 28073 (java) S 28058 28058 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409102396 15790571520 55856 33554432000 4194304 4196468 140729848333504 140686738258144 140687277401813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28074] ppid=28058 vsize=15420480 memory=216096 CPUtime=0 cores=0,2,4,6
/proc/28060/task/28074/stat : 28074 (java) S 28058 28058 18186 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 409102396 15790571520 55856 33554432000 4194304 4196468 140729848333504 140686737206448 140687277402754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28107] ppid=28058 vsize=15420480 memory=1966185 CPUtime=1.34 cores=0,2,4,6
/proc/28060/task/28107/stat : 28107 (java) R 28058 28058 18186 0 -1 4202560 62 0 0 0 134 0 0 0 20 0 19 0 409102730 15790571520 55856 33554432000 4194304 4196468 140729848333504 140686721924632 140686911601417 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28108] ppid=28058 vsize=15420480 memory=1967567 CPUtime=1.25 cores=0,2,4,6
/proc/28060/task/28108/stat : 28108 (java) R 28058 28058 18186 0 -1 4202560 310 0 0 0 125 0 0 0 20 0 19 0 409102730 15790571520 55856 33554432000 4194304 4196468 140729848333504 140686722978648 140686911601869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28109] ppid=28058 vsize=15420480 memory=0 CPUtime=1.23 cores=0,2,4,6
/proc/28060/task/28109/stat : 28109 (java) R 28058 28058 18186 0 -1 4202560 463 0 0 0 123 0 0 0 20 0 19 0 409102730 15790571520 55856 33554432000 4194304 4196468 140729848333504 140686725083672 140686911601468 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
[pid=28060/tid=28110] ppid=28058 vsize=15420480 memory=0 CPUtime=1.2 cores=0,2,4,6
/proc/28060/task/28110/stat : 28110 (java) R 28058 28058 18186 0 -1 4202560 102 0 0 0 120 0 0 0 20 0 19 0 409102730 15790571520 55856 33554432000 4194304 4196468 140729848333504 140686724030616 140686913855525 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140729848341487 140729848341658 140729848341658 140729848344527 0
Current children cumulated CPU time: 17.51 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 224872 KiB
[startup+5.2008 s]
/proc/loadavg: 8.35 8.48 7.72 3/237 28110
/proc/meminfo: memFree=19408288/32770624 swapFree=66959212/67108860
[pid=28058] ppid=28055 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28058/stat : 28058 (xcsp3-exec) S 28055 28058 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409102390 115843072 362 33554432000 4194304 5098028 140725346197536 140725346195640 140072035095164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30101504 140725346202490 140725346202733 140725346202733 140725346205642 0
/proc/28058/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
[startup+5.30045 s]
/proc/loadavg: 8.35 8.48 7.72 3/237 28110
/proc/meminfo: memFree=19408288/32770624 swapFree=66959212/67108860
[pid=28058] ppid=28055 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28058/stat : 28058 (xcsp3-exec) S 28055 28058 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409102390 115843072 362 33554432000 4194304 5098028 140725346197536 140725346195640 140072035095164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30101504 140725346202490 140725346202733 140725346202733 140725346205642 0
/proc/28058/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 5.30888
CPU time (s): 18.1335
CPU user time (s): 17.9918
CPU system time (s): 0.141694
CPU usage (%): 341.569
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 225200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.9918
system time used= 0.141694
maximum resident set size= 224084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24759
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2626
involuntary context switches= 768
# summary of solver processes directly reported to runsolver:
# pid: 28058
# total CPU time (s): 18.1335
# total CPU user time (s): 17.9918
# total CPU system time (s): 0.141694
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06982 second user time and 0.090985 second system time
The end