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 (12497 MiB free)
memory of node 1: 16384 MiB (10744 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284397-1503213682/watcher-4284397-1503213682 -o /tmp/evaluation-result-4284397-1503213682/solver-4284397-1503213682 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503208953-13389 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1171574427 HOME/instance-4284397-1503213682.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=16757, runsolver pid=16754
[startup+0.100125 s]*
/proc/loadavg: 1.75 1.72 1.77 4/217 16773
/proc/meminfo: memFree=23783012/32770624 swapFree=67108860/67108860
[pid=16757] ppid=16754 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16757/stat : 16757 (xcsp3-exec) S 16754 16757 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154455865 9740288 346 33554432000 4194304 5098028 140735353676960 140735353675064 140618674680444 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34684928 140735353685108 140735353685312 140735353685312 140735353688043 0
/proc/16757/statm: 2378 346 289 221 0 87 0
[pid=16759] ppid=16757 vsize=13978596 memory=28000 CPUtime=0.12 cores=0,2,4,6
/proc/16759/stat : 16759 (java) S 16757 16757 13358 0 -1 1077944320 5433 0 0 0 11 1 0 0 20 0 15 0 154455865 14314082304 7000 33554432000 4194304 4196468 140720935798960 140720935781504 140577776799479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
/proc/16759/statm: 3494649 7000 2835 1 0 3482966 0
[pid=16759/tid=16760] ppid=16757 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/16759/task/16760/stat : 16760 (java) R 16757 16757 13358 0 -1 4202560 3438 0 0 0 8 0 0 0 20 0 15 0 154455865 14314082304 7065 33554432000 4194304 4196468 140720935798960 140577781031584 140577776811414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16761] ppid=16757 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16761/stat : 16761 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455866 14314082304 7065 33554432000 4194304 4196468 140720935798960 140577706887440 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16762] ppid=16757 vsize=13978596 memory=140680815683200 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16762/stat : 16762 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455866 14314082304 7065 33554432000 4194304 4196468 140720935798960 140577705834896 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16763] ppid=16757 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16763/stat : 16763 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455866 14314082304 7065 33554432000 4194304 4196468 140720935798960 140577704782352 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16764] ppid=16757 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16764/stat : 16764 (java) S 16757 16757 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154455866 14314082304 7065 33554432000 4194304 4196468 140720935798960 140577703729808 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16765] ppid=16757 vsize=13978596 memory=140680815683200 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16765/stat : 16765 (java) S 16757 16757 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154455867 14314082304 7065 33554432000 4194304 4196468 140720935798960 140577250847216 140577776810626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16766] ppid=16757 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16766/stat : 16766 (java) S 16757 16757 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154455868 14314082304 7065 33554432000 4194304 4196468 140720935798960 140577249793440 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16767] ppid=16757 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16767/stat : 16767 (java) S 16757 16757 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154455868 14314082304 7065 33554432000 4194304 4196468 140720935798960 140577248740848 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16768] ppid=16757 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16768/stat : 16768 (java) S 16757 16757 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154455870 14314082304 7065 33554432000 4194304 4196468 140720935798960 140577247689424 140577776818075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16769] ppid=16757 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16769/stat : 16769 (java) S 16757 16757 13358 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 154455870 14314082304 7065 33554432000 4194304 4196468 140720935798960 140577246636016 140577776810626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16770] ppid=16757 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16770/stat : 16770 (java) S 16757 16757 13358 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 154455870 14314082304 7065 33554432000 4194304 4196468 140720935798960 140577245583472 140577776810626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16771] ppid=16757 vsize=13978596 memory=140680815683200 CPUtime=0.01 cores=0,2,4,6
/proc/16759/task/16771/stat : 16771 (java) R 16757 16757 13358 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 15 0 154455870 14314082304 7065 33554432000 4194304 4196468 140720935798960 140577244530928 140577760935760 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16772] ppid=16757 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16772/stat : 16772 (java) S 16757 16757 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154455871 14314082304 7065 33554432000 4194304 4196468 140720935798960 140577243478624 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16773] ppid=16757 vsize=13978596 memory=140680815683200 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16773/stat : 16773 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455871 14314082304 7065 33554432000 4194304 4196468 140720935798960 140577242426160 140577776810626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29384 KiB
[startup+0.210404 s]*
/proc/loadavg: 1.77 1.72 1.77 3/217 16773
/proc/meminfo: memFree=23771104/32770624 swapFree=67108860/67108860
[pid=16757] ppid=16754 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16757/stat : 16757 (xcsp3-exec) S 16754 16757 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154455865 9740288 346 33554432000 4194304 5098028 140735353676960 140735353675064 140618674680444 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34684928 140735353685108 140735353685312 140735353685312 140735353688043 0
/proc/16757/statm: 2378 346 289 221 0 87 0
[pid=16759] ppid=16757 vsize=13982852 memory=40404 CPUtime=0.34 cores=0,2,4,6
/proc/16759/stat : 16759 (java) S 16757 16757 13358 0 -1 1077944320 8162 0 0 0 32 2 0 0 20 0 15 0 154455865 14318440448 10101 33554432000 4194304 4196468 140720935798960 140720935781504 140577776799479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
/proc/16759/statm: 3495713 10101 3040 1 0 3482966 0
[pid=16759/tid=16760] ppid=16757 vsize=13982884 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/16759/task/16760/stat : 16760 (java) R 16757 16757 13358 0 -1 4202560 5298 0 0 0 18 1 0 0 20 0 15 0 154455865 14318473216 10101 33554432000 4194304 4196468 140720935798960 140577781009280 140577769479197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16761] ppid=16757 vsize=13982852 memory=2898 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16761/stat : 16761 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455866 14318440448 10101 33554432000 4194304 4196468 140720935798960 140577706887440 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16762] ppid=16757 vsize=13982852 memory=288371056967394944 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16762/stat : 16762 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455866 14318440448 10101 33554432000 4194304 4196468 140720935798960 140577705834896 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16763] ppid=16757 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16763/stat : 16763 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455866 14318440448 10101 33554432000 4194304 4196468 140720935798960 140577704782352 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16764] ppid=16757 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16764/stat : 16764 (java) S 16757 16757 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154455866 14318440448 10101 33554432000 4194304 4196468 140720935798960 140577703729808 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16765] ppid=16757 vsize=13982852 memory=140680815683200 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16765/stat : 16765 (java) S 16757 16757 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154455867 14318440448 10101 33554432000 4194304 4196468 140720935798960 140577250847216 140577776810626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16766] ppid=16757 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16766/stat : 16766 (java) S 16757 16757 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154455868 14318440448 10101 33554432000 4194304 4196468 140720935798960 140577249793440 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16767] ppid=16757 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16767/stat : 16767 (java) S 16757 16757 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154455868 14318473216 10101 33554432000 4194304 4196468 140720935798960 140577248740848 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16768] ppid=16757 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16768/stat : 16768 (java) S 16757 16757 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154455870 14318473216 10101 33554432000 4194304 4196468 140720935798960 140577247689424 140577776818075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16769] ppid=16757 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16759/task/16769/stat : 16769 (java) S 16757 16757 13358 0 -1 1077944384 396 0 0 0 2 0 0 0 20 0 15 0 154455870 14318440448 10101 33554432000 4194304 4196468 140720935798960 140577246636016 140577776810626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16770] ppid=16757 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/16759/task/16770/stat : 16770 (java) S 16757 16757 13358 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 15 0 154455870 14318440448 10101 33554432000 4194304 4196468 140720935798960 140577245583472 140577776810626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16771] ppid=16757 vsize=13982852 memory=140680815683200 CPUtime=0.07 cores=0,2,4,6
/proc/16759/task/16771/stat : 16771 (java) S 16757 16757 13358 0 -1 1077944384 735 0 0 0 7 0 0 0 20 0 15 0 154455870 14318440448 10101 33554432000 4194304 4196468 140720935798960 140577244530928 140577776810626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16772] ppid=16757 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16772/stat : 16772 (java) S 16757 16757 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154455871 14318440448 10101 33554432000 4194304 4196468 140720935798960 140577243478624 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16773] ppid=16757 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16773/stat : 16773 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455871 14318440448 10101 33554432000 4194304 4196468 140720935798960 140577242426160 140577776810626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41788 KiB
[startup+0.310525 s]*
/proc/loadavg: 1.77 1.72 1.77 4/217 16773
/proc/meminfo: memFree=23764776/32770624 swapFree=67108860/67108860
[pid=16757] ppid=16754 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16757/stat : 16757 (xcsp3-exec) S 16754 16757 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154455865 9740288 346 33554432000 4194304 5098028 140735353676960 140735353675064 140618674680444 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34684928 140735353685108 140735353685312 140735353685312 140735353688043 0
/proc/16757/statm: 2378 346 289 221 0 87 0
[pid=16759] ppid=16757 vsize=13982852 memory=47524 CPUtime=0.51 cores=0,2,4,6
/proc/16759/stat : 16759 (java) S 16757 16757 13358 0 -1 1077944320 9010 0 0 0 49 2 0 0 20 0 15 0 154455865 14318440448 11881 33554432000 4194304 4196468 140720935798960 140720935781504 140577776799479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
/proc/16759/statm: 3495713 11881 3118 1 0 3482966 0
[pid=16759/tid=16760] ppid=16757 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/16759/task/16760/stat : 16760 (java) R 16757 16757 13358 0 -1 4202560 5926 0 0 0 28 2 0 0 20 0 15 0 154455865 14318440448 11881 33554432000 4194304 4196468 140720935798960 140577781038704 140577776821405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16761] ppid=16757 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16761/stat : 16761 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455866 14318440448 11881 33554432000 4194304 4196468 140720935798960 140577706887440 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16762] ppid=16757 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16762/stat : 16762 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455866 14318440448 11881 33554432000 4194304 4196468 140720935798960 140577705834896 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16763] ppid=16757 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16763/stat : 16763 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455866 14318440448 11881 33554432000 4194304 4196468 140720935798960 140577704782352 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16764] ppid=16757 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16764/stat : 16764 (java) S 16757 16757 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154455866 14318440448 11881 33554432000 4194304 4196468 140720935798960 140577703729808 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16765] ppid=16757 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16765/stat : 16765 (java) S 16757 16757 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154455867 14318440448 11881 33554432000 4194304 4196468 140720935798960 140577250847216 140577776810626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16766] ppid=16757 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16766/stat : 16766 (java) S 16757 16757 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154455868 14318440448 11881 33554432000 4194304 4196468 140720935798960 140577249793440 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16767] ppid=16757 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16767/stat : 16767 (java) S 16757 16757 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154455868 14318440448 11881 33554432000 4194304 4196468 140720935798960 140577248740848 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16768] ppid=16757 vsize=13982852 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16768/stat : 16768 (java) S 16757 16757 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154455870 14318440448 11881 33554432000 4194304 4196468 140720935798960 140577247689424 140577776818075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16769] ppid=16757 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=0,2,4,6
/proc/16759/task/16769/stat : 16769 (java) R 16757 16757 13358 0 -1 1077944384 412 0 0 0 3 0 0 0 20 0 15 0 154455870 14318440448 11881 33554432000 4194304 4196468 140720935798960 140577246636016 140577776810626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16770] ppid=16757 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16759/task/16770/stat : 16770 (java) R 16757 16757 13358 0 -1 4202560 505 0 0 0 3 0 0 0 20 0 15 0 154455870 14318440448 11881 33554432000 4194304 4196468 140720935798960 140577245583472 140577769784521 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16771] ppid=16757 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/16759/task/16771/stat : 16771 (java) R 16757 16757 13358 0 -1 4202560 864 0 0 0 13 0 0 0 20 0 15 0 154455870 14318440448 11881 33554432000 4194304 4196468 140720935798960 140577244526880 140577755672720 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16772] ppid=16757 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16772/stat : 16772 (java) S 16757 16757 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154455871 14318440448 11881 33554432000 4194304 4196468 140720935798960 140577243478624 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16773] ppid=16757 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16773/stat : 16773 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455871 14318440448 11881 33554432000 4194304 4196468 140720935798960 140577242426160 140577776810626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48908 KiB
[startup+0.707263 s]
/proc/loadavg: 1.77 1.72 1.77 4/217 16773
/proc/meminfo: memFree=23750756/32770624 swapFree=67108860/67108860
[pid=16757] ppid=16754 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16757/stat : 16757 (xcsp3-exec) S 16754 16757 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154455865 9740288 346 33554432000 4194304 5098028 140735353676960 140735353675064 140618674680444 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34684928 140735353685108 140735353685312 140735353685312 140735353688043 0
/proc/16757/statm: 2378 346 289 221 0 87 0
[pid=16759] ppid=16757 vsize=13984976 memory=78164 CPUtime=1.64 cores=0,2,4,6
/proc/16759/stat : 16759 (java) S 16757 16757 13358 0 -1 1077944320 13235 0 0 0 160 4 0 0 20 0 15 0 154455865 14320615424 19541 33554432000 4194304 4196468 140720935798960 140720935781504 140577776799479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
/proc/16759/statm: 3496244 19541 3205 1 0 3483478 0
[pid=16759/tid=16760] ppid=16757 vsize=13984976 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/16759/task/16760/stat : 16760 (java) R 16757 16757 13358 0 -1 4202560 6711 0 0 0 65 2 0 0 20 0 15 0 154455865 14320615424 19541 33554432000 4194304 4196468 140720935798960 140577781038160 140577387742119 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16761] ppid=16757 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16761/stat : 16761 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455866 14320615424 19541 33554432000 4194304 4196468 140720935798960 140577706887440 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16762] ppid=16757 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16762/stat : 16762 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455866 14320615424 19541 33554432000 4194304 4196468 140720935798960 140577705834896 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16763] ppid=16757 vsize=13984976 memory=43028 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16763/stat : 16763 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455866 14320615424 19541 33554432000 4194304 4196468 140720935798960 140577704782352 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16764] ppid=16757 vsize=13984976 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16764/stat : 16764 (java) S 16757 16757 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154455866 14320615424 19541 33554432000 4194304 4196468 140720935798960 140577703729808 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16765] ppid=16757 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16765/stat : 16765 (java) S 16757 16757 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154455867 14320615424 19541 33554432000 4194304 4196468 140720935798960 140577250847216 140577776810626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16766] ppid=16757 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16766/stat : 16766 (java) S 16757 16757 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154455868 14320615424 19541 33554432000 4194304 4196468 140720935798960 140577249793440 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16767] ppid=16757 vsize=13984976 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16767/stat : 16767 (java) S 16757 16757 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154455868 14320615424 19541 33554432000 4194304 4196468 140720935798960 140577248740848 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16768] ppid=16757 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16768/stat : 16768 (java) S 16757 16757 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154455870 14320615424 19541 33554432000 4194304 4196468 140720935798960 140577247689424 140577776818075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16769] ppid=16757 vsize=13984976 memory=796 CPUtime=0.26 cores=0,2,4,6
/proc/16759/task/16769/stat : 16769 (java) R 16757 16757 13358 0 -1 4202560 1056 0 0 0 26 0 0 0 20 0 15 0 154455870 14320615424 19541 33554432000 4194304 4196468 140720935798960 140577246621688 140577761197885 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16770] ppid=16757 vsize=13984976 memory=10088 CPUtime=0.25 cores=0,2,4,6
/proc/16759/task/16770/stat : 16770 (java) R 16757 16757 13358 0 -1 4202560 1972 0 0 0 25 0 0 0 20 0 15 0 154455870 14320615424 19541 33554432000 4194304 4196468 140720935798960 140577245564488 140577754394256 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16771] ppid=16757 vsize=13984976 memory=1948 CPUtime=0.42 cores=0,2,4,6
/proc/16759/task/16771/stat : 16771 (java) D 16757 16757 13358 0 -1 4202560 2190 0 0 0 42 0 0 0 20 0 15 0 154455870 14320615424 19541 33554432000 4194304 4196468 140720935798960 140577244527416 140577769516631 0 4 0 16800975 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16772] ppid=16757 vsize=13984976 memory=8584 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16772/stat : 16772 (java) S 16757 16757 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154455871 14320615424 19541 33554432000 4194304 4196468 140720935798960 140577243478624 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16773] ppid=16757 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16773/stat : 16773 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455871 14320615424 19541 33554432000 4194304 4196468 140720935798960 140577242426160 140577776810626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 79548 KiB
[startup+1.5008 s]
/proc/loadavg: 1.77 1.72 1.77 6/217 16773
/proc/meminfo: memFree=23694320/32770624 swapFree=67108860/67108860
[pid=16757] ppid=16754 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16757/stat : 16757 (xcsp3-exec) S 16754 16757 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154455865 9740288 346 33554432000 4194304 5098028 140735353676960 140735353675064 140618674680444 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34684928 140735353685108 140735353685312 140735353685312 140735353688043 0
/proc/16757/statm: 2378 346 289 221 0 87 0
[pid=16759] ppid=16757 vsize=13984976 memory=175696 CPUtime=4.14 cores=0,2,4,6
/proc/16759/stat : 16759 (java) S 16757 16757 13358 0 -1 1077944320 45853 0 0 0 405 9 0 0 20 0 15 0 154455865 14320615424 43924 33554432000 4194304 4196468 140720935798960 140720935781504 140577776799479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
/proc/16759/statm: 3496244 43924 3209 1 0 3483478 0
[pid=16759/tid=16760] ppid=16757 vsize=13984976 memory=-7816663703405220396 CPUtime=1.47 cores=0,2,4,6
/proc/16759/task/16760/stat : 16760 (java) R 16757 16757 13358 0 -1 4202560 7375 0 0 0 145 2 0 0 20 0 15 0 154455865 14320615424 43924 33554432000 4194304 4196468 140720935798960 140577781037752 140577388881985 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16761] ppid=16757 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16761/stat : 16761 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455866 14320615424 43924 33554432000 4194304 4196468 140720935798960 140577706887440 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16762] ppid=16757 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16762/stat : 16762 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455866 14320615424 43924 33554432000 4194304 4196468 140720935798960 140577705834896 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16763] ppid=16757 vsize=13984976 memory=281361428695280 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16763/stat : 16763 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455866 14320615424 43924 33554432000 4194304 4196468 140720935798960 140577704782352 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16764] ppid=16757 vsize=13984976 memory=3118 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16764/stat : 16764 (java) S 16757 16757 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154455866 14320615424 43924 33554432000 4194304 4196468 140720935798960 140577703729808 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16765] ppid=16757 vsize=13984976 memory=28099 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16765/stat : 16765 (java) S 16757 16757 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154455867 14320615424 43924 33554432000 4194304 4196468 140720935798960 140577250847216 140577776810626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16766] ppid=16757 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16766/stat : 16766 (java) S 16757 16757 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154455868 14320615424 43924 33554432000 4194304 4196468 140720935798960 140577249793440 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16767] ppid=16757 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16767/stat : 16767 (java) S 16757 16757 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154455868 14320615424 43924 33554432000 4194304 4196468 140720935798960 140577248740848 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16768] ppid=16757 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16768/stat : 16768 (java) S 16757 16757 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154455870 14320615424 43924 33554432000 4194304 4196468 140720935798960 140577247689424 140577776818075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16769] ppid=16757 vsize=13984976 memory=0 CPUtime=1.05 cores=0,2,4,6
/proc/16759/task/16769/stat : 16769 (java) R 16757 16757 13358 0 -1 4202560 17962 0 0 0 103 2 0 0 20 0 15 0 154455870 14320615424 43924 33554432000 4194304 4196468 140720935798960 140577246622064 140577756492579 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16770] ppid=16757 vsize=13984976 memory=0 CPUtime=1.04 cores=0,2,4,6
/proc/16759/task/16770/stat : 16770 (java) R 16757 16757 13358 0 -1 4202560 14089 0 0 0 102 2 0 0 20 0 15 0 154455870 14320615424 43924 33554432000 4194304 4196468 140720935798960 140577245569056 140577758321966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16771] ppid=16757 vsize=13984976 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/16759/task/16771/stat : 16771 (java) S 16757 16757 13358 0 -1 1077944384 5119 0 0 0 53 1 0 0 20 0 15 0 154455870 14320615424 43924 33554432000 4194304 4196468 140720935798960 140577244530928 140577776810626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16772] ppid=16757 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16772/stat : 16772 (java) S 16757 16757 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154455871 14320615424 43924 33554432000 4194304 4196468 140720935798960 140577243478624 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16773] ppid=16757 vsize=13984976 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16773/stat : 16773 (java) S 16757 16757 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154455871 14320615424 43924 33554432000 4194304 4196468 140720935798960 140577242426160 140577776810626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
Current children cumulated CPU time: 4.14 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 177080 KiB
[startup+1.71414 s]
# the end of solver process 16757 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.46657 s, system=0.107885 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60094 s]
/proc/loadavg: 1.77 1.72 1.77 6/217 16773
/proc/meminfo: memFree=23694320/32770624 swapFree=67108860/67108860
[pid=16757] ppid=16754 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16757/stat : 16757 (xcsp3-exec) S 16754 16757 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154455865 9740288 346 33554432000 4194304 5098028 140735353676960 140735353675064 140618674680444 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34684928 140735353685108 140735353685312 140735353685312 140735353688043 0
/proc/16757/statm: 2378 346 289 221 0 87 0
[pid=16759] ppid=16757 vsize=13984976 memory=180608 CPUtime=4.44 cores=0,2,4,6
/proc/16759/stat : 16759 (java) S 16757 16757 13358 0 -1 1077944320 46291 0 0 0 435 9 0 0 20 0 15 0 154455865 14320615424 45152 33554432000 4194304 4196468 140720935798960 140720935781504 140577776799479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
/proc/16759/statm: 3496244 45152 3209 1 0 3483478 0
[pid=16759/tid=16760] ppid=16757 vsize=13984976 memory=1292 CPUtime=1.57 cores=0,2,4,6
/proc/16759/task/16760/stat : 16760 (java) R 16757 16757 13358 0 -1 4202560 7378 0 0 0 155 2 0 0 20 0 15 0 154455865 14320615424 45152 33554432000 4194304 4196468 140720935798960 140577781037752 140577387547318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16761] ppid=16757 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16761/stat : 16761 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455866 14320615424 45152 33554432000 4194304 4196468 140720935798960 140577706887440 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16762] ppid=16757 vsize=13984976 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16762/stat : 16762 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455866 14320615424 45152 33554432000 4194304 4196468 140720935798960 140577705834896 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16763] ppid=16757 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16763/stat : 16763 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154455866 14320615424 45152 33554432000 4194304 4196468 140720935798960 140577704782352 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16764] ppid=16757 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16764/stat : 16764 (java) S 16757 16757 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154455866 14320615424 45152 33554432000 4194304 4196468 140720935798960 140577703729808 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16765] ppid=16757 vsize=13984976 memory=10088 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16765/stat : 16765 (java) S 16757 16757 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154455867 14320615424 45152 33554432000 4194304 4196468 140720935798960 140577250847216 140577776810626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16766] ppid=16757 vsize=13984976 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16766/stat : 16766 (java) S 16757 16757 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154455868 14320615424 45152 33554432000 4194304 4196468 140720935798960 140577249793440 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16767] ppid=16757 vsize=13984976 memory=8584 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16767/stat : 16767 (java) S 16757 16757 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154455868 14320615424 45152 33554432000 4194304 4196468 140720935798960 140577248740848 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16768] ppid=16757 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16768/stat : 16768 (java) S 16757 16757 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154455870 14320615424 45152 33554432000 4194304 4196468 140720935798960 140577247689424 140577776818075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16769] ppid=16757 vsize=13984976 memory=1720 CPUtime=1.15 cores=0,2,4,6
/proc/16759/task/16769/stat : 16769 (java) R 16757 16757 13358 0 -1 4202560 18084 0 0 0 113 2 0 0 20 0 15 0 154455870 14320615424 45152 33554432000 4194304 4196468 140720935798960 140577246622064 140577761914534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16770] ppid=16757 vsize=13984976 memory=1004 CPUtime=1.14 cores=0,2,4,6
/proc/16759/task/16770/stat : 16770 (java) R 16757 16757 13358 0 -1 4202560 14375 0 0 0 112 2 0 0 20 0 15 0 154455870 14320615424 45152 33554432000 4194304 4196468 140720935798960 140577245569056 140577758324335 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16771] ppid=16757 vsize=13984976 memory=1436 CPUtime=0.55 cores=0,2,4,6
/proc/16759/task/16771/stat : 16771 (java) S 16757 16757 13358 0 -1 1077944384 5146 0 0 0 54 1 0 0 20 0 15 0 154455870 14320615424 45152 33554432000 4194304 4196468 140720935798960 140577244530928 140577776810626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16772] ppid=16757 vsize=13984976 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16772/stat : 16772 (java) S 16757 16757 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154455871 14320615424 45152 33554432000 4194304 4196468 140720935798960 140577243478624 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16773] ppid=16757 vsize=13984976 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16773/stat : 16773 (java) S 16757 16757 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154455871 14320615424 45152 33554432000 4194304 4196468 140720935798960 140577242426160 140577776810626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
Current children cumulated CPU time: 4.44 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 181992 KiB
[startup+1.70084 s]
/proc/loadavg: 1.77 1.72 1.77 6/217 16773
/proc/meminfo: memFree=23694320/32770624 swapFree=67108860/67108860
[pid=16757] ppid=16754 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16757/stat : 16757 (xcsp3-exec) S 16754 16757 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154455865 9740288 346 33554432000 4194304 5098028 140735353676960 140735353675064 140618674680444 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34684928 140735353685108 140735353685312 140735353685312 140735353688043 0
/proc/16757/statm: 2378 346 289 221 0 87 0
[pid=16759] ppid=16757 vsize=13984976 memory=182692 CPUtime=4.55 cores=0,2,4,6
/proc/16759/stat : 16759 (java) S 16757 16757 13358 0 -1 1077944320 46593 0 0 0 446 9 0 0 20 0 13 0 154455865 14320615424 45673 33554432000 4194304 4196468 140720935798960 140720935781504 140577776799479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
/proc/16759/statm: 3496244 45673 3211 1 0 3483478 0
[pid=16759/tid=16760] ppid=16757 vsize=13984976 memory=175696 CPUtime=1.57 cores=0,2,4,6
/proc/16759/task/16760/stat : 16760 (java) S 16757 16757 13358 0 -1 1077944384 7576 0 0 0 155 2 0 0 20 0 13 0 154455865 14320615424 45673 33554432000 4194304 4196468 140720935798960 140577781042320 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16761] ppid=16757 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16761/stat : 16761 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 154455866 14320615424 45673 33554432000 4194304 4196468 140720935798960 140577706887440 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16762] ppid=16757 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16762/stat : 16762 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 154455866 14320615424 45673 33554432000 4194304 4196468 140720935798960 140577705834896 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16763] ppid=16757 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16763/stat : 16763 (java) S 16757 16757 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 154455866 14320615424 45673 33554432000 4194304 4196468 140720935798960 140577704782352 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16764] ppid=16757 vsize=13984976 memory=281361428695280 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16764/stat : 16764 (java) S 16757 16757 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 154455866 14320615424 45673 33554432000 4194304 4196468 140720935798960 140577703729808 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16765] ppid=16757 vsize=13984976 memory=3118 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16765/stat : 16765 (java) S 16757 16757 13358 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 13 0 154455867 14320615424 45673 33554432000 4194304 4196468 140720935798960 140577250847424 140577776810626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16766] ppid=16757 vsize=13984976 memory=28099 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16766/stat : 16766 (java) S 16757 16757 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 154455868 14320615424 45673 33554432000 4194304 4196468 140720935798960 140577249793440 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16767] ppid=16757 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16767/stat : 16767 (java) S 16757 16757 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 154455868 14320615424 45673 33554432000 4194304 4196468 140720935798960 140577248740848 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16769] ppid=16757 vsize=13984976 memory=0 CPUtime=1.25 cores=0,2,4,6
/proc/16759/task/16769/stat : 16769 (java) R 16757 16757 13358 0 -1 4202560 18155 0 0 0 123 2 0 0 20 0 13 0 154455870 14320615424 45673 33554432000 4194304 4196468 140720935798960 140577246622064 140577758343713 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16770] ppid=16757 vsize=13984976 memory=0 CPUtime=1.15 cores=0,2,4,6
/proc/16759/task/16770/stat : 16770 (java) S 16757 16757 13358 0 -1 1077944384 14376 0 0 0 113 2 0 0 20 0 13 0 154455870 14320615424 45673 33554432000 4194304 4196468 140720935798960 140577245567984 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16771] ppid=16757 vsize=13984976 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/16759/task/16771/stat : 16771 (java) S 16757 16757 13358 0 -1 1077944384 5146 0 0 0 54 1 0 0 20 0 13 0 154455870 14320615424 45673 33554432000 4194304 4196468 140720935798960 140577244530928 140577776810626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
[pid=16759/tid=16772] ppid=16757 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16772/stat : 16772 (java) S 16757 16757 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 154455871 14320615424 45673 33554432000 4194304 4196468 140720935798960 140577243478624 140577776809685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140720935802013 140720935802188 140720935802188 140720935804879 0
Current children cumulated CPU time: 4.55 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 184076 KiB
Child status: 0
Real time (s): 1.7142
CPU time (s): 4.57445
CPU user time (s): 4.46657
CPU system time (s): 0.107885
CPU usage (%): 266.857
Max. virtual memory (cumulated for all children) (KiB): 13996824
Max. memory (cumulated for all children) (KiB): 184076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.46657
system time used= 0.107885
maximum resident set size= 183008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47128
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2202
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 16757
# total CPU time (s): 4.57445
# total CPU user time (s): 4.46657
# total CPU system time (s): 0.107885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036494 second user time and 0.055754 second system time
The end