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 (13975 MiB free)
memory of node 1: 16384 MiB (13782 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270138-1502622057/watcher-4270138-1502622057 -o /tmp/evaluation-result-4270138-1502622057/solver-4270138-1502622057 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502619919-8346 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1396301860 HOME/instance-4270138-1502622057.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
Current StackSize limit: 8192 KiB
solver pid=9442, runsolver pid=9439
[startup+0.103186 s]*
/proc/loadavg: 2.02 1.90 1.77 4/217 9458
/proc/meminfo: memFree=28406036/32770624 swapFree=67108860/67108860
[pid=9442] ppid=9439 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9442/stat : 9442 (xcsp3-exec) S 9439 9442 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95286826 9740288 345 33554432000 4194304 5098028 140734594313152 140734594311256 140549198652028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29777920 140734594319476 140734594319680 140734594319680 140734594322411 0
/proc/9442/statm: 2378 345 289 221 0 87 0
[pid=9444] ppid=9442 vsize=13978596 memory=28844 CPUtime=0.12 cores=0,2,4,6
/proc/9444/stat : 9444 (java) S 9442 9442 6338 0 -1 1077944320 5600 0 0 0 12 0 0 0 20 0 15 0 95286826 14314082304 7211 33554432000 4194304 4196468 140732222317104 140732222299648 139761392885495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
/proc/9444/statm: 3494649 7211 2864 1 0 3482966 0
[pid=9444/tid=9445] ppid=9442 vsize=13978596 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/9444/task/9445/stat : 9445 (java) R 9442 9442 6338 0 -1 4202560 3525 0 0 0 9 0 0 0 20 0 15 0 95286827 14314082304 7211 33554432000 4194304 4196468 140732222317104 139761397118768 139761376929125 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9446] ppid=9442 vsize=13978596 memory=3472468023366341840 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9446/stat : 9446 (java) S 9442 9442 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95286827 14314082304 7211 33554432000 4194304 4196468 140732222317104 139760989026960 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9447] ppid=9442 vsize=13978596 memory=139894471190144 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9447/stat : 9447 (java) S 9442 9442 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95286827 14314082304 7211 33554432000 4194304 4196468 140732222317104 139760987974160 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9448] ppid=9442 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9448/stat : 9448 (java) S 9442 9442 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95286827 14314082304 7211 33554432000 4194304 4196468 140732222317104 139760986921360 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9449] ppid=9442 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9449/stat : 9449 (java) S 9442 9442 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95286827 14314082304 7211 33554432000 4194304 4196468 140732222317104 139760985868560 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9450] ppid=9442 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9450/stat : 9450 (java) S 9442 9442 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95286829 14314082304 7211 33554432000 4194304 4196468 140732222317104 139760934288240 139761392896642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9451] ppid=9442 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9451/stat : 9451 (java) S 9442 9442 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95286829 14314082304 7211 33554432000 4194304 4196468 140732222317104 139760933234208 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9452] ppid=9442 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9452/stat : 9452 (java) S 9442 9442 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95286829 14314082304 7211 33554432000 4194304 4196468 140732222317104 139760932181360 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9453] ppid=9442 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9453/stat : 9453 (java) S 9442 9442 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95286832 14314082304 7211 33554432000 4194304 4196468 140732222317104 139760931129680 139761392904091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9454] ppid=9442 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9454/stat : 9454 (java) S 9442 9442 6338 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 95286832 14314082304 7211 33554432000 4194304 4196468 140732222317104 139760930077040 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9455] ppid=9442 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9455/stat : 9455 (java) S 9442 9442 6338 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 95286832 14314082304 7211 33554432000 4194304 4196468 140732222317104 139760929024240 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9456] ppid=9442 vsize=13978596 memory=139894471190144 CPUtime=0.01 cores=0,2,4,6
/proc/9444/task/9456/stat : 9456 (java) R 9442 9442 6338 0 -1 4202560 333 0 0 0 1 0 0 0 20 0 15 0 95286832 14314082304 7211 33554432000 4194304 4196468 140732222317104 139760927971440 139761385122622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9457] ppid=9442 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9457/stat : 9457 (java) S 9442 9442 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95286832 14314082304 7211 33554432000 4194304 4196468 140732222317104 139760926918880 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9458] ppid=9442 vsize=13978596 memory=139894471190144 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9458/stat : 9458 (java) S 9442 9442 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95286832 14314082304 7211 33554432000 4194304 4196468 140732222317104 139760925867184 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30224 KiB
[startup+0.210716 s]*
/proc/loadavg: 2.02 1.90 1.77 3/217 9458
/proc/meminfo: memFree=28395028/32770624 swapFree=67108860/67108860
[pid=9442] ppid=9439 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9442/stat : 9442 (xcsp3-exec) S 9439 9442 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95286826 9740288 345 33554432000 4194304 5098028 140734594313152 140734594311256 140549198652028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29777920 140734594319476 140734594319680 140734594319680 140734594322411 0
/proc/9442/statm: 2378 345 289 221 0 87 0
[pid=9444] ppid=9442 vsize=13982852 memory=40192 CPUtime=0.33 cores=0,2,4,6
/proc/9444/stat : 9444 (java) S 9442 9442 6338 0 -1 1077944320 8152 0 0 0 32 1 0 0 20 0 15 0 95286826 14318440448 10048 33554432000 4194304 4196468 140732222317104 140732222299648 139761392885495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
/proc/9444/statm: 3495713 10048 3051 1 0 3482966 0
[pid=9444/tid=9445] ppid=9442 vsize=13982852 memory=4499834149035483540 CPUtime=0.2 cores=0,2,4,6
/proc/9444/task/9445/stat : 9445 (java) R 9442 9442 6338 0 -1 4202560 5322 0 0 0 19 1 0 0 20 0 15 0 95286827 14318440448 10048 33554432000 4194304 4196468 140732222317104 139761397095120 139761385564717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9446] ppid=9442 vsize=13982884 memory=3472468023366341840 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9446/stat : 9446 (java) S 9442 9442 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95286827 14318473216 10048 33554432000 4194304 4196468 140732222317104 139760989026960 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9447] ppid=9442 vsize=13982852 memory=139894471190144 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9447/stat : 9447 (java) S 9442 9442 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95286827 14318440448 10048 33554432000 4194304 4196468 140732222317104 139760987974160 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9448] ppid=9442 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9448/stat : 9448 (java) S 9442 9442 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95286827 14318440448 10048 33554432000 4194304 4196468 140732222317104 139760986921360 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9449] ppid=9442 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9449/stat : 9449 (java) S 9442 9442 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95286827 14318440448 10048 33554432000 4194304 4196468 140732222317104 139760985868560 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9450] ppid=9442 vsize=13982852 memory=139894471190144 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9450/stat : 9450 (java) S 9442 9442 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95286829 14318440448 10048 33554432000 4194304 4196468 140732222317104 139760934288240 139761392896642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9451] ppid=9442 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9451/stat : 9451 (java) S 9442 9442 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95286829 14318440448 10048 33554432000 4194304 4196468 140732222317104 139760933234208 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9452] ppid=9442 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9452/stat : 9452 (java) S 9442 9442 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95286829 14318440448 10048 33554432000 4194304 4196468 140732222317104 139760932181360 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9453] ppid=9442 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9453/stat : 9453 (java) S 9442 9442 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95286832 14318440448 10048 33554432000 4194304 4196468 140732222317104 139760931129680 139761392904091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9454] ppid=9442 vsize=13982852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9444/task/9454/stat : 9454 (java) S 9442 9442 6338 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 15 0 95286832 14318440448 10048 33554432000 4194304 4196468 140732222317104 139760930077040 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9455] ppid=9442 vsize=13982884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/9444/task/9455/stat : 9455 (java) S 9442 9442 6338 0 -1 1077944384 443 0 0 0 3 0 0 0 20 0 15 0 95286832 14318473216 10048 33554432000 4194304 4196468 140732222317104 139760929024240 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9456] ppid=9442 vsize=13982852 memory=139894471190144 CPUtime=0.08 cores=0,2,4,6
/proc/9444/task/9456/stat : 9456 (java) S 9442 9442 6338 0 -1 1077944384 725 0 0 0 8 0 0 0 20 0 15 0 95286832 14318440448 10048 33554432000 4194304 4196468 140732222317104 139760927971440 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9457] ppid=9442 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9457/stat : 9457 (java) S 9442 9442 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95286832 14318440448 10048 33554432000 4194304 4196468 140732222317104 139760926918880 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9458] ppid=9442 vsize=13982852 memory=139894471190144 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9458/stat : 9458 (java) S 9442 9442 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95286832 14318440448 10048 33554432000 4194304 4196468 140732222317104 139760925867184 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41572 KiB
[startup+0.320524 s]*
/proc/loadavg: 2.02 1.90 1.77 6/217 9458
/proc/meminfo: memFree=28387832/32770624 swapFree=67108860/67108860
[pid=9442] ppid=9439 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9442/stat : 9442 (xcsp3-exec) S 9439 9442 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95286826 9740288 345 33554432000 4194304 5098028 140734594313152 140734594311256 140549198652028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29777920 140734594319476 140734594319680 140734594319680 140734594322411 0
/proc/9442/statm: 2378 345 289 221 0 87 0
[pid=9444] ppid=9442 vsize=13982852 memory=47564 CPUtime=0.53 cores=0,2,4,6
/proc/9444/stat : 9444 (java) S 9442 9442 6338 0 -1 1077944320 9043 0 0 0 51 2 0 0 20 0 15 0 95286826 14318440448 11891 33554432000 4194304 4196468 140732222317104 140732222299648 139761392885495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
/proc/9444/statm: 3495713 11891 3128 1 0 3482966 0
[pid=9444/tid=9445] ppid=9442 vsize=13982852 memory=-8976644418600983157 CPUtime=0.3 cores=0,2,4,6
/proc/9444/task/9445/stat : 9445 (java) R 9442 9442 6338 0 -1 4202560 5937 0 0 0 29 1 0 0 20 0 15 0 95286827 14318440448 11891 33554432000 4194304 4196468 140732222317104 139761397123120 139761392907421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9446] ppid=9442 vsize=13982852 memory=3472468023366341840 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9446/stat : 9446 (java) S 9442 9442 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95286827 14318440448 11891 33554432000 4194304 4196468 140732222317104 139760989026960 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9447] ppid=9442 vsize=13982852 memory=139894471190144 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9447/stat : 9447 (java) S 9442 9442 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95286827 14318440448 11891 33554432000 4194304 4196468 140732222317104 139760987974160 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9448] ppid=9442 vsize=13982852 memory=7 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9448/stat : 9448 (java) S 9442 9442 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95286827 14318440448 11891 33554432000 4194304 4196468 140732222317104 139760986921360 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9449] ppid=9442 vsize=13982852 memory=139894332729375 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9449/stat : 9449 (java) S 9442 9442 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95286827 14318440448 11891 33554432000 4194304 4196468 140732222317104 139760985868560 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9450] ppid=9442 vsize=13982852 memory=279788665437984 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9450/stat : 9450 (java) S 9442 9442 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95286829 14318440448 11891 33554432000 4194304 4196468 140732222317104 139760934288240 139761392896642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9451] ppid=9442 vsize=13982852 memory=139894332706319 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9451/stat : 9451 (java) S 9442 9442 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95286829 14318440448 11891 33554432000 4194304 4196468 140732222317104 139760933234208 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9452] ppid=9442 vsize=13982852 memory=279788803905632 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9452/stat : 9452 (java) S 9442 9442 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95286829 14318440448 11891 33554432000 4194304 4196468 140732222317104 139760932181360 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9453] ppid=9442 vsize=13982852 memory=139894332710927 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9453/stat : 9453 (java) S 9442 9442 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95286832 14318440448 11891 33554432000 4194304 4196468 140732222317104 139760931129680 139761392904091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9454] ppid=9442 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9444/task/9454/stat : 9454 (java) R 9442 9442 6338 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 15 0 95286832 14318440448 11891 33554432000 4194304 4196468 140732222317104 139760930077040 139761392896642 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9455] ppid=9442 vsize=13982852 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/9444/task/9455/stat : 9455 (java) R 9442 9442 6338 0 -1 4202560 552 0 0 0 4 0 0 0 20 0 15 0 95286832 14318440448 11891 33554432000 4194304 4196468 140732222317104 139760929014032 139761372585792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9456] ppid=9442 vsize=13982852 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/9444/task/9456/stat : 9456 (java) R 9442 9442 6338 0 -1 4202560 857 0 0 0 14 0 0 0 20 0 15 0 95286832 14318440448 11891 33554432000 4194304 4196468 140732222317104 139760927968376 139761385195801 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9457] ppid=9442 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9457/stat : 9457 (java) S 9442 9442 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95286832 14318440448 11891 33554432000 4194304 4196468 140732222317104 139760926918880 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9458] ppid=9442 vsize=13982852 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9458/stat : 9458 (java) S 9442 9442 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95286832 14318440448 11891 33554432000 4194304 4196468 140732222317104 139760925867184 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48944 KiB
[startup+0.701565 s]
/proc/loadavg: 2.02 1.90 1.77 5/217 9458
/proc/meminfo: memFree=28360544/32770624 swapFree=67108860/67108860
[pid=9442] ppid=9439 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9442/stat : 9442 (xcsp3-exec) S 9439 9442 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95286826 9740288 345 33554432000 4194304 5098028 140734594313152 140734594311256 140549198652028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29777920 140734594319476 140734594319680 140734594319680 140734594322411 0
/proc/9442/statm: 2378 345 289 221 0 87 0
[pid=9444] ppid=9442 vsize=13984976 memory=98672 CPUtime=1.81 cores=0,2,4,6
/proc/9444/stat : 9444 (java) S 9442 9442 6338 0 -1 1077944320 13771 0 0 0 176 5 0 0 20 0 15 0 95286826 14320615424 24668 33554432000 4194304 4196468 140732222317104 140732222299648 139761392885495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
/proc/9444/statm: 3496244 24668 3204 1 0 3483478 0
[pid=9444/tid=9445] ppid=9442 vsize=13984976 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/9444/task/9445/stat : 9445 (java) R 9442 9442 6338 0 -1 4202560 6603 0 0 0 65 2 0 0 20 0 15 0 95286827 14320615424 24668 33554432000 4194304 4196468 140732222317104 139761397122176 139761008297974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9446] ppid=9442 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9446/stat : 9446 (java) S 9442 9442 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95286827 14320615424 24668 33554432000 4194304 4196468 140732222317104 139760989026960 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9447] ppid=9442 vsize=13984976 memory=7588935152971044437 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9447/stat : 9447 (java) S 9442 9442 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95286827 14320615424 24668 33554432000 4194304 4196468 140732222317104 139760987974160 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9448] ppid=9442 vsize=13984976 memory=8041645962788481611 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9448/stat : 9448 (java) S 9442 9442 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95286827 14320615424 24668 33554432000 4194304 4196468 140732222317104 139760986921360 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9449] ppid=9442 vsize=13984976 memory=8326441112149131693 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9449/stat : 9449 (java) S 9442 9442 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95286827 14320615424 24668 33554432000 4194304 4196468 140732222317104 139760985868560 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9450] ppid=9442 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9450/stat : 9450 (java) S 9442 9442 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95286829 14320615424 24668 33554432000 4194304 4196468 140732222317104 139760934288240 139761392896642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9451] ppid=9442 vsize=13984976 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9451/stat : 9451 (java) S 9442 9442 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95286829 14320615424 24668 33554432000 4194304 4196468 140732222317104 139760933234208 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9452] ppid=9442 vsize=13984976 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9452/stat : 9452 (java) S 9442 9442 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95286829 14320615424 24668 33554432000 4194304 4196468 140732222317104 139760932181360 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9453] ppid=9442 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9453/stat : 9453 (java) S 9442 9442 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95286832 14320615424 24668 33554432000 4194304 4196468 140732222317104 139760931129680 139761392904091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9454] ppid=9442 vsize=13984976 memory=28012 CPUtime=0.36 cores=0,2,4,6
/proc/9444/task/9454/stat : 9454 (java) R 9442 9442 6338 0 -1 4202560 1871 0 0 0 36 0 0 0 20 0 15 0 95286832 14320615424 24668 33554432000 4194304 4196468 140732222317104 139760930070232 139761372799681 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9455] ppid=9442 vsize=13984976 memory=2428 CPUtime=0.35 cores=0,2,4,6
/proc/9444/task/9455/stat : 9455 (java) R 9442 9442 6338 0 -1 4202560 1767 0 0 0 35 0 0 0 20 0 15 0 95286832 14320615424 24668 33554432000 4194304 4196468 140732222317104 139760929010352 139761374430222 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9456] ppid=9442 vsize=13984976 memory=1292 CPUtime=0.39 cores=0,2,4,6
/proc/9444/task/9456/stat : 9456 (java) R 9442 9442 6338 0 -1 4202560 2224 0 0 0 39 0 0 0 20 0 15 0 95286832 14320615424 24668 33554432000 4194304 4196468 140732222317104 139760927966512 139761371405597 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9457] ppid=9442 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9457/stat : 9457 (java) S 9442 9442 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95286832 14320615424 24668 33554432000 4194304 4196468 140732222317104 139760926918880 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9458] ppid=9442 vsize=13984976 memory=7453282923511834215 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9458/stat : 9458 (java) S 9442 9442 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95286832 14320615424 24668 33554432000 4194304 4196468 140732222317104 139760925867184 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 100052 KiB
[startup+1.50077 s]
/proc/loadavg: 2.02 1.90 1.77 5/217 9458
/proc/meminfo: memFree=28286144/32770624 swapFree=67108860/67108860
[pid=9442] ppid=9439 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9442/stat : 9442 (xcsp3-exec) S 9439 9442 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95286826 9740288 345 33554432000 4194304 5098028 140734594313152 140734594311256 140549198652028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29777920 140734594319476 140734594319680 140734594319680 140734594322411 0
/proc/9442/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/9444/task/9452/stat : 9452 (java) S 9442 9442 6338 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 95286829 14320615424 54957 33554432000 4194304 4196468 140732222317104 139760932181360 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9453] ppid=9442 vsize=13984976 memory=427 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9453/stat : 9453 (java) S 9442 9442 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95286832 14320615424 54957 33554432000 4194304 4196468 140732222317104 139760931129680 139761392904091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9454] ppid=9442 vsize=13984976 memory=2428 CPUtime=2.07 cores=0,2,4,6
/proc/9444/task/9454/stat : 9454 (java) S 9442 9442 6338 0 -1 1077944384 17870 0 0 0 205 2 0 0 20 0 15 0 95286832 14320615424 54957 33554432000 4194304 4196468 140732222317104 139760930077040 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9455] ppid=9442 vsize=13984976 memory=1292 CPUtime=2.22 cores=0,2,4,6
/proc/9444/task/9455/stat : 9455 (java) S 9442 9442 6338 0 -1 1077944384 14381 0 0 0 220 2 0 0 20 0 15 0 95286832 14320615424 54957 33554432000 4194304 4196468 140732222317104 139760929024240 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9456] ppid=9442 vsize=13984976 memory=219828 CPUtime=0.72 cores=0,2,4,6
/proc/9444/task/9456/stat : 9456 (java) S 9442 9442 6338 0 -1 1077944384 6521 0 0 0 71 1 0 0 20 0 15 0 95286832 14320615424 54957 33554432000 4194304 4196468 140732222317104 139760927971440 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9457] ppid=9442 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9457/stat : 9457 (java) S 9442 9442 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95286832 14320615424 54957 33554432000 4194304 4196468 140732222317104 139760926918880 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9458] ppid=9442 vsize=13984976 memory=219820 CPUtime=0.02 cores=0,2,4,6
/proc/9444/task/9458/stat : 9458 (java) S 9442 9442 6338 0 -1 1077944384 961 0 0 0 1 1 0 0 20 0 15 0 95286832 14320615424 54957 33554432000 4194304 4196468 140732222317104 139760925867184 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
Current children cumulated CPU time: 107.38 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 221208 KiB
[startup+162.301 s]
/proc/loadavg: 2.01 1.95 1.81 3/217 9460
/proc/meminfo: memFree=27847424/32770624 swapFree=67108860/67108860
[pid=9442] ppid=9439 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9442/stat : 9442 (xcsp3-exec) S 9439 9442 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95286826 9740288 345 33554432000 4194304 5098028 140734594313152 140734594311256 140549198652028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29777920 140734594319476 140734594319680 140734594319680 140734594322411 0
/proc/9442/statm: 2378 345 289 221 0 87 0
[pid=9444] ppid=9442 vsize=13984976 memory=234444 CPUtime=167.64 cores=0,2,4,6
/proc/9444/stat : 9444 (java) S 9442 9442 6338 0 -1 1077944320 60513 0 0 0 16747 17 0 0 20 0 15 0 95286826 14320615424 58611 33554432000 4194304 4196468 140732222317104 140732222299648 139761392885495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
/proc/9444/statm: 3496244 58611 3268 1 0 3483478 0
[pid=9444/tid=9445] ppid=9442 vsize=13984976 memory=234444 CPUtime=162.24 cores=0,2,4,6
/proc/9444/task/9445/stat : 9445 (java) R 9442 9442 6338 0 -1 4202560 12491 0 0 0 16220 4 0 0 20 0 15 0 95286827 14320615424 58611 33554432000 4194304 4196468 140732222317104 139761397124408 139761010598055 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9446] ppid=9442 vsize=13984976 memory=1380 CPUtime=0.02 cores=0,2,4,6
/proc/9444/task/9446/stat : 9446 (java) S 9442 9442 6338 0 -1 1077944384 1271 0 0 0 1 1 0 0 20 0 15 0 95286827 14320615424 58611 33554432000 4194304 4196468 140732222317104 139760989026960 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9447] ppid=9442 vsize=13984976 memory=234440 CPUtime=0.01 cores=0,2,4,6
/proc/9444/task/9447/stat : 9447 (java) S 9442 9442 6338 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 15 0 95286827 14320615424 58611 33554432000 4194304 4196468 140732222317104 139760987974160 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9448] ppid=9442 vsize=13984976 memory=234440 CPUtime=0.01 cores=0,2,4,6
/proc/9444/task/9448/stat : 9448 (java) S 9442 9442 6338 0 -1 1077944384 1225 0 0 0 1 0 0 0 20 0 15 0 95286827 14320615424 58611 33554432000 4194304 4196468 140732222317104 139760986921360 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9449] ppid=9442 vsize=13984976 memory=234440 CPUtime=0.01 cores=0,2,4,6
/proc/9444/task/9449/stat : 9449 (java) S 9442 9442 6338 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 15 0 95286827 14320615424 58611 33554432000 4194304 4196468 140732222317104 139760985868560 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9450] ppid=9442 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9450/stat : 9450 (java) S 9442 9442 6338 0 -1 1077944384 831 0 0 0 0 0 0 0 20 0 15 0 95286829 14320615424 58611 33554432000 4194304 4196468 140732222317104 139760934288240 139761392896642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9451] ppid=9442 vsize=13984976 memory=234444 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9451/stat : 9451 (java) S 9442 9442 6338 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 95286829 14320615424 58611 33554432000 4194304 4196468 140732222317104 139760933234208 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9452] ppid=9442 vsize=13984976 memory=234444 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9452/stat : 9452 (java) S 9442 9442 6338 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 95286829 14320615424 58611 33554432000 4194304 4196468 140732222317104 139760932181360 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9453] ppid=9442 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9453/stat : 9453 (java) S 9442 9442 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95286832 14320615424 58611 33554432000 4194304 4196468 140732222317104 139760931129680 139761392904091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9454] ppid=9442 vsize=13984976 memory=234440 CPUtime=2.19 cores=0,2,4,6
/proc/9444/task/9454/stat : 9454 (java) S 9442 9442 6338 0 -1 1077944384 19015 0 0 0 217 2 0 0 20 0 15 0 95286832 14320615424 58611 33554432000 4194304 4196468 140732222317104 139760930077040 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9455] ppid=9442 vsize=13984976 memory=1380 CPUtime=2.28 cores=0,2,4,6
/proc/9444/task/9455/stat : 9455 (java) S 9442 9442 6338 0 -1 1077944384 14668 0 0 0 226 2 0 0 20 0 15 0 95286832 14320615424 58611 33554432000 4194304 4196468 140732222317104 139760929024240 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9456] ppid=9442 vsize=13984976 memory=1380 CPUtime=0.74 cores=0,2,4,6
/proc/9444/task/9456/stat : 9456 (java) S 9442 9442 6338 0 -1 1077944384 8202 0 0 0 73 1 0 0 20 0 15 0 95286832 14320615424 58611 33554432000 4194304 4196468 140732222317104 139760927971440 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9457] ppid=9442 vsize=13984976 memory=234444 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9457/stat : 9457 (java) S 9442 9442 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95286832 14320615424 58611 33554432000 4194304 4196468 140732222317104 139760926918880 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9458] ppid=9442 vsize=13984976 memory=1380 CPUtime=0.03 cores=0,2,4,6
/proc/9444/task/9458/stat : 9458 (java) S 9442 9442 6338 0 -1 1077944384 1063 0 0 0 1 2 0 0 20 0 15 0 95286832 14320615424 58611 33554432000 4194304 4196468 140732222317104 139760925867184 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
Current children cumulated CPU time: 167.64 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 235824 KiB
[startup+222.301 s]
/proc/loadavg: 2.00 1.96 1.82 3/217 9545
/proc/meminfo: memFree=28506904/32770624 swapFree=67108860/67108860
[pid=9442] ppid=9439 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9442/stat : 9442 (xcsp3-exec) S 9439 9442 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95286826 9740288 345 33554432000 4194304 5098028 140734594313152 140734594311256 140549198652028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29777920 140734594319476 140734594319680 140734594319680 140734594322411 0
/proc/9442/statm: 2378 345 289 221 0 87 0
[pid=9444] ppid=9442 vsize=13984976 memory=234456 CPUtime=227.68 cores=0,2,4,6
/proc/9444/stat : 9444 (java) S 9442 9442 6338 0 -1 1077944320 62177 0 0 0 22750 18 0 0 20 0 15 0 95286826 14320615424 58614 33554432000 4194304 4196468 140732222317104 140732222299648 139761392885495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
/proc/9444/statm: 3496244 58614 3268 1 0 3483478 0
[pid=9444/tid=9445] ppid=9442 vsize=13984976 memory=234456 CPUtime=222.23 cores=0,2,4,6
/proc/9444/task/9445/stat : 9445 (java) R 9442 9442 6338 0 -1 4202560 12669 0 0 0 22219 4 0 0 20 0 15 0 95286827 14320615424 58614 33554432000 4194304 4196468 140732222317104 139761397124728 139761012445965 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9446] ppid=9442 vsize=13984976 memory=234456 CPUtime=0.02 cores=0,2,4,6
/proc/9444/task/9446/stat : 9446 (java) S 9442 9442 6338 0 -1 1077944384 1346 0 0 0 1 1 0 0 20 0 15 0 95286827 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760989026960 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9447] ppid=9442 vsize=13984976 memory=234456 CPUtime=0.02 cores=0,2,4,6
/proc/9444/task/9447/stat : 9447 (java) S 9442 9442 6338 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 15 0 95286827 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760987974160 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9448] ppid=9442 vsize=13984976 memory=234456 CPUtime=0.02 cores=0,2,4,6
/proc/9444/task/9448/stat : 9448 (java) S 9442 9442 6338 0 -1 1077944384 1494 0 0 0 2 0 0 0 20 0 15 0 95286827 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760986921360 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9449] ppid=9442 vsize=13984976 memory=1380 CPUtime=0.02 cores=0,2,4,6
/proc/9444/task/9449/stat : 9449 (java) S 9442 9442 6338 0 -1 1077944384 758 0 0 0 2 0 0 0 20 0 15 0 95286827 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760985868560 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9450] ppid=9442 vsize=13984976 memory=4891967751279 CPUtime=0.01 cores=0,2,4,6
/proc/9444/task/9450/stat : 9450 (java) S 9442 9442 6338 0 -1 1077944384 1010 0 0 0 1 0 0 0 20 0 15 0 95286829 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760934288240 139761392896642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9451] ppid=9442 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9451/stat : 9451 (java) S 9442 9442 6338 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 95286829 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760933234208 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9452] ppid=9442 vsize=13984976 memory=234456 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9452/stat : 9452 (java) S 9442 9442 6338 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 95286829 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760932181360 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9453] ppid=9442 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9453/stat : 9453 (java) S 9442 9442 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95286832 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760931129680 139761392904091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9454] ppid=9442 vsize=13984976 memory=234456 CPUtime=2.2 cores=0,2,4,6
/proc/9444/task/9454/stat : 9454 (java) S 9442 9442 6338 0 -1 1077944384 19256 0 0 0 218 2 0 0 20 0 15 0 95286832 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760930077040 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9455] ppid=9442 vsize=13984976 memory=1380 CPUtime=2.28 cores=0,2,4,6
/proc/9444/task/9455/stat : 9455 (java) S 9442 9442 6338 0 -1 1077944384 14668 0 0 0 226 2 0 0 20 0 15 0 95286832 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760929024240 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9456] ppid=9442 vsize=13984976 memory=234456 CPUtime=0.74 cores=0,2,4,6
/proc/9444/task/9456/stat : 9456 (java) S 9442 9442 6338 0 -1 1077944384 8281 0 0 0 73 1 0 0 20 0 15 0 95286832 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760927971440 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9457] ppid=9442 vsize=13984976 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9457/stat : 9457 (java) S 9442 9442 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95286832 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760926918880 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9458] ppid=9442 vsize=13984976 memory=4080 CPUtime=0.05 cores=0,2,4,6
/proc/9444/task/9458/stat : 9458 (java) S 9442 9442 6338 0 -1 1077944384 1067 0 0 0 2 3 0 0 20 0 15 0 95286832 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760925867184 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
Current children cumulated CPU time: 227.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 235836 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.00 1.96 1.82 3/217 9546
/proc/meminfo: memFree=28490164/32770624 swapFree=67108860/67108860
[pid=9442] ppid=9439 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9442/stat : 9442 (xcsp3-exec) S 9439 9442 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95286826 9740288 345 33554432000 4194304 5098028 140734594313152 140734594311256 140549198652028 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29777920 140734594319476 140734594319680 140734594319680 140734594322411 0
/proc/9442/statm: 2378 345 289 221 0 87 0
[pid=9444] ppid=9442 vsize=13984976 memory=234456 CPUtime=245.41 cores=0,2,4,6
/proc/9444/stat : 9444 (java) S 9442 9442 6338 0 -1 1077944320 62382 0 0 0 24523 18 0 0 20 0 15 0 95286826 14320615424 58614 33554432000 4194304 4196468 140732222317104 140732222299648 139761392885495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
/proc/9444/statm: 3496244 58614 3268 1 0 3483478 0
[pid=9444/tid=9445] ppid=9442 vsize=13984976 memory=3832 CPUtime=239.93 cores=0,2,4,6
/proc/9444/task/9445/stat : 9445 (java) R 9442 9442 6338 0 -1 4202560 12836 0 0 0 23989 4 0 0 20 0 15 0 95286827 14320615424 58614 33554432000 4194304 4196468 140732222317104 139761397124240 139761012447558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9446] ppid=9442 vsize=13984976 memory=-7003737579269690708 CPUtime=0.03 cores=0,2,4,6
/proc/9444/task/9446/stat : 9446 (java) S 9442 9442 6338 0 -1 1077944384 1353 0 0 0 2 1 0 0 20 0 15 0 95286827 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760989026960 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9447] ppid=9442 vsize=13984976 memory=234456 CPUtime=0.02 cores=0,2,4,6
/proc/9444/task/9447/stat : 9447 (java) S 9442 9442 6338 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 15 0 95286827 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760987974160 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9448] ppid=9442 vsize=13984976 memory=2428 CPUtime=0.02 cores=0,2,4,6
/proc/9444/task/9448/stat : 9448 (java) S 9442 9442 6338 0 -1 1077944384 1504 0 0 0 2 0 0 0 20 0 15 0 95286827 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760986921360 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9449] ppid=9442 vsize=13984976 memory=1292 CPUtime=0.02 cores=0,2,4,6
/proc/9444/task/9449/stat : 9449 (java) S 9442 9442 6338 0 -1 1077944384 765 0 0 0 2 0 0 0 20 0 15 0 95286827 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760985868560 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9450] ppid=9442 vsize=13984976 memory=1728 CPUtime=0.01 cores=0,2,4,6
/proc/9444/task/9450/stat : 9450 (java) S 9442 9442 6338 0 -1 1077944384 1016 0 0 0 1 0 0 0 20 0 15 0 95286829 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760934288240 139761392896642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9451] ppid=9442 vsize=13984976 memory=12064 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9451/stat : 9451 (java) S 9442 9442 6338 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 95286829 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760933234208 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9452] ppid=9442 vsize=13984976 memory=792 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9452/stat : 9452 (java) S 9442 9442 6338 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 95286829 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760932181360 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9453] ppid=9442 vsize=13984976 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9453/stat : 9453 (java) S 9442 9442 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95286832 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760931129680 139761392904091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9454] ppid=9442 vsize=13984976 memory=1716 CPUtime=2.2 cores=0,2,4,6
/proc/9444/task/9454/stat : 9454 (java) S 9442 9442 6338 0 -1 1077944384 19258 0 0 0 218 2 0 0 20 0 15 0 95286832 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760930077040 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9455] ppid=9442 vsize=13984976 memory=1440 CPUtime=2.28 cores=0,2,4,6
/proc/9444/task/9455/stat : 9455 (java) S 9442 9442 6338 0 -1 1077944384 14670 0 0 0 226 2 0 0 20 0 15 0 95286832 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760929024240 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9456] ppid=9442 vsize=13984976 memory=15876 CPUtime=0.74 cores=0,2,4,6
/proc/9444/task/9456/stat : 9456 (java) S 9442 9442 6338 0 -1 1077944384 8283 0 0 0 73 1 0 0 20 0 15 0 95286832 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760927971440 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9457] ppid=9442 vsize=13984976 memory=16432 CPUtime=0 cores=0,2,4,6
/proc/9444/task/9457/stat : 9457 (java) S 9442 9442 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95286832 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760926918880 139761392895701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
[pid=9444/tid=9458] ppid=9442 vsize=13984976 memory=1160 CPUtime=0.05 cores=0,2,4,6
/proc/9444/task/9458/stat : 9458 (java) S 9442 9442 6338 0 -1 1077944384 1069 0 0 0 2 3 0 0 20 0 15 0 95286832 14320615424 58614 33554432000 4194304 4196468 140732222317104 139760925867184 139761392896642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32444416 140732222325917 140732222326092 140732222326092 140732222328783 0
Current children cumulated CPU time: 245.41 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 235836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 9442 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000914 s, system=0.000914 s
[startup+240.023 s]
# the end of solver process 9444 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.249 s, system=0.193999 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.023
CPU time (s): 245.443
CPU user time (s): 245.249
CPU system time (s): 0.193999
CPU usage (%): 102.258
Max. virtual memory (cumulated for all children) (KiB): 13996668
Max. memory (cumulated for all children) (KiB): 235836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.249
system time used= 0.193999
maximum resident set size= 234944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63480
page faults= 0
swaps= 0
block input operations= 8
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8035
involuntary context switches= 317
# summary of solver processes directly reported to runsolver:
# pid: 9442,9444
# total CPU time (s): 245.443
# total CPU user time (s): 245.249
# total CPU system time (s): 0.193999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.37493 second user time and 2.30181 second system time
The end