2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-07-26)	SAT (TO)	226	255.60001	240.00999
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255160-1501622041/watcher-4255160-1501622041 -o /tmp/evaluation-result-4255160-1501622041/solver-4255160-1501622041 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501617027-7472 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2106927846 HOME/instance-4255160-1501622041.xml 

pid=14126
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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.74 1.76 1.82 4/195 14129
/proc/meminfo: memFree=30694572/32770624 swapFree=0/973636
[pid=14129] ppid=14126 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/14129/stat : 14129 (runsolver) D 14126 14129 5678 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10828776 24240128 107 18446744073709551615 4194304 4338465 140736156865408 140736156863048 139978620203735 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 27451392 140736156868701 140736156869190 140736156869190 140736156872650 0
/proc/14129/statm: 5918 107 54 36 0 2156 0

[startup+0.105166 s]
/proc/loadavg: 1.74 1.76 1.82 4/195 14129
/proc/meminfo: memFree=30694572/32770624 swapFree=0/973636
[pid=14129] ppid=14126 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14129/stat : 14129 (xcsp3-exec) S 14126 14129 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10828776 9740288 345 18446744073709551615 4194304 5098028 140720513513600 140720513511704 140517598569084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 29421568 140720513515931 140720513516135 140720513516135 140720513519595 0
/proc/14129/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.20031 s]
/proc/loadavg: 1.74 1.76 1.82 4/195 14129
/proc/meminfo: memFree=30694572/32770624 swapFree=0/973636
[pid=14129] ppid=14126 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14129/stat : 14129 (xcsp3-exec) S 14126 14129 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10828776 9740288 345 18446744073709551615 4194304 5098028 140720513513600 140720513511704 140517598569084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 29421568 140720513515931 140720513516135 140720513516135 140720513519595 0
/proc/14129/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300327 s]
/proc/loadavg: 1.74 1.76 1.82 4/195 14129
/proc/meminfo: memFree=30694572/32770624 swapFree=0/973636
[pid=14129] ppid=14126 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14129/stat : 14129 (xcsp3-exec) S 14126 14129 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10828776 9740288 345 18446744073709551615 4194304 5098028 140720513513600 140720513511704 140517598569084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 29421568 140720513515931 140720513516135 140720513516135 140720513519595 0
/proc/14129/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700533 s]
/proc/loadavg: 1.74 1.76 1.82 4/195 14129
/proc/meminfo: memFree=30694572/32770624 swapFree=0/973636
[pid=14129] ppid=14126 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14129/stat : 14129 (xcsp3-exec) S 14126 14129 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10828776 9740288 345 18446744073709551615 4194304 5098028 140720513513600 140720513511704 140517598569084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 29421568 140720513515931 140720513516135 140720513516135 140720513519595 0
/proc/14129/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50068 s]
/proc/loadavg: 1.74 1.76 1.82 5/211 14145
/proc/meminfo: memFree=30593776/32770624 swapFree=0/973656
[pid=14129] ppid=14126 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14129/stat : 14129 (xcsp3-exec) S 14126 14129 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10828776 9740288 345 18446744073709551615 4194304 5098028 140720513513600 140720513511704 140517598569084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 29421568 140720513515931 140720513516135 140720513516135 140720513519595 0
/proc/14129/statm: 2378 345 289 221 0 87 0
[pid=14131] ppid=14129 vsize=13980732 CPUtime=3.91 cores=0,2,4,6
/proc/14131/stat : 14131 (java) S 14129 14129 5678 0 -1 1077944320 35434 0 0 0 385 6 0 0 20 0 15 0 10828781 14316269568 35984 18446744073709551615 4194304 4196468 140727134113648 140727134096192 140227770162935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
/proc/14131/statm: 3495183 35984 3178 1 0 3483484 0
[pid=14131/tid=14132] ppid=14129 vsize=13980732 CPUtime=1.33 cores=0,2,4,6
/proc/14131/task/14132/stat : 14132 (java) R 14129 14129 5678 0 -1 4202560 8862 0 0 0 130 3 0 0 20 0 15 0 10828781 14316269568 35984 18446744073709551615 4194304 4196468 140727134113648 140227774399248 140227415893041 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14133] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14133/stat : 14133 (java) S 14129 14129 5678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10828782 14316269568 35984 18446744073709551615 4194304 4196468 140727134113648 140227731061520 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14134] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14134/stat : 14134 (java) S 14129 14129 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10828782 14316269568 35984 18446744073709551615 4194304 4196468 140727134113648 140227369167760 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14135] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14135/stat : 14135 (java) S 14129 14129 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10828782 14316269568 35984 18446744073709551615 4194304 4196468 140727134113648 140227368115216 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14136] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14136/stat : 14136 (java) S 14129 14129 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10828782 14316269568 35984 18446744073709551615 4194304 4196468 140727134113648 140227367062672 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14137] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14137/stat : 14137 (java) S 14129 14129 5678 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 10828783 14316269568 35984 18446744073709551615 4194304 4196468 140727134113648 140226888275952 140227770174082 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14138] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14138/stat : 14138 (java) S 14129 14129 5678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10828784 14316269568 35984 18446744073709551615 4194304 4196468 140727134113648 140226887222176 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14139] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14139/stat : 14139 (java) S 14129 14129 5678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10828784 14316269568 35984 18446744073709551615 4194304 4196468 140727134113648 140226886169584 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14140] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14140/stat : 14140 (java) S 14129 14129 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10828786 14316269568 35984 18446744073709551615 4194304 4196468 140727134113648 140226885118160 140227770181531 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14141] ppid=14129 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/14131/task/14141/stat : 14141 (java) R 14129 14129 5678 0 -1 4202560 7782 0 0 0 97 0 0 0 20 0 15 0 10828786 14316269568 35984 18446744073709551615 4194304 4196468 140727134113648 140226884056608 140227749409900 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14142] ppid=14129 vsize=13980732 CPUtime=1.01 cores=0,2,4,6
/proc/14131/task/14142/stat : 14142 (java) R 14129 14129 5678 0 -1 4202560 13413 0 0 0 100 1 0 0 20 0 15 0 10828786 14316269568 35984 18446744073709551615 4194304 4196468 140727134113648 140226882997704 140227749414764 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14143] ppid=14129 vsize=13980732 CPUtime=0.57 cores=0,2,4,6
/proc/14131/task/14143/stat : 14143 (java) S 14129 14129 5678 0 -1 1077944384 4067 0 0 0 57 0 0 0 20 0 15 0 10828786 14316269568 35984 18446744073709551615 4194304 4196468 140727134113648 140226881960688 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14144] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14144/stat : 14144 (java) S 14129 14129 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10828787 14316269568 35984 18446744073709551615 4194304 4196468 140727134113648 140226880908384 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14145] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14145/stat : 14145 (java) S 14129 14129 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10828797 14316269568 35984 18446744073709551615 4194304 4196468 140727134113648 140226879854896 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 13990244

