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 (14322 MiB free)
memory of node 1: 16384 MiB (15432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283605-1503192370/watcher-4283605-1503192370 -o /tmp/evaluation-result-4283605-1503192370/solver-4283605-1503192370 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9103 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 383989518 HOME/instance-4283605-1503192370.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15426, runsolver pid=15423
[startup+0.100092 s]*
/proc/loadavg: 2.53 1.96 1.73 3/200 15429
/proc/meminfo: memFree=30467264/32770624 swapFree=67108860/67108860
[pid=15426] ppid=15423 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15426/stat : 15426 (xcsp3-exec) S 15423 15426 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121429943 9740288 345 18446744073709551615 4194304 5098028 140735218038768 140735218036872 140505997361788 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 24559616 140735218045305 140735218045509 140735218045509 140735218049003 0
/proc/15426/statm: 2378 345 289 221 0 87 0
[pid=15428] ppid=15426 vsize=13358712 memory=11464 CPUtime=0 cores=1,3,5,7
/proc/15428/stat : 15428 (java) S 15426 15426 28892 0 -1 1077944320 2655 0 0 0 0 0 0 0 20 0 6 0 121429953 13679321088 2866 18446744073709551615 4194304 4196468 140732012144640 140732012127184 140304511639287 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
/proc/15428/statm: 3339678 2866 1350 1 0 3329175 0
[pid=15428/tid=15429] ppid=15426 vsize=13358712 memory=-8023549066454273880 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15429/stat : 15429 (java) R 15426 15426 28892 0 -1 4202560 1592 0 0 0 0 0 0 0 20 0 6 0 121429953 13679321088 3064 18446744073709551615 4194304 4196468 140732012144640 140304515875408 140304472620918 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15430] ppid=15426 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15430/stat : 15430 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121429954 13679321088 3064 18446744073709551615 4194304 4196468 140732012144640 140304446073488 140304511649493 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15431] ppid=15426 vsize=13358712 memory=139624108598912 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15431/stat : 15431 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121429954 13679321088 3064 18446744073709551615 4194304 4196468 140732012144640 140304445020688 140304511649493 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15432] ppid=15426 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15432/stat : 15432 (java) S 15426 15426 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 121429954 13679321088 3064 18446744073709551615 4194304 4196468 140732012144640 140304443967888 140304511649493 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15433] ppid=15426 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15433/stat : 15433 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121429954 13679321088 3064 18446744073709551615 4194304 4196468 140732012144640 140304442915088 140304511649493 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 12844 KiB
[startup+0.210063 s]*
/proc/loadavg: 2.53 1.96 1.73 3/213 15442
/proc/meminfo: memFree=30451428/32770624 swapFree=67108860/67108860
[pid=15426] ppid=15423 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15426/stat : 15426 (xcsp3-exec) S 15423 15426 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121429943 9740288 345 18446744073709551615 4194304 5098028 140735218038768 140735218036872 140505997361788 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 24559616 140735218045305 140735218045509 140735218045509 140735218049003 0
/proc/15426/statm: 2378 345 289 221 0 87 0
[pid=15428] ppid=15426 vsize=13974352 memory=27680 CPUtime=0.1 cores=1,3,5,7
/proc/15428/stat : 15428 (java) S 15426 15426 28892 0 -1 1077944320 5311 0 0 0 9 1 0 0 20 0 15 0 121429953 14309736448 6920 18446744073709551615 4194304 4196468 140732012144640 140732012127184 140304511639287 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
/proc/15428/statm: 3493588 6920 2749 1 0 3482964 0
[pid=15428/tid=15429] ppid=15426 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=1,3,5,7
/proc/15428/task/15429/stat : 15429 (java) R 15426 15426 28892 0 -1 4202560 3475 0 0 0 7 1 0 0 20 0 15 0 121429953 14309736448 6920 18446744073709551615 4194304 4196468 140732012144640 140304515870896 140304495032624 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15430] ppid=15426 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15430/stat : 15430 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429954 14309736448 6920 18446744073709551615 4194304 4196468 140732012144640 140304446073488 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15431] ppid=15426 vsize=13974352 memory=3473035276940027552 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15431/stat : 15431 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429954 14309736448 6920 18446744073709551615 4194304 4196468 140732012144640 140304445020688 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15432] ppid=15426 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15432/stat : 15432 (java) S 15426 15426 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429954 14309736448 6920 18446744073709551615 4194304 4196468 140732012144640 140304443967888 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15433] ppid=15426 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15433/stat : 15433 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429954 14309736448 6920 18446744073709551615 4194304 4196468 140732012144640 140304442915088 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15434] ppid=15426 vsize=13974352 memory=139624108598912 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15434/stat : 15434 (java) S 15426 15426 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429955 14309736448 6920 18446744073709551615 4194304 4196468 140732012144640 140303989701488 140304511650434 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15435] ppid=15426 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15435/stat : 15435 (java) S 15426 15426 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121429956 14309736448 6920 18446744073709551615 4194304 4196468 140732012144640 140303988647456 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15436] ppid=15426 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15436/stat : 15436 (java) S 15426 15426 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121429956 14309736448 6920 18446744073709551615 4194304 4196468 140732012144640 140303987594608 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15437] ppid=15426 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15437/stat : 15437 (java) S 15426 15426 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429958 14309736448 6920 18446744073709551615 4194304 4196468 140732012144640 140303986542928 140304511657883 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15438] ppid=15426 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15438/stat : 15438 (java) S 15426 15426 28892 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 121429958 14309736448 6920 18446744073709551615 4194304 4196468 140732012144640 140303985490288 140304511650434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15439] ppid=15426 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15439/stat : 15439 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429958 14309736448 6920 18446744073709551615 4194304 4196468 140732012144640 140303984437488 140304511650434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15440] ppid=15426 vsize=13974352 memory=139624108598912 CPUtime=0.01 cores=1,3,5,7
/proc/15428/task/15440/stat : 15440 (java) S 15426 15426 28892 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 15 0 121429958 14309736448 6920 18446744073709551615 4194304 4196468 140732012144640 140303983384688 140304511650434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15441] ppid=15426 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15441/stat : 15441 (java) S 15426 15426 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429959 14309736448 6920 18446744073709551615 4194304 4196468 140732012144640 140303982332128 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15442] ppid=15426 vsize=13974352 memory=139624108598912 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15442/stat : 15442 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429962 14309736448 6920 18446744073709551615 4194304 4196468 140732012144640 140303981280432 140304511650434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29060 KiB
[startup+0.310367 s]*
/proc/loadavg: 2.53 1.96 1.73 5/213 15442
/proc/meminfo: memFree=30441252/32770624 swapFree=67108860/67108860
[pid=15426] ppid=15423 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15426/stat : 15426 (xcsp3-exec) S 15423 15426 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121429943 9740288 345 18446744073709551615 4194304 5098028 140735218038768 140735218036872 140505997361788 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 24559616 140735218045305 140735218045509 140735218045509 140735218049003 0
/proc/15426/statm: 2378 345 289 221 0 87 0
[pid=15428] ppid=15426 vsize=13974352 memory=39660 CPUtime=0.3 cores=1,3,5,7
/proc/15428/stat : 15428 (java) S 15426 15426 28892 0 -1 1077944320 8955 0 0 0 27 3 0 0 20 0 15 0 121429953 14309736448 9915 18446744073709551615 4194304 4196468 140732012144640 140732012127184 140304511639287 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
/proc/15428/statm: 3493588 9915 3013 1 0 3482964 0
[pid=15428/tid=15429] ppid=15426 vsize=13974352 memory=-7677926825137650786 CPUtime=0.18 cores=1,3,5,7
/proc/15428/task/15429/stat : 15429 (java) R 15426 15426 28892 0 -1 4202560 6152 0 0 0 16 2 0 0 20 0 15 0 121429953 14309736448 9915 18446744073709551615 4194304 4196468 140732012144640 140304515870416 140304511660634 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15430] ppid=15426 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15430/stat : 15430 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429954 14309736448 9915 18446744073709551615 4194304 4196468 140732012144640 140304446073488 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15431] ppid=15426 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15431/stat : 15431 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429954 14309736448 9915 18446744073709551615 4194304 4196468 140732012144640 140304445020688 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15432] ppid=15426 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15432/stat : 15432 (java) S 15426 15426 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429954 14309736448 9915 18446744073709551615 4194304 4196468 140732012144640 140304443967888 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15433] ppid=15426 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15433/stat : 15433 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429954 14309736448 9915 18446744073709551615 4194304 4196468 140732012144640 140304442915088 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15434] ppid=15426 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15434/stat : 15434 (java) S 15426 15426 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429955 14309736448 9915 18446744073709551615 4194304 4196468 140732012144640 140303989701488 140304511650434 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15435] ppid=15426 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15435/stat : 15435 (java) S 15426 15426 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121429956 14309736448 9915 18446744073709551615 4194304 4196468 140732012144640 140303988647456 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15436] ppid=15426 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15436/stat : 15436 (java) S 15426 15426 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121429956 14309736448 9915 18446744073709551615 4194304 4196468 140732012144640 140303987594608 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15437] ppid=15426 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15437/stat : 15437 (java) S 15426 15426 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429958 14309736448 9915 18446744073709551615 4194304 4196468 140732012144640 140303986542928 140304511657883 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15438] ppid=15426 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15428/task/15438/stat : 15438 (java) S 15426 15426 28892 0 -1 1077944384 541 0 0 0 2 0 0 0 20 0 15 0 121429958 14309736448 9915 18446744073709551615 4194304 4196468 140732012144640 140303985490288 140304511650434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15439] ppid=15426 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15428/task/15439/stat : 15439 (java) R 15426 15426 28892 0 -1 4202560 215 0 0 0 1 0 0 0 20 0 15 0 121429958 14309736448 9915 18446744073709551615 4194304 4196468 140732012144640 140303984418504 140304511653169 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15440] ppid=15426 vsize=13975376 memory=139624108598912 CPUtime=0.06 cores=1,3,5,7
/proc/15428/task/15440/stat : 15440 (java) R 15426 15426 28892 0 -1 4202560 747 0 0 0 6 0 0 0 20 0 15 0 121429958 14310785024 9915 18446744073709551615 4194304 4196468 140732012144640 140303983384688 140304495719774 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15441] ppid=15426 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15441/stat : 15441 (java) S 15426 15426 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429959 14310785024 9915 18446744073709551615 4194304 4196468 140732012144640 140303982332128 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15442] ppid=15426 vsize=13975376 memory=139624108598912 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15442/stat : 15442 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429962 14310785024 9915 18446744073709551615 4194304 4196468 140732012144640 140303981280432 140304511650434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41040 KiB
[startup+0.7008 s]
/proc/loadavg: 2.53 1.96 1.73 5/213 15442
/proc/meminfo: memFree=30429036/32770624 swapFree=67108860/67108860
[pid=15426] ppid=15423 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15426/stat : 15426 (xcsp3-exec) S 15423 15426 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121429943 9740288 345 18446744073709551615 4194304 5098028 140735218038768 140735218036872 140505997361788 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 24559616 140735218045305 140735218045509 140735218045509 140735218049003 0
/proc/15426/statm: 2378 345 289 221 0 87 0
[pid=15428] ppid=15426 vsize=13980732 memory=68076 CPUtime=1.21 cores=1,3,5,7
/proc/15428/stat : 15428 (java) S 15426 15426 28892 0 -1 1077944320 13082 0 0 0 117 4 0 0 20 0 15 0 121429953 14316269568 17019 18446744073709551615 4194304 4196468 140732012144640 140732012127184 140304511639287 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
/proc/15428/statm: 3495183 17019 3175 1 0 3483476 0
[pid=15428/tid=15429] ppid=15426 vsize=13980732 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/15428/task/15429/stat : 15429 (java) R 15426 15426 28892 0 -1 4202560 8539 0 0 0 52 3 0 0 20 0 15 0 121429953 14316269568 17019 18446744073709551615 4194304 4196468 140732012144640 140304515874992 140304116237873 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15430] ppid=15426 vsize=13980732 memory=110 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15430/stat : 15430 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429954 14316269568 17019 18446744073709551615 4194304 4196468 140732012144640 140304446073488 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15431] ppid=15426 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15431/stat : 15431 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429954 14316269568 17019 18446744073709551615 4194304 4196468 140732012144640 140304445020688 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15432] ppid=15426 vsize=13980732 memory=206 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15432/stat : 15432 (java) S 15426 15426 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429954 14316269568 17019 18446744073709551615 4194304 4196468 140732012144640 140304443967888 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15433] ppid=15426 vsize=13980732 memory=399 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15433/stat : 15433 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429954 14316269568 17019 18446744073709551615 4194304 4196468 140732012144640 140304442915088 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15434] ppid=15426 vsize=13980732 memory=7 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15434/stat : 15434 (java) S 15426 15426 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121429955 14316269568 17019 18446744073709551615 4194304 4196468 140732012144640 140303989701488 140304511650434 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15435] ppid=15426 vsize=13980732 memory=1 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15435/stat : 15435 (java) S 15426 15426 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121429956 14316269568 17019 18446744073709551615 4194304 4196468 140732012144640 140303988647456 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15436] ppid=15426 vsize=13980732 memory=139623951119601 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15436/stat : 15436 (java) S 15426 15426 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121429956 14316269568 17019 18446744073709551615 4194304 4196468 140732012144640 140303987594608 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15437] ppid=15426 vsize=13980732 memory=279247902557344 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15437/stat : 15437 (java) S 15426 15426 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429958 14316269568 17019 18446744073709551615 4194304 4196468 140732012144640 140303986542928 140304511657883 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15438] ppid=15426 vsize=13980732 memory=139623951115599 CPUtime=0.17 cores=1,3,5,7
/proc/15428/task/15438/stat : 15438 (java) S 15426 15426 28892 0 -1 1077944384 1074 0 0 0 17 0 0 0 20 0 15 0 121429958 14316269568 17019 18446744073709551615 4194304 4196468 140732012144640 140303985490288 140304511650434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15439] ppid=15426 vsize=13980732 memory=279244748131417 CPUtime=0.15 cores=1,3,5,7
/proc/15428/task/15439/stat : 15439 (java) S 15426 15426 28892 0 -1 1077944384 679 0 0 0 15 0 0 0 20 0 15 0 121429958 14316269568 17019 18446744073709551615 4194304 4196468 140732012144640 140303984437488 140304511650434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15440] ppid=15426 vsize=13980732 memory=6944656592455097440 CPUtime=0.31 cores=1,3,5,7
/proc/15428/task/15440/stat : 15440 (java) S 15426 15426 28892 0 -1 1077944384 1485 0 0 0 31 0 0 0 20 0 15 0 121429958 14316269568 17019 18446744073709551615 4194304 4196468 140732012144640 140303983384688 140304511650434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15441] ppid=15426 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15441/stat : 15441 (java) S 15426 15426 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429959 14316269568 17019 18446744073709551615 4194304 4196468 140732012144640 140303982332128 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15442] ppid=15426 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15442/stat : 15442 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429962 14316269568 17019 18446744073709551615 4194304 4196468 140732012144640 140303981280432 140304511650434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69456 KiB
[startup+1.41217 s]
# the end of solver process 15426 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.04478 s, system=0.071303 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.807877 s]
/proc/loadavg: 2.53 1.96 1.73 5/213 15442
/proc/meminfo: memFree=30429036/32770624 swapFree=67108860/67108860
[pid=15426] ppid=15423 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15426/stat : 15426 (xcsp3-exec) S 15423 15426 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121429943 9740288 345 18446744073709551615 4194304 5098028 140735218038768 140735218036872 140505997361788 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 24559616 140735218045305 140735218045509 140735218045509 140735218049003 0
/proc/15426/statm: 2378 345 289 221 0 87 0
[pid=15428] ppid=15426 vsize=13980732 memory=74688 CPUtime=1.54 cores=1,3,5,7
/proc/15428/stat : 15428 (java) S 15426 15426 28892 0 -1 1077944320 13856 0 0 0 149 5 0 0 20 0 15 0 121429953 14316269568 18672 18446744073709551615 4194304 4196468 140732012144640 140732012127184 140304511639287 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
/proc/15428/statm: 3495183 18672 3183 1 0 3483476 0
[pid=15428/tid=15429] ppid=15426 vsize=13980732 memory=2241 CPUtime=0.66 cores=1,3,5,7
/proc/15428/task/15429/stat : 15429 (java) R 15426 15426 28892 0 -1 4202560 8849 0 0 0 62 4 0 0 20 0 15 0 121429953 14316269568 18672 18446744073709551615 4194304 4196468 140732012144640 140304515874512 140304511651222 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15430] ppid=15426 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15430/stat : 15430 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429954 14316269568 18672 18446744073709551615 4194304 4196468 140732012144640 140304446073488 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15431] ppid=15426 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15431/stat : 15431 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429954 14316269568 18672 18446744073709551615 4194304 4196468 140732012144640 140304445020688 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15432] ppid=15426 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15432/stat : 15432 (java) S 15426 15426 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429954 14316269568 18672 18446744073709551615 4194304 4196468 140732012144640 140304443967888 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15433] ppid=15426 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15433/stat : 15433 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429954 14316269568 18672 18446744073709551615 4194304 4196468 140732012144640 140304442915088 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15434] ppid=15426 vsize=13980732 memory=19265 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15434/stat : 15434 (java) S 15426 15426 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121429955 14316269568 18672 18446744073709551615 4194304 4196468 140732012144640 140303989701488 140304511650434 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15435] ppid=15426 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15435/stat : 15435 (java) S 15426 15426 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121429956 14316269568 18672 18446744073709551615 4194304 4196468 140732012144640 140303988647456 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15436] ppid=15426 vsize=13980732 memory=7307210966322687442 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15436/stat : 15436 (java) S 15426 15426 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121429956 14316269568 18672 18446744073709551615 4194304 4196468 140732012144640 140303987594608 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15437] ppid=15426 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15437/stat : 15437 (java) S 15426 15426 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429958 14316269568 18672 18446744073709551615 4194304 4196468 140732012144640 140303986542928 140304511657883 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15438] ppid=15426 vsize=13980732 memory=6944652177228980320 CPUtime=0.24 cores=1,3,5,7
/proc/15428/task/15438/stat : 15438 (java) S 15426 15426 28892 0 -1 1077944384 1116 0 0 0 24 0 0 0 20 0 15 0 121429958 14316269568 18672 18446744073709551615 4194304 4196468 140732012144640 140303985490288 140304511650434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15439] ppid=15426 vsize=13981756 memory=6943526294502006880 CPUtime=0.22 cores=1,3,5,7
/proc/15428/task/15439/stat : 15439 (java) R 15426 15426 28892 0 -1 4202560 886 0 0 0 22 0 0 0 20 0 15 0 121429958 14317318144 18672 18446744073709551615 4194304 4196468 140732012144640 140303984422640 140304489235760 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15440] ppid=15426 vsize=13981756 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/15428/task/15440/stat : 15440 (java) R 15426 15426 28892 0 -1 4202560 1697 0 0 0 39 0 0 0 20 0 15 0 121429958 14317318144 18672 18446744073709551615 4194304 4196468 140732012144640 140303983384688 140304511660634 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15441] ppid=15426 vsize=13981756 memory=3473155141856866357 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15441/stat : 15441 (java) S 15426 15426 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429959 14317318144 18672 18446744073709551615 4194304 4196468 140732012144640 140303982332128 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15442] ppid=15426 vsize=13981756 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15442/stat : 15442 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429962 14317318144 18672 18446744073709551615 4194304 4196468 140732012144640 140303981280432 140304511650434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 76068 KiB
[startup+1.20096 s]
/proc/loadavg: 2.53 1.96 1.73 5/213 15442
/proc/meminfo: memFree=30392120/32770624 swapFree=67108860/67108860
[pid=15426] ppid=15423 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15426/stat : 15426 (xcsp3-exec) S 15423 15426 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121429943 9740288 345 18446744073709551615 4194304 5098028 140735218038768 140735218036872 140505997361788 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 24559616 140735218045305 140735218045509 140735218045509 140735218049003 0
/proc/15426/statm: 2378 345 289 221 0 87 0
[pid=15428] ppid=15426 vsize=13980732 memory=112228 CPUtime=2.8 cores=1,3,5,7
/proc/15428/stat : 15428 (java) S 15426 15426 28892 0 -1 1077944320 18657 0 0 0 274 6 0 0 20 0 15 0 121429953 14316269568 28057 18446744073709551615 4194304 4196468 140732012144640 140732012127184 140304511639287 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
/proc/15428/statm: 3495183 28057 3196 1 0 3483476 0
[pid=15428/tid=15429] ppid=15426 vsize=13980732 memory=7739276948478390120 CPUtime=1.05 cores=1,3,5,7
/proc/15428/task/15429/stat : 15429 (java) R 15426 15426 28892 0 -1 4202560 9857 0 0 0 101 4 0 0 20 0 15 0 121429953 14316269568 28057 18446744073709551615 4194304 4196468 140732012144640 140304515878752 140304511651222 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15430] ppid=15426 vsize=13980732 memory=6445329926754231394 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15430/stat : 15430 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429954 14316269568 28057 18446744073709551615 4194304 4196468 140732012144640 140304446073488 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15431] ppid=15426 vsize=13980732 memory=7234587930426299752 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15431/stat : 15431 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429954 14316269568 28057 18446744073709551615 4194304 4196468 140732012144640 140304445020688 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15432] ppid=15426 vsize=13980732 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15432/stat : 15432 (java) S 15426 15426 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121429954 14316269568 28057 18446744073709551615 4194304 4196468 140732012144640 140304443967888 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15433] ppid=15426 vsize=13980732 memory=4427207343990470186 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15433/stat : 15433 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121429954 14316269568 28057 18446744073709551615 4194304 4196468 140732012144640 140304442915088 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15434] ppid=15426 vsize=13980732 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15434/stat : 15434 (java) S 15426 15426 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121429955 14316269568 28057 18446744073709551615 4194304 4196468 140732012144640 140303989701488 140304511650434 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15435] ppid=15426 vsize=13980732 memory=6081900604297663079 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15435/stat : 15435 (java) S 15426 15426 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121429956 14316269568 28057 18446744073709551615 4194304 4196468 140732012144640 140303988647456 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15436] ppid=15426 vsize=13980732 memory=7230638415855315543 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15436/stat : 15436 (java) S 15426 15426 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121429956 14316269568 28057 18446744073709551615 4194304 4196468 140732012144640 140303987594608 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15437] ppid=15426 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15437/stat : 15437 (java) S 15426 15426 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429958 14316269568 28057 18446744073709551615 4194304 4196468 140732012144640 140303986542928 140304511657883 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15438] ppid=15426 vsize=13980732 memory=7373068164358759762 CPUtime=0.6 cores=1,3,5,7
/proc/15428/task/15438/stat : 15438 (java) R 15426 15426 28892 0 -1 4202560 2734 0 0 0 60 0 0 0 20 0 15 0 121429958 14316269568 28057 18446744073709551615 4194304 4196468 140732012144640 140303985476832 140304503880729 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15439] ppid=15426 vsize=13980732 memory=7091577772841133650 CPUtime=0.59 cores=1,3,5,7
/proc/15428/task/15439/stat : 15439 (java) R 15426 15426 28892 0 -1 4202560 2307 0 0 0 59 0 0 0 20 0 15 0 121429958 14316269568 28057 18446744073709551615 4194304 4196468 140732012144640 140303984426288 140304503928669 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15440] ppid=15426 vsize=13980732 memory=12579 CPUtime=0.52 cores=1,3,5,7
/proc/15428/task/15440/stat : 15440 (java) R 15426 15426 28892 0 -1 1077944384 2444 0 0 0 52 0 0 0 20 0 15 0 121429958 14316269568 28057 18446744073709551615 4194304 4196468 140732012144640 140303983384688 140304511650434 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15441] ppid=15426 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15441/stat : 15441 (java) S 15426 15426 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121429959 14316269568 28057 18446744073709551615 4194304 4196468 140732012144640 140303982332128 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15442] ppid=15426 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15442/stat : 15442 (java) S 15426 15426 28892 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 121429962 14316269568 28057 18446744073709551615 4194304 4196468 140732012144640 140303981280432 140304511650434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 113608 KiB
[startup+1.40068 s]
/proc/loadavg: 2.53 1.96 1.73 5/213 15442
/proc/meminfo: memFree=30392120/32770624 swapFree=67108860/67108860
[pid=15426] ppid=15423 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15426/stat : 15426 (xcsp3-exec) S 15423 15426 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121429943 9740288 345 18446744073709551615 4194304 5098028 140735218038768 140735218036872 140505997361788 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 24559616 140735218045305 140735218045509 140735218045509 140735218049003 0
/proc/15426/statm: 2378 345 289 221 0 87 0
[pid=15428] ppid=15426 vsize=13980732 memory=121172 CPUtime=3.1 cores=1,3,5,7
/proc/15428/stat : 15428 (java) S 15426 15426 28892 0 -1 1077944320 19886 0 0 0 304 6 0 0 20 0 13 0 121429953 14316269568 30293 18446744073709551615 4194304 4196468 140732012144640 140732012127184 140304511639287 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
/proc/15428/statm: 3495183 30293 3203 1 0 3483476 0
[pid=15428/tid=15429] ppid=15426 vsize=13980732 memory=7954881304538213732 CPUtime=1.13 cores=1,3,5,7
/proc/15428/task/15429/stat : 15429 (java) D 15426 15426 28892 0 -1 4202560 10362 0 0 0 109 4 0 0 20 0 13 0 121429953 14316269568 30293 18446744073709551615 4194304 4196468 140732012144640 140304515882296 140304504324919 0 0 1 16800974 18446744072099675269 0 0 -1 1 0 0 3 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15430] ppid=15426 vsize=13980732 memory=5787214926557761634 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15430/stat : 15430 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 121429954 14316269568 30293 18446744073709551615 4194304 4196468 140732012144640 140304446073488 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15431] ppid=15426 vsize=13980732 memory=6080510839165053279 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15431/stat : 15431 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 121429954 14316269568 30293 18446744073709551615 4194304 4196468 140732012144640 140304445020688 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15432] ppid=15426 vsize=13980732 memory=8225999734716121285 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15432/stat : 15432 (java) S 15426 15426 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 121429954 14316269568 30293 18446744073709551615 4194304 4196468 140732012144640 140304443967888 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15433] ppid=15426 vsize=13980732 memory=8658345311828590821 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15433/stat : 15433 (java) S 15426 15426 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 121429954 14316269568 30293 18446744073709551615 4194304 4196468 140732012144640 140304442915088 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15435] ppid=15426 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15435/stat : 15435 (java) S 15426 15426 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 121429956 14316269568 30293 18446744073709551615 4194304 4196468 140732012144640 140303988647456 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15436] ppid=15426 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15436/stat : 15436 (java) S 15426 15426 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 121429956 14316269568 30293 18446744073709551615 4194304 4196468 140732012144640 140303987594608 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15437] ppid=15426 vsize=13980732 memory=4409644388209393696 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15437/stat : 15437 (java) S 15426 15426 28892 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 13 0 121429958 14316269568 30293 18446744073709551615 4194304 4196468 140732012144640 140303986542576 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15438] ppid=15426 vsize=13980732 memory=288230617525794203 CPUtime=0.69 cores=1,3,5,7
/proc/15428/task/15438/stat : 15438 (java) S 15426 15426 28892 0 -1 1077944384 2953 0 0 0 69 0 0 0 20 0 13 0 121429958 14316269568 30293 18446744073709551615 4194304 4196468 140732012144640 140303985474800 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15439] ppid=15426 vsize=13980732 memory=16105853388333050 CPUtime=0.67 cores=1,3,5,7
/proc/15428/task/15439/stat : 15439 (java) S 15426 15426 28892 0 -1 1077944384 2415 0 0 0 67 0 0 0 20 0 13 0 121429958 14316269568 30293 18446744073709551615 4194304 4196468 140732012144640 140303984421968 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15440] ppid=15426 vsize=13980732 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/15428/task/15440/stat : 15440 (java) S 15426 15426 28892 0 -1 1077944384 2806 0 0 0 56 0 0 0 20 0 13 0 121429958 14316269568 30293 18446744073709551615 4194304 4196468 140732012144640 140303983384688 140304511650434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
[pid=15428/tid=15441] ppid=15426 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15428/task/15441/stat : 15441 (java) S 15426 15426 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 121429959 14316269568 30293 18446744073709551615 4194304 4196468 140732012144640 140303982332128 140304511649493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23134208 140732012151217 140732012151393 140732012151393 140732012154831 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 122552 KiB
Child status: 0
Real time (s): 1.41222
CPU time (s): 3.11608
CPU user time (s): 3.04478
CPU system time (s): 0.071303
CPU usage (%): 220.651
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 122552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.04478
system time used= 0.071303
maximum resident set size= 121576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2102
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 15426
# total CPU time (s): 3.11608
# total CPU user time (s): 3.04478
# total CPU system time (s): 0.071303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036975 second user time and 0.051936 second system time
The end