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 (12691 MiB free)
memory of node 1: 16384 MiB (11376 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282952-1503213167/watcher-4282952-1503213167 -o /tmp/evaluation-result-4282952-1503213167/solver-4282952-1503213167 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1503208459-17466 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 521575075 HOME/instance-4282952-1503213167.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=20307, runsolver pid=20304
Current StackSize limit: 8192 KiB
[startup+0.100126 s]*
/proc/loadavg: 2.00 2.05 1.99 4/217 20323
/proc/meminfo: memFree=24628960/32770624 swapFree=67108860/67108860
[pid=20307] ppid=20304 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20307/stat : 20307 (xcsp3-exec) S 20304 20307 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154397585 9740288 346 33554432000 4194304 5098028 140730849993120 140730849991224 140412567859836 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37281792 140730849997941 140730849998144 140730849998144 140730850000875 0
/proc/20307/statm: 2378 346 289 221 0 87 0
[pid=20309] ppid=20307 vsize=13978596 memory=27596 CPUtime=0.12 cores=0,2,4,6
/proc/20309/stat : 20309 (java) S 20307 20307 17435 0 -1 1077944320 5318 0 0 0 11 1 0 0 20 0 15 0 154397585 14314082304 6899 33554432000 4194304 4196468 140724175119792 140724175102336 140567790190327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
/proc/20309/statm: 3494649 6899 2850 1 0 3482966 0
[pid=20309/tid=20310] ppid=20307 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/20309/task/20310/stat : 20310 (java) R 20307 20307 17435 0 -1 4202560 3327 0 0 0 8 0 0 0 20 0 15 0 154397585 14314082304 6899 33554432000 4194304 4196468 140724175119792 140567794416048 140567790202262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20311] ppid=20307 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20311/stat : 20311 (java) S 20307 20307 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154397586 14314082304 6899 33554432000 4194304 4196468 140724175119792 140567705258512 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20312] ppid=20307 vsize=13978596 memory=140601174869632 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20312/stat : 20312 (java) S 20307 20307 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154397586 14314082304 6899 33554432000 4194304 4196468 140724175119792 140567704205968 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20313] ppid=20307 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20313/stat : 20313 (java) S 20307 20307 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154397586 14314082304 6899 33554432000 4194304 4196468 140724175119792 140567384156432 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20314] ppid=20307 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20314/stat : 20314 (java) S 20307 20307 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154397586 14314082304 6899 33554432000 4194304 4196468 140724175119792 140567383103888 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20315] ppid=20307 vsize=13978596 memory=140601174869632 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20315/stat : 20315 (java) S 20307 20307 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154397587 14314082304 6899 33554432000 4194304 4196468 140724175119792 140566702660336 140567790201474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20316] ppid=20307 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20316/stat : 20316 (java) S 20307 20307 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154397588 14314082304 6899 33554432000 4194304 4196468 140724175119792 140566701606560 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20317] ppid=20307 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20317/stat : 20317 (java) S 20307 20307 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154397588 14314082304 6899 33554432000 4194304 4196468 140724175119792 140566700553456 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20318] ppid=20307 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20318/stat : 20318 (java) S 20307 20307 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154397590 14314082304 6899 33554432000 4194304 4196468 140724175119792 140566699502032 140567790208923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20319] ppid=20307 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20319/stat : 20319 (java) S 20307 20307 17435 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 154397590 14314082304 6899 33554432000 4194304 4196468 140724175119792 140566698449136 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20320] ppid=20307 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20320/stat : 20320 (java) S 20307 20307 17435 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 154397590 14314082304 6899 33554432000 4194304 4196468 140724175119792 140566697396592 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20321] ppid=20307 vsize=13978596 memory=140601174869632 CPUtime=0.01 cores=0,2,4,6
/proc/20309/task/20321/stat : 20321 (java) R 20307 20307 17435 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 15 0 154397590 14314082304 6899 33554432000 4194304 4196468 140724175119792 140566360745968 140567790202262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20322] ppid=20307 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20322/stat : 20322 (java) S 20307 20307 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154397591 14314082304 6899 33554432000 4194304 4196468 140724175119792 140566359693664 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20323] ppid=20307 vsize=13978596 memory=140601174869632 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20323/stat : 20323 (java) S 20307 20307 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154397591 14314082304 6899 33554432000 4194304 4196468 140724175119792 140566358641712 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28980 KiB
[startup+0.210839 s]*
/proc/loadavg: 2.00 2.05 1.99 3/217 20323
/proc/meminfo: memFree=24617656/32770624 swapFree=67108860/67108860
[pid=20307] ppid=20304 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20307/stat : 20307 (xcsp3-exec) S 20304 20307 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154397585 9740288 346 33554432000 4194304 5098028 140730849993120 140730849991224 140412567859836 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37281792 140730849997941 140730849998144 140730849998144 140730850000875 0
/proc/20307/statm: 2378 346 289 221 0 87 0
[pid=20309] ppid=20307 vsize=13982852 memory=40504 CPUtime=0.33 cores=0,2,4,6
/proc/20309/stat : 20309 (java) S 20307 20307 17435 0 -1 1077944320 8123 0 0 0 31 2 0 0 20 0 15 0 154397585 14318440448 10126 33554432000 4194304 4196468 140724175119792 140724175102336 140567790190327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
/proc/20309/statm: 3495713 10126 3058 1 0 3482966 0
[pid=20309/tid=20310] ppid=20307 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/20309/task/20310/stat : 20310 (java) R 20307 20307 17435 0 -1 4202560 5241 0 0 0 18 1 0 0 20 0 15 0 154397585 14318440448 10126 33554432000 4194304 4196468 140724175119792 140567794412336 140567774270814 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20311] ppid=20307 vsize=13982852 memory=13650 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20311/stat : 20311 (java) S 20307 20307 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154397586 14318440448 10126 33554432000 4194304 4196468 140724175119792 140567705258512 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20312] ppid=20307 vsize=13982852 memory=140601175645427 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20312/stat : 20312 (java) S 20307 20307 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154397586 14318440448 10126 33554432000 4194304 4196468 140724175119792 140567704205968 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20313] ppid=20307 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20313/stat : 20313 (java) S 20307 20307 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154397586 14318440448 10126 33554432000 4194304 4196468 140724175119792 140567384156432 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20314] ppid=20307 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20314/stat : 20314 (java) S 20307 20307 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154397586 14318440448 10126 33554432000 4194304 4196468 140724175119792 140567383103888 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20315] ppid=20307 vsize=13982852 memory=140601174869632 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20315/stat : 20315 (java) S 20307 20307 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154397587 14318440448 10126 33554432000 4194304 4196468 140724175119792 140566702660336 140567790201474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20316] ppid=20307 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20316/stat : 20316 (java) S 20307 20307 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154397588 14318440448 10126 33554432000 4194304 4196468 140724175119792 140566701606560 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20317] ppid=20307 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20317/stat : 20317 (java) S 20307 20307 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154397588 14318440448 10126 33554432000 4194304 4196468 140724175119792 140566700553456 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20318] ppid=20307 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20318/stat : 20318 (java) S 20307 20307 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154397590 14318440448 10126 33554432000 4194304 4196468 140724175119792 140566699502032 140567790208923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20319] ppid=20307 vsize=13982852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20309/task/20319/stat : 20319 (java) S 20307 20307 17435 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 15 0 154397590 14318440448 10126 33554432000 4194304 4196468 140724175119792 140566698449136 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20320] ppid=20307 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/20309/task/20320/stat : 20320 (java) S 20307 20307 17435 0 -1 1077944384 439 0 0 0 3 0 0 0 20 0 15 0 154397590 14318440448 10126 33554432000 4194304 4196468 140724175119792 140566697396592 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20321] ppid=20307 vsize=13982884 memory=140601174869632 CPUtime=0.07 cores=0,2,4,6
/proc/20309/task/20321/stat : 20321 (java) R 20307 20307 17435 0 -1 4202560 803 0 0 0 7 0 0 0 20 0 15 0 154397590 14318473216 10126 33554432000 4194304 4196468 140724175119792 140566360745968 140567790204209 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20322] ppid=20307 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20322/stat : 20322 (java) S 20307 20307 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154397591 14318473216 10126 33554432000 4194304 4196468 140724175119792 140566359693664 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20323] ppid=20307 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20323/stat : 20323 (java) S 20307 20307 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154397591 14318440448 10148 33554432000 4194304 4196468 140724175119792 140566358641712 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41888 KiB
[startup+0.31038 s]*
/proc/loadavg: 2.00 2.05 1.99 4/217 20323
/proc/meminfo: memFree=24610568/32770624 swapFree=67108860/67108860
[pid=20307] ppid=20304 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20307/stat : 20307 (xcsp3-exec) S 20304 20307 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154397585 9740288 346 33554432000 4194304 5098028 140730849993120 140730849991224 140412567859836 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37281792 140730849997941 140730849998144 140730849998144 140730850000875 0
/proc/20307/statm: 2378 346 289 221 0 87 0
[pid=20309] ppid=20307 vsize=13982852 memory=47428 CPUtime=0.5 cores=0,2,4,6
/proc/20309/stat : 20309 (java) S 20307 20307 17435 0 -1 1077944320 9095 0 0 0 47 3 0 0 20 0 15 0 154397585 14318440448 11857 33554432000 4194304 4196468 140724175119792 140724175102336 140567790190327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
/proc/20309/statm: 3495713 11857 3078 1 0 3482966 0
[pid=20309/tid=20310] ppid=20307 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/20309/task/20310/stat : 20310 (java) R 20307 20307 17435 0 -1 4202560 5960 0 0 0 27 2 0 0 20 0 15 0 154397585 14318440448 11857 33554432000 4194304 4196468 140724175119792 140567794425376 140567790202262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20311] ppid=20307 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20311/stat : 20311 (java) S 20307 20307 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154397586 14318440448 11857 33554432000 4194304 4196468 140724175119792 140567705258512 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20312] ppid=20307 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20312/stat : 20312 (java) S 20307 20307 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154397586 14318440448 11857 33554432000 4194304 4196468 140724175119792 140567704205968 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20313] ppid=20307 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20313/stat : 20313 (java) S 20307 20307 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154397586 14318440448 11857 33554432000 4194304 4196468 140724175119792 140567384156432 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20314] ppid=20307 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20314/stat : 20314 (java) S 20307 20307 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154397586 14318440448 11857 33554432000 4194304 4196468 140724175119792 140567383103888 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20315] ppid=20307 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20315/stat : 20315 (java) S 20307 20307 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154397587 14318440448 11857 33554432000 4194304 4196468 140724175119792 140566702660336 140567790201474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20316] ppid=20307 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20316/stat : 20316 (java) S 20307 20307 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154397588 14318440448 11857 33554432000 4194304 4196468 140724175119792 140566701606560 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20317] ppid=20307 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20317/stat : 20317 (java) S 20307 20307 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154397588 14318440448 11857 33554432000 4194304 4196468 140724175119792 140566700553456 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20318] ppid=20307 vsize=13982852 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20318/stat : 20318 (java) S 20307 20307 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154397590 14318440448 11857 33554432000 4194304 4196468 140724175119792 140566699502032 140567790208923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20319] ppid=20307 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=0,2,4,6
/proc/20309/task/20319/stat : 20319 (java) S 20307 20307 17435 0 -1 1077944384 460 0 0 0 3 0 0 0 20 0 15 0 154397590 14318440448 11857 33554432000 4194304 4196468 140724175119792 140566698449136 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20320] ppid=20307 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20309/task/20320/stat : 20320 (java) S 20307 20307 17435 0 -1 1077944384 456 0 0 0 4 0 0 0 20 0 15 0 154397590 14318440448 11857 33554432000 4194304 4196468 140724175119792 140566697396592 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20321] ppid=20307 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/20309/task/20321/stat : 20321 (java) R 20307 20307 17435 0 -1 4202560 918 0 0 0 12 0 0 0 20 0 15 0 154397590 14318440448 11857 33554432000 4194304 4196468 140724175119792 140566360745968 140567768681616 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20322] ppid=20307 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20322/stat : 20322 (java) S 20307 20307 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154397591 14318440448 11857 33554432000 4194304 4196468 140724175119792 140566359693664 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20323] ppid=20307 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20323/stat : 20323 (java) S 20307 20307 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154397591 14318440448 11857 33554432000 4194304 4196468 140724175119792 140566358641712 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48812 KiB
[startup+0.701717 s]
/proc/loadavg: 2.00 2.05 1.99 5/217 20323
/proc/meminfo: memFree=24596676/32770624 swapFree=67108860/67108860
[pid=20307] ppid=20304 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20307/stat : 20307 (xcsp3-exec) S 20304 20307 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154397585 9740288 346 33554432000 4194304 5098028 140730849993120 140730849991224 140412567859836 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37281792 140730849997941 140730849998144 140730849998144 140730850000875 0
/proc/20307/statm: 2378 346 289 221 0 87 0
[pid=20309] ppid=20307 vsize=13984976 memory=86508 CPUtime=1.61 cores=0,2,4,6
/proc/20309/stat : 20309 (java) S 20307 20307 17435 0 -1 1077944320 16846 0 0 0 156 5 0 0 20 0 15 0 154397585 14320615424 21627 33554432000 4194304 4196468 140724175119792 140724175102336 140567790190327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
/proc/20309/statm: 3496244 21627 3203 1 0 3483478 0
[pid=20309/tid=20310] ppid=20307 vsize=13984976 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/20309/task/20310/stat : 20310 (java) R 20307 20307 17435 0 -1 4202560 6501 0 0 0 64 3 0 0 20 0 15 0 154397585 14320615424 21627 33554432000 4194304 4196468 140724175119792 140567794421424 140567790202262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20311] ppid=20307 vsize=13984976 memory=12136 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20311/stat : 20311 (java) S 20307 20307 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154397586 14320615424 21627 33554432000 4194304 4196468 140724175119792 140567705258512 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20312] ppid=20307 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20312/stat : 20312 (java) S 20307 20307 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154397586 14320615424 21627 33554432000 4194304 4196468 140724175119792 140567704205968 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20313] ppid=20307 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20313/stat : 20313 (java) S 20307 20307 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154397586 14320615424 21627 33554432000 4194304 4196468 140724175119792 140567384156432 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20314] ppid=20307 vsize=13984976 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20314/stat : 20314 (java) S 20307 20307 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154397586 14320615424 21627 33554432000 4194304 4196468 140724175119792 140567383103888 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20315] ppid=20307 vsize=13984976 memory=5796 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20315/stat : 20315 (java) S 20307 20307 17435 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154397587 14320615424 21627 33554432000 4194304 4196468 140724175119792 140566702660336 140567790201474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20316] ppid=20307 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20316/stat : 20316 (java) S 20307 20307 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154397588 14320615424 21627 33554432000 4194304 4196468 140724175119792 140566701606560 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20317] ppid=20307 vsize=13984976 memory=8624 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20317/stat : 20317 (java) S 20307 20307 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154397588 14320615424 21627 33554432000 4194304 4196468 140724175119792 140566700553456 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20318] ppid=20307 vsize=13984976 memory=792 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20318/stat : 20318 (java) S 20307 20307 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154397590 14320615424 21627 33554432000 4194304 4196468 140724175119792 140566699502032 140567790208923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20319] ppid=20307 vsize=13984976 memory=1204 CPUtime=0.33 cores=0,2,4,6
/proc/20309/task/20319/stat : 20319 (java) R 20307 20307 17435 0 -1 4202560 4209 0 0 0 33 0 0 0 20 0 15 0 154397590 14320615424 21627 33554432000 4194304 4196468 140724175119792 140566698435160 140567775313900 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20320] ppid=20307 vsize=13984976 memory=1728 CPUtime=0.32 cores=0,2,4,6
/proc/20309/task/20320/stat : 20320 (java) R 20307 20307 17435 0 -1 4202560 2481 0 0 0 32 0 0 0 20 0 15 0 154397590 14320615424 21627 33554432000 4194304 4196468 140724175119792 140566697382472 140567771718141 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20321] ppid=20307 vsize=13984976 memory=1440 CPUtime=0.27 cores=0,2,4,6
/proc/20309/task/20321/stat : 20321 (java) R 20307 20307 17435 0 -1 4202560 2349 0 0 0 26 1 0 0 20 0 15 0 154397590 14320615424 21627 33554432000 4194304 4196468 140724175119792 140566360745968 140567790211674 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20322] ppid=20307 vsize=13984976 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20322/stat : 20322 (java) S 20307 20307 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154397591 14320615424 21627 33554432000 4194304 4196468 140724175119792 140566359693664 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20323] ppid=20307 vsize=13984976 memory=16432 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20323/stat : 20323 (java) S 20307 20307 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154397591 14320615424 21627 33554432000 4194304 4196468 140724175119792 140566358641712 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 87892 KiB
[startup+1.50168 s]
/proc/loadavg: 2.00 2.05 1.99 3/217 20323
/proc/meminfo: memFree=24564072/32770624 swapFree=67108860/67108860
[pid=20307] ppid=20304 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20307/stat : 20307 (xcsp3-exec) S 20304 20307 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154397585 9740288 346 33554432000 4194304 5098028 140730849993120 140730849991224 140412567859836 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37281792 140730849997941 140730849998144 140730849998144 140730850000875 0
/proc/20307/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/20309/task/20317/stat : 20317 (java) S 20307 20307 17435 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154397588 14320615424 43103 33554432000 4194304 4196468 140724175119792 140566700553472 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20318] ppid=20307 vsize=13984976 memory=97 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20318/stat : 20318 (java) S 20307 20307 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154397590 14320615424 43103 33554432000 4194304 4196468 140724175119792 140566699502032 140567790208923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20319] ppid=20307 vsize=13984976 memory=33 CPUtime=2.26 cores=0,2,4,6
/proc/20309/task/20319/stat : 20319 (java) S 20307 20307 17435 0 -1 1077944384 12607 0 0 0 224 2 0 0 20 0 15 0 154397590 14320615424 43103 33554432000 4194304 4196468 140724175119792 140566698449136 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20320] ppid=20307 vsize=13984976 memory=140601056926913 CPUtime=2.18 cores=0,2,4,6
/proc/20309/task/20320/stat : 20320 (java) S 20307 20307 17435 0 -1 1077944384 11176 0 0 0 217 1 0 0 20 0 15 0 154397590 14320615424 43103 33554432000 4194304 4196468 140724175119792 140566697396592 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20321] ppid=20307 vsize=13984976 memory=174464 CPUtime=0.58 cores=0,2,4,6
/proc/20309/task/20321/stat : 20321 (java) S 20307 20307 17435 0 -1 1077944384 6287 0 0 0 56 2 0 0 20 0 15 0 154397590 14320615424 43103 33554432000 4194304 4196468 140724175119792 140566360745968 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20322] ppid=20307 vsize=13984976 memory=43332 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20322/stat : 20322 (java) S 20307 20307 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154397591 14320615424 43103 33554432000 4194304 4196468 140724175119792 140566359693664 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20323] ppid=20307 vsize=13984976 memory=4096 CPUtime=0.02 cores=0,2,4,6
/proc/20309/task/20323/stat : 20323 (java) S 20307 20307 17435 0 -1 1077944384 473 0 0 0 1 1 0 0 20 0 15 0 154397591 14320615424 43103 33554432000 4194304 4196468 140724175119792 140566358641712 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
Current children cumulated CPU time: 107.52 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 173796 KiB
[startup+162.301 s]
/proc/loadavg: 1.84 1.96 1.96 4/218 20433
/proc/meminfo: memFree=23804444/32770624 swapFree=67108860/67108860
[pid=20307] ppid=20304 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20307/stat : 20307 (xcsp3-exec) S 20304 20307 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154397585 9740288 346 33554432000 4194304 5098028 140730849993120 140730849991224 140412567859836 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37281792 140730849997941 140730849998144 140730849998144 140730850000875 0
/proc/20307/statm: 2378 346 289 221 0 87 0
[pid=20309] ppid=20307 vsize=13984976 memory=157304 CPUtime=168.09 cores=0,2,4,6
/proc/20309/stat : 20309 (java) S 20307 20307 17435 0 -1 1077944320 55918 0 0 0 16783 26 0 0 20 0 15 0 154397585 14320615424 39326 33554432000 4194304 4196468 140724175119792 140724175102336 140567790190327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
/proc/20309/statm: 3496244 39326 3264 1 0 3483478 0
[pid=20309/tid=20310] ppid=20307 vsize=13984976 memory=157296 CPUtime=161.93 cores=0,2,4,6
/proc/20309/task/20310/stat : 20310 (java) R 20307 20307 17435 0 -1 4202560 12033 0 0 0 16187 6 0 0 20 0 15 0 154397585 14320615424 39326 33554432000 4194304 4196468 140724175119792 140567794429680 140567385310604 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20311] ppid=20307 vsize=13984976 memory=157296 CPUtime=0.11 cores=0,2,4,6
/proc/20309/task/20311/stat : 20311 (java) S 20307 20307 17435 0 -1 1077944384 2079 0 0 0 9 2 0 0 20 0 15 0 154397586 14320615424 39326 33554432000 4194304 4196468 140724175119792 140567705258512 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20312] ppid=20307 vsize=13984976 memory=157304 CPUtime=0.11 cores=0,2,4,6
/proc/20309/task/20312/stat : 20312 (java) S 20307 20307 17435 0 -1 1077944384 2009 0 0 0 9 2 0 0 20 0 15 0 154397586 14320615424 39326 33554432000 4194304 4196468 140724175119792 140567704205968 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20313] ppid=20307 vsize=13984976 memory=157304 CPUtime=0.11 cores=0,2,4,6
/proc/20309/task/20313/stat : 20313 (java) S 20307 20307 17435 0 -1 1077944384 831 0 0 0 9 2 0 0 20 0 15 0 154397586 14320615424 39326 33554432000 4194304 4196468 140724175119792 140567384156432 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20314] ppid=20307 vsize=13984976 memory=157304 CPUtime=0.11 cores=0,2,4,6
/proc/20309/task/20314/stat : 20314 (java) S 20307 20307 17435 0 -1 1077944384 432 0 0 0 9 2 0 0 20 0 15 0 154397586 14320615424 39326 33554432000 4194304 4196468 140724175119792 140567383103888 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20315] ppid=20307 vsize=13984976 memory=1384 CPUtime=0.07 cores=0,2,4,6
/proc/20309/task/20315/stat : 20315 (java) S 20307 20307 17435 0 -1 1077944384 1395 0 0 0 6 1 0 0 20 0 15 0 154397587 14320615424 39326 33554432000 4194304 4196468 140724175119792 140566702660336 140567790201474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20316] ppid=20307 vsize=13984976 memory=157304 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20316/stat : 20316 (java) S 20307 20307 17435 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154397588 14320615424 39326 33554432000 4194304 4196468 140724175119792 140566701606624 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20317] ppid=20307 vsize=13984976 memory=157304 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20317/stat : 20317 (java) S 20307 20307 17435 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154397588 14320615424 39326 33554432000 4194304 4196468 140724175119792 140566700553472 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20318] ppid=20307 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20318/stat : 20318 (java) S 20307 20307 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154397590 14320615424 39326 33554432000 4194304 4196468 140724175119792 140566699502032 140567790208923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20319] ppid=20307 vsize=13984976 memory=157296 CPUtime=2.43 cores=0,2,4,6
/proc/20309/task/20319/stat : 20319 (java) S 20307 20307 17435 0 -1 1077944384 13528 0 0 0 241 2 0 0 20 0 15 0 154397590 14320615424 39326 33554432000 4194304 4196468 140724175119792 140566698449136 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20320] ppid=20307 vsize=13984976 memory=157304 CPUtime=2.46 cores=0,2,4,6
/proc/20309/task/20320/stat : 20320 (java) S 20307 20307 17435 0 -1 1077944384 13942 0 0 0 245 1 0 0 20 0 15 0 154397590 14320615424 39326 33554432000 4194304 4196468 140724175119792 140566697396592 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20321] ppid=20307 vsize=13984976 memory=1384 CPUtime=0.61 cores=0,2,4,6
/proc/20309/task/20321/stat : 20321 (java) S 20307 20307 17435 0 -1 1077944384 7824 0 0 0 59 2 0 0 20 0 15 0 154397590 14320615424 39326 33554432000 4194304 4196468 140724175119792 140566360745968 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20322] ppid=20307 vsize=13984976 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20322/stat : 20322 (java) S 20307 20307 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154397591 14320615424 39326 33554432000 4194304 4196468 140724175119792 140566359693664 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20323] ppid=20307 vsize=13984976 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20309/task/20323/stat : 20323 (java) S 20307 20307 17435 0 -1 1077944384 497 0 0 0 2 2 0 0 20 0 15 0 154397591 14320615424 39326 33554432000 4194304 4196468 140724175119792 140566358641712 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
Current children cumulated CPU time: 168.09 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 158688 KiB
[startup+222.301 s]
/proc/loadavg: 1.87 1.94 1.95 4/218 20434
/proc/meminfo: memFree=23734108/32770624 swapFree=67108860/67108860
[pid=20307] ppid=20304 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20307/stat : 20307 (xcsp3-exec) S 20304 20307 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154397585 9740288 346 33554432000 4194304 5098028 140730849993120 140730849991224 140412567859836 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37281792 140730849997941 140730849998144 140730849998144 140730850000875 0
/proc/20307/statm: 2378 346 289 221 0 87 0
[pid=20309] ppid=20307 vsize=13984976 memory=150192 CPUtime=228.21 cores=0,2,4,6
/proc/20309/stat : 20309 (java) S 20307 20307 17435 0 -1 1077944320 57720 0 0 0 22794 27 0 0 20 0 15 0 154397585 14320615424 37548 33554432000 4194304 4196468 140724175119792 140724175102336 140567790190327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
/proc/20309/statm: 3496244 37548 3264 1 0 3483478 0
[pid=20309/tid=20310] ppid=20307 vsize=13984976 memory=150192 CPUtime=221.84 cores=0,2,4,6
/proc/20309/task/20310/stat : 20310 (java) R 20307 20307 17435 0 -1 4202560 12475 0 0 0 22178 6 0 0 20 0 15 0 154397585 14320615424 37548 33554432000 4194304 4196468 140724175119792 140567794429440 140567389978438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20311] ppid=20307 vsize=13984976 memory=150192 CPUtime=0.15 cores=0,2,4,6
/proc/20309/task/20311/stat : 20311 (java) S 20307 20307 17435 0 -1 1077944384 2116 0 0 0 12 3 0 0 20 0 15 0 154397586 14320615424 37548 33554432000 4194304 4196468 140724175119792 140567705258512 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20312] ppid=20307 vsize=13984976 memory=150192 CPUtime=0.15 cores=0,2,4,6
/proc/20309/task/20312/stat : 20312 (java) S 20307 20307 17435 0 -1 1077944384 2030 0 0 0 12 3 0 0 20 0 15 0 154397586 14320615424 37548 33554432000 4194304 4196468 140724175119792 140567704205968 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20313] ppid=20307 vsize=13984976 memory=150192 CPUtime=0.14 cores=0,2,4,6
/proc/20309/task/20313/stat : 20313 (java) S 20307 20307 17435 0 -1 1077944384 938 0 0 0 12 2 0 0 20 0 15 0 154397586 14320615424 37548 33554432000 4194304 4196468 140724175119792 140567384156432 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20314] ppid=20307 vsize=13984976 memory=150192 CPUtime=0.15 cores=0,2,4,6
/proc/20309/task/20314/stat : 20314 (java) S 20307 20307 17435 0 -1 1077944384 458 0 0 0 12 3 0 0 20 0 15 0 154397586 14320615424 37548 33554432000 4194304 4196468 140724175119792 140567383103888 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20315] ppid=20307 vsize=13984976 memory=150192 CPUtime=0.11 cores=0,2,4,6
/proc/20309/task/20315/stat : 20315 (java) S 20307 20307 17435 0 -1 1077944384 1614 0 0 0 10 1 0 0 20 0 15 0 154397587 14320615424 37548 33554432000 4194304 4196468 140724175119792 140566702660336 140567790201474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20316] ppid=20307 vsize=13984976 memory=150192 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20316/stat : 20316 (java) S 20307 20307 17435 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154397588 14320615424 37548 33554432000 4194304 4196468 140724175119792 140566701606624 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20317] ppid=20307 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20317/stat : 20317 (java) S 20307 20307 17435 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154397588 14320615424 37548 33554432000 4194304 4196468 140724175119792 140566700553472 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20318] ppid=20307 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20318/stat : 20318 (java) S 20307 20307 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154397590 14320615424 37548 33554432000 4194304 4196468 140724175119792 140566699502032 140567790208923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20319] ppid=20307 vsize=13984976 memory=150192 CPUtime=2.43 cores=0,2,4,6
/proc/20309/task/20319/stat : 20319 (java) S 20307 20307 17435 0 -1 1077944384 13528 0 0 0 241 2 0 0 20 0 15 0 154397590 14320615424 37548 33554432000 4194304 4196468 140724175119792 140566698449136 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20320] ppid=20307 vsize=13984976 memory=1384 CPUtime=2.5 cores=0,2,4,6
/proc/20309/task/20320/stat : 20320 (java) S 20307 20307 17435 0 -1 1077944384 14469 0 0 0 249 1 0 0 20 0 15 0 154397590 14320615424 37548 33554432000 4194304 4196468 140724175119792 140566697396592 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20321] ppid=20307 vsize=13984976 memory=792 CPUtime=0.62 cores=0,2,4,6
/proc/20309/task/20321/stat : 20321 (java) S 20307 20307 17435 0 -1 1077944384 8219 0 0 0 60 2 0 0 20 0 15 0 154397590 14320615424 37548 33554432000 4194304 4196468 140724175119792 140566360745968 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20322] ppid=20307 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20322/stat : 20322 (java) S 20307 20307 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154397591 14320615424 37548 33554432000 4194304 4196468 140724175119792 140566359693664 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20323] ppid=20307 vsize=13984976 memory=1384 CPUtime=0.05 cores=0,2,4,6
/proc/20309/task/20323/stat : 20323 (java) S 20307 20307 17435 0 -1 1077944384 525 0 0 0 2 3 0 0 20 0 15 0 154397591 14320615424 37548 33554432000 4194304 4196468 140724175119792 140566358641712 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
Current children cumulated CPU time: 228.21 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 151576 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.82 1.93 1.95 4/218 20434
/proc/meminfo: memFree=23734108/32770624 swapFree=67108860/67108860
[pid=20307] ppid=20304 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20307/stat : 20307 (xcsp3-exec) S 20304 20307 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154397585 9740288 346 33554432000 4194304 5098028 140730849993120 140730849991224 140412567859836 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37281792 140730849997941 140730849998144 140730849998144 140730850000875 0
/proc/20307/statm: 2378 346 289 221 0 87 0
[pid=20309] ppid=20307 vsize=13984976 memory=150192 CPUtime=245.96 cores=0,2,4,6
/proc/20309/stat : 20309 (java) S 20307 20307 17435 0 -1 1077944320 58033 0 0 0 24568 28 0 0 20 0 15 0 154397585 14320615424 37548 33554432000 4194304 4196468 140724175119792 140724175102336 140567790190327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
/proc/20309/statm: 3496244 37548 3264 1 0 3483478 0
[pid=20309/tid=20310] ppid=20307 vsize=13984976 memory=4044 CPUtime=239.51 cores=0,2,4,6
/proc/20309/task/20310/stat : 20310 (java) R 20307 20307 17435 0 -1 4202560 12513 0 0 0 23945 6 0 0 20 0 15 0 154397585 14320615424 37548 33554432000 4194304 4196468 140724175119792 140567794429440 140567388696052 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20311] ppid=20307 vsize=13984976 memory=1792 CPUtime=0.16 cores=0,2,4,6
/proc/20309/task/20311/stat : 20311 (java) S 20307 20307 17435 0 -1 1077944384 2117 0 0 0 13 3 0 0 20 0 15 0 154397586 14320615424 37548 33554432000 4194304 4196468 140724175119792 140567705258512 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20312] ppid=20307 vsize=13984976 memory=4126316290023845779 CPUtime=0.16 cores=0,2,4,6
/proc/20309/task/20312/stat : 20312 (java) S 20307 20307 17435 0 -1 1077944384 2031 0 0 0 13 3 0 0 20 0 15 0 154397586 14320615424 37548 33554432000 4194304 4196468 140724175119792 140567704205968 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20313] ppid=20307 vsize=13984976 memory=4126316290023845779 CPUtime=0.15 cores=0,2,4,6
/proc/20309/task/20313/stat : 20313 (java) S 20307 20307 17435 0 -1 1077944384 939 0 0 0 13 2 0 0 20 0 15 0 154397586 14320615424 37548 33554432000 4194304 4196468 140724175119792 140567384156432 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20314] ppid=20307 vsize=13984976 memory=1384 CPUtime=0.16 cores=0,2,4,6
/proc/20309/task/20314/stat : 20314 (java) S 20307 20307 17435 0 -1 1077944384 460 0 0 0 13 3 0 0 20 0 15 0 154397586 14320615424 37548 33554432000 4194304 4196468 140724175119792 140567383103888 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20315] ppid=20307 vsize=13984976 memory=150192 CPUtime=0.12 cores=0,2,4,6
/proc/20309/task/20315/stat : 20315 (java) S 20307 20307 17435 0 -1 1077944384 1614 0 0 0 11 1 0 0 20 0 15 0 154397587 14320615424 37548 33554432000 4194304 4196468 140724175119792 140566702660336 140567790201474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20316] ppid=20307 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20316/stat : 20316 (java) S 20307 20307 17435 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154397588 14320615424 37548 33554432000 4194304 4196468 140724175119792 140566701606624 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20317] ppid=20307 vsize=13984976 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20317/stat : 20317 (java) S 20307 20307 17435 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154397588 14320615424 37548 33554432000 4194304 4196468 140724175119792 140566700553472 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20318] ppid=20307 vsize=13984976 memory=916 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20318/stat : 20318 (java) S 20307 20307 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154397590 14320615424 37548 33554432000 4194304 4196468 140724175119792 140566699502032 140567790208923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20319] ppid=20307 vsize=13984976 memory=3828 CPUtime=2.43 cores=0,2,4,6
/proc/20309/task/20319/stat : 20319 (java) S 20307 20307 17435 0 -1 1077944384 13528 0 0 0 241 2 0 0 20 0 15 0 154397590 14320615424 37548 33554432000 4194304 4196468 140724175119792 140566698449136 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20320] ppid=20307 vsize=13984976 memory=2724 CPUtime=2.5 cores=0,2,4,6
/proc/20309/task/20320/stat : 20320 (java) S 20307 20307 17435 0 -1 1077944384 14469 0 0 0 249 1 0 0 20 0 15 0 154397590 14320615424 37548 33554432000 4194304 4196468 140724175119792 140566697396592 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20321] ppid=20307 vsize=13984976 memory=2548 CPUtime=0.62 cores=0,2,4,6
/proc/20309/task/20321/stat : 20321 (java) S 20307 20307 17435 0 -1 1077944384 8489 0 0 0 60 2 0 0 20 0 15 0 154397590 14320615424 37548 33554432000 4194304 4196468 140724175119792 140566360745968 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20322] ppid=20307 vsize=13984976 memory=150192 CPUtime=0 cores=0,2,4,6
/proc/20309/task/20322/stat : 20322 (java) S 20307 20307 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154397591 14320615424 37548 33554432000 4194304 4196468 140724175119792 140566359693664 140567790200533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
[pid=20309/tid=20323] ppid=20307 vsize=13984976 memory=2424 CPUtime=0.05 cores=0,2,4,6
/proc/20309/task/20323/stat : 20323 (java) S 20307 20307 17435 0 -1 1077944384 525 0 0 0 2 3 0 0 20 0 15 0 154397591 14320615424 37548 33554432000 4194304 4196468 140724175119792 140566358641712 140567790201474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140724175127709 140724175127884 140724175127884 140724175130575 0
Current children cumulated CPU time: 245.96 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 151576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 20307 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000941 s, system=0.000941 s
[startup+240.022 s]
# the end of solver process 20309 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.692 s, system=0.290166 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.022
CPU time (s): 245.982
CPU user time (s): 245.692
CPU system time (s): 0.290166
CPU usage (%): 102.483
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 272116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.692
system time used= 0.290166
maximum resident set size= 270732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58895
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11228
involuntary context switches= 410
# summary of solver processes directly reported to runsolver:
# pid: 20307,20309
# total CPU time (s): 245.982
# total CPU user time (s): 245.692
# total CPU system time (s): 0.290166
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.62459 second user time and 2.05828 second system time
The end