[startup+3.10068 s]
/proc/loadavg: 1.74 1.76 1.82 6/211 14145
/proc/meminfo: memFree=30509468/32770624 swapFree=0/973656
[pid=14129] ppid=14126 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14129/stat : 14129 (xcsp3-exec) S 14126 14129 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10828776 9740288 345 18446744073709551615 4194304 5098028 140720513513600 140720513511704 140517598569084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 29421568 140720513515931 140720513516135 140720513516135 140720513519595 0
/proc/14129/statm: 2378 345 289 221 0 87 0
[pid=14131] ppid=14129 vsize=13980732 CPUtime=8.79 cores=0,2,4,6
/proc/14131/stat : 14131 (java) S 14129 14129 5678 0 -1 1077944320 49079 0 0 0 870 9 0 0 20 0 15 0 10828781 14316269568 63828 18446744073709551615 4194304 4196468 140727134113648 140727134096192 140227770162935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
/proc/14131/statm: 3495183 63828 3217 1 0 3483484 0
[pid=14131/tid=14132] ppid=14129 vsize=13980732 CPUtime=2.91 cores=0,2,4,6
/proc/14131/task/14132/stat : 14132 (java) R 14129 14129 5678 0 -1 4202560 9802 0 0 0 287 4 0 0 20 0 15 0 10828781 14316269568 63828 18446744073709551615 4194304 4196468 140727134113648 140227774400984 140227417819366 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14133] ppid=14129 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/14131/task/14133/stat : 14133 (java) S 14129 14129 5678 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 15 0 10828782 14316269568 63828 18446744073709551615 4194304 4196468 140727134113648 140227731061520 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14134] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14134/stat : 14134 (java) S 14129 14129 5678 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 10828782 14316269568 63828 18446744073709551615 4194304 4196468 140727134113648 140227369167760 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14135] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14135/stat : 14135 (java) S 14129 14129 5678 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 10828782 14316269568 63828 18446744073709551615 4194304 4196468 140727134113648 140227368115216 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14136] ppid=14129 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/14131/task/14136/stat : 14136 (java) S 14129 14129 5678 0 -1 1077944384 692 0 0 0 1 0 0 0 20 0 15 0 10828782 14316269568 63828 18446744073709551615 4194304 4196468 140727134113648 140227367062672 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14137] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14137/stat : 14137 (java) S 14129 14129 5678 0 -1 1077944384 201 0 0 0 0 0 0 0 20 0 15 0 10828783 14316269568 63828 18446744073709551615 4194304 4196468 140727134113648 140226888275952 140227770174082 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14138] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14138/stat : 14138 (java) S 14129 14129 5678 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10828784 14316269568 63828 18446744073709551615 4194304 4196468 140727134113648 140226887222176 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14139] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14139/stat : 14139 (java) S 14129 14129 5678 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10828784 14316269568 63828 18446744073709551615 4194304 4196468 140727134113648 140226886169584 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14140] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14140/stat : 14140 (java) S 14129 14129 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10828786 14316269568 63828 18446744073709551615 4194304 4196468 140727134113648 140226885118160 140227770181531 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14141] ppid=14129 vsize=13980732 CPUtime=2.55 cores=0,2,4,6
/proc/14131/task/14141/stat : 14141 (java) R 14129 14129 5678 0 -1 4202560 16333 0 0 0 254 1 0 0 20 0 15 0 10828786 14316269568 63828 18446744073709551615 4194304 4196468 140727134113648 140226884052344 140227762452384 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14142] ppid=14129 vsize=13980732 CPUtime=2.59 cores=0,2,4,6
/proc/14131/task/14142/stat : 14142 (java) R 14129 14129 5678 0 -1 4202560 15340 0 0 0 258 1 0 0 20 0 15 0 10828786 14316269568 63828 18446744073709551615 4194304 4196468 140727134113648 140226883011680 140227753371024 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14143] ppid=14129 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/14131/task/14143/stat : 14143 (java) S 14129 14129 5678 0 -1 1077944384 5252 0 0 0 64 0 0 0 20 0 15 0 10828786 14316269568 63828 18446744073709551615 4194304 4196468 140727134113648 140226881960688 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14144] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14144/stat : 14144 (java) S 14129 14129 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10828787 14316269568 63828 18446744073709551615 4194304 4196468 140727134113648 140226880908384 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14145] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14145/stat : 14145 (java) S 14129 14129 5678 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 10828797 14316269568 63828 18446744073709551615 4194304 4196468 140727134113648 140226879854896 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
Current children cumulated CPU time (s) 8.79
Current children cumulated vsize (KiB) 13990244

[startup+6.30153 s]
/proc/loadavg: 1.92 1.80 1.83 3/211 14145
/proc/meminfo: memFree=30448784/32770624 swapFree=0/973660
[pid=14129] ppid=14126 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14129/stat : 14129 (xcsp3-exec) S 14126 14129 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10828776 9740288 345 18446744073709551615 4194304 5098028 140720513513600 140720513511704 140517598569084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 29421568 140720513515931 140720513516135 140720513516135 140720513519595 0
/proc/14129/statm: 2378 345 289 221 0 87 0
[pid=14131] ppid=14129 vsize=13980732 CPUtime=14.89 cores=0,2,4,6
/proc/14131/stat : 14131 (java) S 14129 14129 5678 0 -1 1077944320 50144 0 0 0 1477 12 0 0 20 0 15 0 10828781 14316269568 64165 18446744073709551615 4194304 4196468 140727134113648 140727134096192 140227770162935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
/proc/14131/statm: 3495183 64165 3226 1 0 3483484 0
[pid=14131/tid=14132] ppid=14129 vsize=13980732 CPUtime=6.07 cores=0,2,4,6
/proc/14131/task/14132/stat : 14132 (java) R 14129 14129 5678 0 -1 4202560 9834 0 0 0 603 4 0 0 20 0 15 0 10828781 14316269568 64165 18446744073709551615 4194304 4196468 140727134113648 140227774401704 140227417792834 0 4 1 16800974 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14133] ppid=14129 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14131/task/14133/stat : 14133 (java) S 14129 14129 5678 0 -1 1077944384 107 0 0 0 3 0 0 0 20 0 15 0 10828782 14316269568 64165 18446744073709551615 4194304 4196468 140727134113648 140227731061520 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14134] ppid=14129 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14131/task/14134/stat : 14134 (java) S 14129 14129 5678 0 -1 1077944384 32 0 0 0 2 0 0 0 20 0 15 0 10828782 14316269568 64165 18446744073709551615 4194304 4196468 140727134113648 140227369167760 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14135] ppid=14129 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/14131/task/14135/stat : 14135 (java) S 14129 14129 5678 0 -1 1077944384 31 0 0 0 2 0 0 0 20 0 15 0 10828782 14316269568 64165 18446744073709551615 4194304 4196468 140727134113648 140227368115216 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14136] ppid=14129 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/14131/task/14136/stat : 14136 (java) S 14129 14129 5678 0 -1 1077944384 702 0 0 0 3 0 0 0 20 0 15 0 10828782 14316269568 64165 18446744073709551615 4194304 4196468 140727134113648 140227367062672 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14137] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14137/stat : 14137 (java) S 14129 14129 5678 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 15 0 10828783 14316269568 64165 18446744073709551615 4194304 4196468 140727134113648 140226888275952 140227770174082 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14138] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14138/stat : 14138 (java) S 14129 14129 5678 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10828784 14316269568 64165 18446744073709551615 4194304 4196468 140727134113648 140226887222176 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14139] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14139/stat : 14139 (java) S 14129 14129 5678 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10828784 14316269568 64165 18446744073709551615 4194304 4196468 140727134113648 140226886169584 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14140] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14140/stat : 14140 (java) S 14129 14129 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10828786 14316269568 64165 18446744073709551615 4194304 4196468 140727134113648 140226885118160 140227770181531 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14141] ppid=14129 vsize=13980732 CPUtime=3.89 cores=0,2,4,6
/proc/14131/task/14141/stat : 14141 (java) S 14129 14129 5678 0 -1 1077944384 16567 0 0 0 388 1 0 0 20 0 15 0 10828786 14316269568 64165 18446744073709551615 4194304 4196468 140727134113648 140226884065776 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14142] ppid=14129 vsize=13980732 CPUtime=3.99 cores=0,2,4,6
/proc/14131/task/14142/stat : 14142 (java) S 14129 14129 5678 0 -1 1077944384 15915 0 0 0 397 2 0 0 20 0 15 0 10828786 14316269568 64165 18446744073709551615 4194304 4196468 140727134113648 140226883013232 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14143] ppid=14129 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/14131/task/14143/stat : 14143 (java) S 14129 14129 5678 0 -1 1077944384 5386 0 0 0 74 0 0 0 20 0 15 0 10828786 14316269568 64165 18446744073709551615 4194304 4196468 140727134113648 140226881960688 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14144] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14144/stat : 14144 (java) S 14129 14129 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10828787 14316269568 64165 18446744073709551615 4194304 4196468 140727134113648 140226880908384 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14145] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14145/stat : 14145 (java) S 14129 14129 5678 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 10828797 14316269568 64165 18446744073709551615 4194304 4196468 140727134113648 140226879854896 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
Current children cumulated CPU time (s) 14.89
Current children cumulated vsize (KiB) 13990244

[startup+12.7007 s]
/proc/loadavg: 1.92 1.80 1.83 4/211 14145
/proc/meminfo: memFree=30443144/32770624 swapFree=0/973672
[pid=14129] ppid=14126 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14129/stat : 14129 (xcsp3-exec) S 14126 14129 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10828776 9740288 345 18446744073709551615 4194304 5098028 140720513513600 140720513511704 140517598569084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 29421568 140720513515931 140720513516135 140720513516135 140720513519595 0
/proc/14129/statm: 2378 345 289 221 0 87 0
[pid=14131] ppid=14129 vsize=13980732 CPUtime=22.09 cores=0,2,4,6
/proc/14131/stat : 14131 (java) S 14129 14129 5678 0 -1 1077944320 57140 0 0 0 2195 14 0 0 20 0 15 0 10828781 14316269568 67016 18446744073709551615 4194304 4196468 140727134113648 140727134096192 140227770162935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
/proc/14131/statm: 3495183 67016 3230 1 0 3483484 0
[pid=14131/tid=14132] ppid=14129 vsize=13980732 CPUtime=12.4 cores=0,2,4,6
/proc/14131/task/14132/stat : 14132 (java) R 14129 14129 5678 0 -1 4202560 10711 0 0 0 1236 4 0 0 20 0 15 0 10828781 14316269568 67016 18446744073709551615 4194304 4196468 140727134113648 140227774400344 140227416636455 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14133] ppid=14129 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/14131/task/14133/stat : 14133 (java) S 14129 14129 5678 0 -1 1077944384 325 0 0 0 8 1 0 0 20 0 15 0 10828782 14316269568 67016 18446744073709551615 4194304 4196468 140727134113648 140227731061520 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14134] ppid=14129 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/14131/task/14134/stat : 14134 (java) S 14129 14129 5678 0 -1 1077944384 1100 0 0 0 8 0 0 0 20 0 15 0 10828782 14316269568 67016 18446744073709551615 4194304 4196468 140727134113648 140227369167760 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0

################
# More data... #
################

[pid=14131/tid=14138] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14138/stat : 14138 (java) S 14129 14129 5678 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10828784 14316269568 119241 18446744073709551615 4194304 4196468 140727134113648 140226887222176 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14139] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14139/stat : 14139 (java) S 14129 14129 5678 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10828784 14316269568 119241 18446744073709551615 4194304 4196468 140727134113648 140226886169584 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14140] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14140/stat : 14140 (java) S 14129 14129 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10828786 14316269568 119241 18446744073709551615 4194304 4196468 140727134113648 140226885118160 140227770181531 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14141] ppid=14129 vsize=13980732 CPUtime=4.35 cores=0,2,4,6
/proc/14131/task/14141/stat : 14141 (java) S 14129 14129 5678 0 -1 1077944384 21294 0 0 0 433 2 0 0 20 0 15 0 10828786 14316269568 119241 18446744073709551615 4194304 4196468 140727134113648 140226884065776 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14142] ppid=14129 vsize=13980732 CPUtime=4.4 cores=0,2,4,6
/proc/14131/task/14142/stat : 14142 (java) S 14129 14129 5678 0 -1 1077944384 20213 0 0 0 438 2 0 0 20 0 15 0 10828786 14316269568 119241 18446744073709551615 4194304 4196468 140727134113648 140226883013232 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14143] ppid=14129 vsize=13980732 CPUtime=0.8 cores=0,2,4,6
/proc/14131/task/14143/stat : 14143 (java) S 14129 14129 5678 0 -1 1077944384 9329 0 0 0 79 1 0 0 20 0 15 0 10828786 14316269568 119241 18446744073709551615 4194304 4196468 140727134113648 140226881960688 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14144] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14144/stat : 14144 (java) S 14129 14129 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10828787 14316269568 119241 18446744073709551615 4194304 4196468 140727134113648 140226880908384 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14145] ppid=14129 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/14131/task/14145/stat : 14145 (java) S 14129 14129 5678 0 -1 1077944384 352 0 0 0 2 3 0 0 20 0 15 0 10828797 14316269568 119241 18446744073709551615 4194304 4196468 140727134113648 140226879854896 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
Current children cumulated CPU time (s) 114.22
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 1.78 1.78 1.81 3/213 14178
/proc/meminfo: memFree=29998608/32770624 swapFree=0/973824
[pid=14129] ppid=14126 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14129/stat : 14129 (xcsp3-exec) S 14126 14129 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10828776 9740288 345 18446744073709551615 4194304 5098028 140720513513600 140720513511704 140517598569084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 29421568 140720513515931 140720513516135 140720513516135 140720513519595 0
/proc/14129/statm: 2378 345 289 221 0 87 0
[pid=14131] ppid=14129 vsize=13980732 CPUtime=175.88 cores=0,2,4,6
/proc/14131/stat : 14131 (java) S 14129 14129 5678 0 -1 1077944320 82666 0 0 0 17515 73 0 0 20 0 15 0 10828781 14316269568 106416 18446744073709551615 4194304 4196468 140727134113648 140727134096192 140227770162935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
/proc/14131/statm: 3495183 106416 3238 1 0 3483484 0
[pid=14131/tid=14132] ppid=14129 vsize=13980732 CPUtime=160.61 cores=0,2,4,6
/proc/14131/task/14132/stat : 14132 (java) R 14129 14129 5678 0 -1 4202560 16618 0 0 0 16055 6 0 0 20 0 15 0 10828781 14316269568 106416 18446744073709551615 4194304 4196468 140727134113648 140227774402368 140227419390445 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14133] ppid=14129 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/14131/task/14133/stat : 14133 (java) S 14129 14129 5678 0 -1 1077944384 1364 0 0 0 123 14 0 0 20 0 15 0 10828782 14316269568 106416 18446744073709551615 4194304 4196468 140727134113648 140227731061520 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14134] ppid=14129 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/14131/task/14134/stat : 14134 (java) S 14129 14129 5678 0 -1 1077944384 3068 0 0 0 123 13 0 0 20 0 15 0 10828782 14316269568 106416 18446744073709551615 4194304 4196468 140727134113648 140227369167760 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14135] ppid=14129 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/14131/task/14135/stat : 14135 (java) S 14129 14129 5678 0 -1 1077944384 1629 0 0 0 123 13 0 0 20 0 15 0 10828782 14316269568 106416 18446744073709551615 4194304 4196468 140727134113648 140227368115216 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14136] ppid=14129 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/14131/task/14136/stat : 14136 (java) S 14129 14129 5678 0 -1 1077944384 2382 0 0 0 123 14 0 0 20 0 15 0 10828782 14316269568 106416 18446744073709551615 4194304 4196468 140727134113648 140227367062672 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14137] ppid=14129 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/14131/task/14137/stat : 14137 (java) S 14129 14129 5678 0 -1 1077944384 4091 0 0 0 8 2 0 0 20 0 15 0 10828783 14316269568 106416 18446744073709551615 4194304 4196468 140727134113648 140226888275952 140227770174082 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14138] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14138/stat : 14138 (java) S 14129 14129 5678 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10828784 14316269568 106416 18446744073709551615 4194304 4196468 140727134113648 140226887222176 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14139] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14139/stat : 14139 (java) S 14129 14129 5678 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10828784 14316269568 106416 18446744073709551615 4194304 4196468 140727134113648 140226886169584 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14140] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14140/stat : 14140 (java) S 14129 14129 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10828786 14316269568 106416 18446744073709551615 4194304 4196468 140727134113648 140226885118160 140227770181531 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14141] ppid=14129 vsize=13980732 CPUtime=4.35 cores=0,2,4,6
/proc/14131/task/14141/stat : 14141 (java) S 14129 14129 5678 0 -1 1077944384 21294 0 0 0 433 2 0 0 20 0 15 0 10828786 14316269568 106416 18446744073709551615 4194304 4196468 140727134113648 140226884065776 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14142] ppid=14129 vsize=13980732 CPUtime=4.4 cores=0,2,4,6
/proc/14131/task/14142/stat : 14142 (java) S 14129 14129 5678 0 -1 1077944384 20463 0 0 0 438 2 0 0 20 0 15 0 10828786 14316269568 106416 18446744073709551615 4194304 4196468 140727134113648 140226883013232 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14143] ppid=14129 vsize=13980732 CPUtime=0.8 cores=0,2,4,6
/proc/14131/task/14143/stat : 14143 (java) S 14129 14129 5678 0 -1 1077944384 10025 0 0 0 79 1 0 0 20 0 15 0 10828786 14316269568 106416 18446744073709551615 4194304 4196468 140727134113648 140226881960688 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14144] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14144/stat : 14144 (java) S 14129 14129 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10828787 14316269568 106416 18446744073709551615 4194304 4196468 140727134113648 140226880908384 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14145] ppid=14129 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/14131/task/14145/stat : 14145 (java) S 14129 14129 5678 0 -1 1077944384 385 0 0 0 4 5 0 0 20 0 15 0 10828797 14316269568 106416 18446744073709551615 4194304 4196468 140727134113648 140226879854896 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
Current children cumulated CPU time (s) 175.88
Current children cumulated vsize (KiB) 13990244

[startup+222.307 s]
/proc/loadavg: 1.92 1.81 1.82 3/212 14180
/proc/meminfo: memFree=29791412/32770624 swapFree=0/973848
[pid=14129] ppid=14126 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14129/stat : 14129 (xcsp3-exec) S 14126 14129 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10828776 9740288 345 18446744073709551615 4194304 5098028 140720513513600 140720513511704 140517598569084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 29421568 140720513515931 140720513516135 140720513516135 140720513519595 0
/proc/14129/statm: 2378 345 289 221 0 87 0
[pid=14131] ppid=14129 vsize=13980732 CPUtime=237.47 cores=0,2,4,6
/proc/14131/stat : 14131 (java) S 14129 14129 5678 0 -1 1077944320 88804 0 0 0 23665 82 0 0 20 0 15 0 10828781 14316269568 104323 18446744073709551615 4194304 4196468 140727134113648 140727134096192 140227770162935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
/proc/14131/statm: 3495183 104323 3247 1 0 3483484 0
[pid=14131/tid=14132] ppid=14129 vsize=13980732 CPUtime=220.03 cores=0,2,4,6
/proc/14131/task/14132/stat : 14132 (java) R 14129 14129 5678 0 -1 4202560 17486 0 0 0 21997 6 0 0 20 0 15 0 10828781 14316269568 104323 18446744073709551615 4194304 4196468 140727134113648 140227774402688 140227416877317 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14133] ppid=14129 vsize=13980732 CPUtime=1.89 cores=0,2,4,6
/proc/14131/task/14133/stat : 14133 (java) S 14129 14129 5678 0 -1 1077944384 1678 0 0 0 173 16 0 0 20 0 15 0 10828782 14316269568 104323 18446744073709551615 4194304 4196468 140727134113648 140227731061520 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14134] ppid=14129 vsize=13980732 CPUtime=1.88 cores=0,2,4,6
/proc/14131/task/14134/stat : 14134 (java) S 14129 14129 5678 0 -1 1077944384 3560 0 0 0 173 15 0 0 20 0 15 0 10828782 14316269568 104323 18446744073709551615 4194304 4196468 140727134113648 140227369167760 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14135] ppid=14129 vsize=13980732 CPUtime=1.88 cores=0,2,4,6
/proc/14131/task/14135/stat : 14135 (java) S 14129 14129 5678 0 -1 1077944384 1905 0 0 0 173 15 0 0 20 0 15 0 10828782 14316269568 104323 18446744073709551615 4194304 4196468 140727134113648 140227368115216 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14136] ppid=14129 vsize=13980732 CPUtime=1.89 cores=0,2,4,6
/proc/14131/task/14136/stat : 14136 (java) S 14129 14129 5678 0 -1 1077944384 2935 0 0 0 173 16 0 0 20 0 15 0 10828782 14316269568 104323 18446744073709551615 4194304 4196468 140727134113648 140227367062672 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14137] ppid=14129 vsize=13980732 CPUtime=0.14 cores=0,2,4,6
/proc/14131/task/14137/stat : 14137 (java) S 14129 14129 5678 0 -1 1077944384 7674 0 0 0 11 3 0 0 20 0 15 0 10828783 14316269568 104323 18446744073709551615 4194304 4196468 140727134113648 140226888275952 140227770174082 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14138] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14138/stat : 14138 (java) S 14129 14129 5678 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10828784 14316269568 104323 18446744073709551615 4194304 4196468 140727134113648 140226887222176 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14139] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14139/stat : 14139 (java) S 14129 14129 5678 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10828784 14316269568 104323 18446744073709551615 4194304 4196468 140727134113648 140226886169584 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14140] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14140/stat : 14140 (java) S 14129 14129 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10828786 14316269568 104323 18446744073709551615 4194304 4196468 140727134113648 140226885118160 140227770181531 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14141] ppid=14129 vsize=13980732 CPUtime=4.35 cores=0,2,4,6
/proc/14131/task/14141/stat : 14141 (java) S 14129 14129 5678 0 -1 1077944384 21296 0 0 0 433 2 0 0 20 0 15 0 10828786 14316269568 104323 18446744073709551615 4194304 4196468 140727134113648 140226884065776 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14142] ppid=14129 vsize=13980732 CPUtime=4.4 cores=0,2,4,6
/proc/14131/task/14142/stat : 14142 (java) S 14129 14129 5678 0 -1 1077944384 20466 0 0 0 438 2 0 0 20 0 15 0 10828786 14316269568 104323 18446744073709551615 4194304 4196468 140727134113648 140226883013232 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14143] ppid=14129 vsize=13980732 CPUtime=0.8 cores=0,2,4,6
/proc/14131/task/14143/stat : 14143 (java) S 14129 14129 5678 0 -1 1077944384 10053 0 0 0 79 1 0 0 20 0 15 0 10828786 14316269568 104323 18446744073709551615 4194304 4196468 140727134113648 140226881960688 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14144] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14144/stat : 14144 (java) S 14129 14129 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10828787 14316269568 104323 18446744073709551615 4194304 4196468 140727134113648 140226880908384 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14145] ppid=14129 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/14131/task/14145/stat : 14145 (java) S 14129 14129 5678 0 -1 1077944384 404 0 0 0 6 6 0 0 20 0 15 0 10828797 14316269568 104323 18446744073709551615 4194304 4196468 140727134113648 140226879854896 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
Current children cumulated CPU time (s) 237.47
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 2.01 1.84 1.83 3/212 14258
/proc/meminfo: memFree=30553660/32770624 swapFree=0/973900
[pid=14129] ppid=14126 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14129/stat : 14129 (xcsp3-exec) S 14126 14129 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10828776 9740288 345 18446744073709551615 4194304 5098028 140720513513600 140720513511704 140517598569084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 29421568 140720513515931 140720513516135 140720513516135 140720513519595 0
/proc/14129/statm: 2378 345 289 221 0 87 0
[pid=14131] ppid=14129 vsize=13980732 CPUtime=255.6 cores=0,2,4,6
/proc/14131/stat : 14131 (java) S 14129 14129 5678 0 -1 1077944320 89280 0 0 0 25477 83 0 0 20 0 15 0 10828781 14316269568 96510 18446744073709551615 4194304 4196468 140727134113648 140727134096192 140227770162935 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
/proc/14131/statm: 3495183 96510 3247 1 0 3483484 0
[pid=14131/tid=14132] ppid=14129 vsize=13980732 CPUtime=237.56 cores=0,2,4,6
/proc/14131/task/14132/stat : 14132 (java) R 14129 14129 5678 0 -1 4202560 17681 0 0 0 23750 6 0 0 20 0 15 0 10828781 14316269568 96510 18446744073709551615 4194304 4196468 140727134113648 140227774402576 140227416630311 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14133] ppid=14129 vsize=13980732 CPUtime=2.04 cores=0,2,4,6
/proc/14131/task/14133/stat : 14133 (java) S 14129 14129 5678 0 -1 1077944384 1742 0 0 0 188 16 0 0 20 0 15 0 10828782 14316269568 96510 18446744073709551615 4194304 4196468 140727134113648 140227731061520 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14134] ppid=14129 vsize=13980732 CPUtime=2.03 cores=0,2,4,6
/proc/14131/task/14134/stat : 14134 (java) S 14129 14129 5678 0 -1 1077944384 3615 0 0 0 188 15 0 0 20 0 15 0 10828782 14316269568 96510 18446744073709551615 4194304 4196468 140727134113648 140227369167760 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14135] ppid=14129 vsize=13980732 CPUtime=2.03 cores=0,2,4,6
/proc/14131/task/14135/stat : 14135 (java) S 14129 14129 5678 0 -1 1077944384 2050 0 0 0 188 15 0 0 20 0 15 0 10828782 14316269568 96510 18446744073709551615 4194304 4196468 140727134113648 140227368115216 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14136] ppid=14129 vsize=13980732 CPUtime=2.04 cores=0,2,4,6
/proc/14131/task/14136/stat : 14136 (java) S 14129 14129 5678 0 -1 1077944384 2952 0 0 0 188 16 0 0 20 0 15 0 10828782 14316269568 96510 18446744073709551615 4194304 4196468 140727134113648 140227367062672 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14137] ppid=14129 vsize=13980732 CPUtime=0.15 cores=0,2,4,6
/proc/14131/task/14137/stat : 14137 (java) S 14129 14129 5678 0 -1 1077944384 7674 0 0 0 12 3 0 0 20 0 15 0 10828783 14316269568 96510 18446744073709551615 4194304 4196468 140727134113648 140226888275952 140227770174082 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14138] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14138/stat : 14138 (java) S 14129 14129 5678 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10828784 14316269568 96510 18446744073709551615 4194304 4196468 140727134113648 140226887222176 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14139] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14139/stat : 14139 (java) S 14129 14129 5678 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10828784 14316269568 96510 18446744073709551615 4194304 4196468 140727134113648 140226886169584 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14140] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14140/stat : 14140 (java) S 14129 14129 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10828786 14316269568 96510 18446744073709551615 4194304 4196468 140727134113648 140226885118160 140227770181531 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14141] ppid=14129 vsize=13980732 CPUtime=4.35 cores=0,2,4,6
/proc/14131/task/14141/stat : 14141 (java) S 14129 14129 5678 0 -1 1077944384 21296 0 0 0 433 2 0 0 20 0 15 0 10828786 14316269568 96510 18446744073709551615 4194304 4196468 140727134113648 140226884065776 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14142] ppid=14129 vsize=13980732 CPUtime=4.4 cores=0,2,4,6
/proc/14131/task/14142/stat : 14142 (java) S 14129 14129 5678 0 -1 1077944384 20466 0 0 0 438 2 0 0 20 0 15 0 10828786 14316269568 96510 18446744073709551615 4194304 4196468 140727134113648 140226883013232 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14143] ppid=14129 vsize=13980732 CPUtime=0.8 cores=0,2,4,6
/proc/14131/task/14143/stat : 14143 (java) S 14129 14129 5678 0 -1 1077944384 10053 0 0 0 79 1 0 0 20 0 15 0 10828786 14316269568 96510 18446744073709551615 4194304 4196468 140727134113648 140226881960688 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14144] ppid=14129 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14131/task/14144/stat : 14144 (java) S 14129 14129 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10828787 14316269568 96510 18446744073709551615 4194304 4196468 140727134113648 140226880908384 140227770173141 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
[pid=14131/tid=14145] ppid=14129 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/14131/task/14145/stat : 14145 (java) S 14129 14129 5678 0 -1 1077944384 404 0 0 0 7 6 0 0 20 0 15 0 10828797 14316269568 96510 18446744073709551615 4194304 4196468 140727134113648 140226879854896 140227770174082 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34836480 140727134118356 140727134118531 140727134118531 140727134121935 0
Current children cumulated CPU time (s) 255.6
Current children cumulated vsize (KiB) 13990244

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14131 sig 9
??? kill 14129 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14129 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1903
# CPU time returned by wait4() is 0.001903
# while last known CPU time is 255.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 240.01
CPU time (s): 255.6
CPU user time (s): 254.77
CPU system time (s): 0.83
CPU usage (%): 106.495
Max. virtual memory (cumulated for all children) (KiB): 13990244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001903
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.0821 second user time and 1.55168 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml
MD5SUM	4a86fdd9abdf3f491c5a6082e8161c48
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	211
Best CPU time to get the best result obtained on this benchmark	242.164
Satisfiable
(Un)Satisfiability was proved
Number of variables	473
Number of constraints	473
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":473}]
Minimum variable degree	5
Maximum variable degree	18
Distribution of variable degrees	[{"degree":5,"count":4},{"degree":6,"count":18},{"degree":7,"count":57},{"degree":8,"count":74},{"degree":9,"count":73},{"degree":10,"count":67},{"degree":11,"count":50},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":21},{"degree":15,"count":15},{"degree":16,"count":7},{"degree":17,"count":3},{"degree":18,"count":2}]
Minimum constraint arity	4
Maximum constraint arity	17
Distribution of constraint arities	[{"arity":4,"count":4},{"arity":5,"count":18},{"arity":6,"count":57},{"arity":7,"count":74},{"arity":8,"count":73},{"arity":9,"count":67},{"arity":10,"count":50},{"arity":11,"count":46},{"arity":12,"count":36},{"arity":13,"count":21},{"arity":14,"count":15},{"arity":15,"count":7},{"arity":16,"count":3},{"arity":17,"count":2}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":473}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4255160

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
