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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	SAT (TO)	310	2400.65	603.588
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 (9404 MiB free)
  memory of node 1: 16384 MiB (11780 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394246-1568331999/watcher-4394246-1568331999 -o /tmp/evaluation-result-4394246-1568331999/solver-4394246-1568331999 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19559 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 44428564 HOME/instance-4394246-1568331999.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29733, runsolver pid=29730
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 7.16 7.41 7.61 6/233 29749
/proc/meminfo: memFree=21677936/32770624 swapFree=66939828/67108860
[pid=29733] ppid=29730 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29733/stat : 29733 (xcsp3-exec) S 29730 29733 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409114868 115843072 362 33554432000 4194304 5098028 140731244958016 140731244956120 139715222573692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12484608 140731244966780 140731244967021 140731244967021 140731244969930 0
/proc/29733/statm: 28282 362 304 221 0 87 0
[pid=29735] ppid=29733 vsize=15144768 memory=28740 CPUtime=0.13 cores=0,2,4,6
/proc/29735/stat : 29735 (java) S 29733 29733 19528 0 -1 1077944320 5671 0 0 0 12 1 0 0 20 0 15 0 409114868 15508242432 7185 33554432000 4194304 4196468 140736597722608 140736597705152 140643312324343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
/proc/29735/statm: 3786192 7185 3116 1 0 3748377 0
[pid=29735/tid=29736] ppid=29733 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=0,2,4,6
/proc/29735/task/29736/stat : 29736 (java) R 29733 29733 19528 0 -1 4202560 3573 0 0 0 8 1 0 0 20 0 15 0 409114868 15508242432 7185 33554432000 4194304 4196468 140736597722608 140643316555664 140643296404830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29737] ppid=29733 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29737/stat : 29737 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15508242432 7185 33554432000 4194304 4196468 140736597722608 140643268876560 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29738] ppid=29733 vsize=15144768 memory=140404807587456 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29738/stat : 29738 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642903841168 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29739] ppid=29733 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29739/stat : 29739 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642902788624 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29740] ppid=29733 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29740/stat : 29740 (java) S 29733 29733 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409114869 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642901736080 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29741] ppid=29733 vsize=15144768 memory=140404807587456 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29741/stat : 29741 (java) S 29733 29733 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409114870 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642780932592 140643312335490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29742] ppid=29733 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29742/stat : 29742 (java) S 29733 29733 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409114871 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642779878816 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29743] ppid=29733 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29743/stat : 29743 (java) S 29733 29733 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409114871 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642778826224 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29744] ppid=29733 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29744/stat : 29744 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409114873 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642777774800 140643312342939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29745] ppid=29733 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29745/stat : 29745 (java) R 29733 29733 19528 0 -1 4202560 322 0 0 0 0 0 0 0 20 0 15 0 409114873 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642776721392 140643295810256 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29746] ppid=29733 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29746/stat : 29746 (java) R 29733 29733 19528 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 409114873 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642775668848 140643312335490 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29747] ppid=29733 vsize=15144768 memory=140404807587456 CPUtime=0.02 cores=0,2,4,6
/proc/29735/task/29747/stat : 29747 (java) R 29733 29733 19528 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 409114873 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642774616304 140643290475360 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29748] ppid=29733 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29748/stat : 29748 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409114874 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642773564000 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29749] ppid=29733 vsize=15144768 memory=140404807587456 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29749/stat : 29749 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114874 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642772511536 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30188 KiB

[startup+0.210757 s]*
/proc/loadavg: 7.16 7.41 7.61 7/233 29749
/proc/meminfo: memFree=21664212/32770624 swapFree=66939828/67108860
[pid=29733] ppid=29730 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29733/stat : 29733 (xcsp3-exec) S 29730 29733 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409114868 115843072 362 33554432000 4194304 5098028 140731244958016 140731244956120 139715222573692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12484608 140731244966780 140731244967021 140731244967021 140731244969930 0
/proc/29733/statm: 28282 362 304 221 0 87 0
[pid=29735] ppid=29733 vsize=15144768 memory=41204 CPUtime=0.34 cores=0,2,4,6
/proc/29735/stat : 29735 (java) S 29733 29733 19528 0 -1 1077944320 9459 0 0 0 31 3 0 0 20 0 15 0 409114868 15508242432 10301 33554432000 4194304 4196468 140736597722608 140736597705152 140643312324343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
/proc/29735/statm: 3786192 10301 3319 1 0 3748377 0
[pid=29735/tid=29736] ppid=29733 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/29735/task/29736/stat : 29736 (java) R 29733 29733 19528 0 -1 4202560 6592 0 0 0 17 2 0 0 20 0 15 0 409114868 15508242432 10301 33554432000 4194304 4196468 140736597722608 140643316558464 140643294211830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29737] ppid=29733 vsize=15144768 memory=11079 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29737/stat : 29737 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15508242432 10301 33554432000 4194304 4196468 140736597722608 140643268876560 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29738] ppid=29733 vsize=15144768 memory=3005644 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29738/stat : 29738 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642903841168 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29739] ppid=29733 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29739/stat : 29739 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642902788624 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29740] ppid=29733 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29740/stat : 29740 (java) S 29733 29733 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409114869 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642901736080 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29741] ppid=29733 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29741/stat : 29741 (java) S 29733 29733 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409114870 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642780932592 140643312335490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29742] ppid=29733 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29742/stat : 29742 (java) S 29733 29733 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409114871 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642779878816 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29743] ppid=29733 vsize=15144768 memory=140404807587456 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29743/stat : 29743 (java) S 29733 29733 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409114871 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642778826224 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29744] ppid=29733 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29744/stat : 29744 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409114873 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642777774800 140643312342939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29745] ppid=29733 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29735/task/29745/stat : 29745 (java) S 29733 29733 19528 0 -1 1077944384 596 0 0 0 2 0 0 0 20 0 15 0 409114873 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642776721392 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29746] ppid=29733 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29735/task/29746/stat : 29746 (java) S 29733 29733 19528 0 -1 1077944384 231 0 0 0 2 0 0 0 20 0 15 0 409114873 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642775668848 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29747] ppid=29733 vsize=15144768 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29735/task/29747/stat : 29747 (java) R 29733 29733 19528 0 -1 4202560 736 0 0 0 8 0 0 0 20 0 15 0 409114873 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642774616304 140643296404830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29748] ppid=29733 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29748/stat : 29748 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409114874 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642773564000 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29749] ppid=29733 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29749/stat : 29749 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114874 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642772511536 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42652 KiB

[startup+0.319348 s]*
/proc/loadavg: 7.16 7.41 7.61 7/233 29749
/proc/meminfo: memFree=21656316/32770624 swapFree=66939828/67108860
[pid=29733] ppid=29730 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29733/stat : 29733 (xcsp3-exec) S 29730 29733 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409114868 115843072 362 33554432000 4194304 5098028 140731244958016 140731244956120 139715222573692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12484608 140731244966780 140731244967021 140731244967021 140731244969930 0
/proc/29733/statm: 28282 362 304 221 0 87 0
[pid=29735] ppid=29733 vsize=15149024 memory=50516 CPUtime=0.54 cores=0,2,4,6
/proc/29735/stat : 29735 (java) S 29733 29733 19528 0 -1 1077944320 10959 0 0 0 50 4 0 0 20 0 15 0 409114868 15512600576 12629 33554432000 4194304 4196468 140736597722608 140736597705152 140643312324343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
/proc/29735/statm: 3787256 12629 3369 1 0 3748377 0
[pid=29735/tid=29736] ppid=29733 vsize=15149024 memory=7883960649037381690 CPUtime=0.31 cores=0,2,4,6
/proc/29735/task/29736/stat : 29736 (java) R 29733 29733 19528 0 -1 4202560 7849 0 0 0 28 3 0 0 20 0 15 0 409114868 15512600576 12629 33554432000 4194304 4196468 140736597722608 140643316559888 140643312346269 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29737] ppid=29733 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29737/stat : 29737 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15512600576 12629 33554432000 4194304 4196468 140736597722608 140643268876560 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29738] ppid=29733 vsize=15149024 memory=3003589 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29738/stat : 29738 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15512600576 12629 33554432000 4194304 4196468 140736597722608 140642903841168 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29739] ppid=29733 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29739/stat : 29739 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15512600576 12629 33554432000 4194304 4196468 140736597722608 140642902788624 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29740] ppid=29733 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29740/stat : 29740 (java) S 29733 29733 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409114869 15512600576 12629 33554432000 4194304 4196468 140736597722608 140642901736080 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29741] ppid=29733 vsize=15149024 memory=140404807587456 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29741/stat : 29741 (java) S 29733 29733 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409114870 15512600576 12629 33554432000 4194304 4196468 140736597722608 140642780932592 140643312335490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29742] ppid=29733 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29742/stat : 29742 (java) S 29733 29733 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409114871 15512600576 12629 33554432000 4194304 4196468 140736597722608 140642779878816 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29743] ppid=29733 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29743/stat : 29743 (java) S 29733 29733 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409114871 15512600576 12629 33554432000 4194304 4196468 140736597722608 140642778826224 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29744] ppid=29733 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29744/stat : 29744 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409114873 15512600576 12629 33554432000 4194304 4196468 140736597722608 140642777774800 140643312342939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29745] ppid=29733 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/29735/task/29745/stat : 29745 (java) S 29733 29733 19528 0 -1 1077944384 727 0 0 0 5 0 0 0 20 0 15 0 409114873 15512600576 12694 33554432000 4194304 4196468 140736597722608 140642776721392 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29746] ppid=29733 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/29735/task/29746/stat : 29746 (java) S 29733 29733 19528 0 -1 1077944384 242 0 0 0 4 0 0 0 20 0 15 0 409114873 15512600576 12694 33554432000 4194304 4196468 140736597722608 140642775668848 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29747] ppid=29733 vsize=15149024 memory=140404807587456 CPUtime=0.12 cores=0,2,4,6
/proc/29735/task/29747/stat : 29747 (java) S 29733 29733 19528 0 -1 1077944384 835 0 0 0 12 0 0 0 20 0 15 0 409114873 15512600576 12694 33554432000 4194304 4196468 140736597722608 140642774616304 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29748] ppid=29733 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29748/stat : 29748 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409114874 15512600576 12694 33554432000 4194304 4196468 140736597722608 140642773564000 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29749] ppid=29733 vsize=15149024 memory=140404807587456 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29749/stat : 29749 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114874 15512600576 12694 33554432000 4194304 4196468 140736597722608 140642772511536 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51964 KiB

[startup+0.708341 s]
/proc/loadavg: 7.16 7.41 7.61 8/233 29749
/proc/meminfo: memFree=21633948/32770624 swapFree=66939828/67108860
[pid=29733] ppid=29730 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29733/stat : 29733 (xcsp3-exec) S 29730 29733 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409114868 115843072 362 33554432000 4194304 5098028 140731244958016 140731244956120 139715222573692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12484608 140731244966780 140731244967021 140731244967021 140731244969930 0
/proc/29733/statm: 28282 362 304 221 0 87 0
[pid=29735] ppid=29733 vsize=15152172 memory=117348 CPUtime=1.82 cores=0,2,4,6
/proc/29735/stat : 29735 (java) S 29733 29733 19528 0 -1 1077944320 14464 0 0 0 177 5 0 0 20 0 15 0 409114868 15515824128 29307 33554432000 4194304 4196468 140736597722608 140736597705152 140643312324343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
/proc/29735/statm: 3788043 29307 3448 1 0 3749145 0
[pid=29735/tid=29736] ppid=29733 vsize=15152172 memory=2116 CPUtime=0.69 cores=0,2,4,6
/proc/29735/task/29736/stat : 29736 (java) R 29733 29733 19528 0 -1 4202560 8586 0 0 0 65 4 0 0 20 0 15 0 409114868 15515824128 29337 33554432000 4194304 4196468 140736597722608 140643316538592 140643305004061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29737] ppid=29733 vsize=15152172 memory=520 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29737/stat : 29737 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15515824128 29337 33554432000 4194304 4196468 140736597722608 140643268876560 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29738] ppid=29733 vsize=15152172 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29738/stat : 29738 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15515824128 29337 33554432000 4194304 4196468 140736597722608 140642903841168 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29739] ppid=29733 vsize=15151148 memory=924 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29739/stat : 29739 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15514775552 29337 33554432000 4194304 4196468 140736597722608 140642902788624 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29740] ppid=29733 vsize=15152172 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29740/stat : 29740 (java) S 29733 29733 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409114869 15515824128 29337 33554432000 4194304 4196468 140736597722608 140642901736080 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29741] ppid=29733 vsize=15152172 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29741/stat : 29741 (java) S 29733 29733 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409114870 15515824128 29337 33554432000 4194304 4196468 140736597722608 140642780932592 140643312335490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29742] ppid=29733 vsize=15152172 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29742/stat : 29742 (java) S 29733 29733 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409114871 15515824128 29337 33554432000 4194304 4196468 140736597722608 140642779878816 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29743] ppid=29733 vsize=15151148 memory=804 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29743/stat : 29743 (java) S 29733 29733 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409114871 15514775552 29337 33554432000 4194304 4196468 140736597722608 140642778826224 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29744] ppid=29733 vsize=15151148 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29744/stat : 29744 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409114873 15514775552 29337 33554432000 4194304 4196468 140736597722608 140642777774800 140643312342939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29745] ppid=29733 vsize=15152172 memory=7302135314614015848 CPUtime=0.39 cores=0,2,4,6
/proc/29735/task/29745/stat : 29745 (java) R 29733 29733 19528 0 -1 4202560 1525 0 0 0 39 0 0 0 20 0 15 0 409114873 15515824128 29337 33554432000 4194304 4196468 140736597722608 140642776714352 140643295818483 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29746] ppid=29733 vsize=15152172 memory=7372501795344050801 CPUtime=0.39 cores=0,2,4,6
/proc/29735/task/29746/stat : 29746 (java) R 29733 29733 19528 0 -1 4202560 1385 0 0 0 39 0 0 0 20 0 15 0 409114873 15515824128 29337 33554432000 4194304 4196468 140736597722608 140642775655984 140643305041306 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29747] ppid=29733 vsize=15152172 memory=7223887401239728208 CPUtime=0.32 cores=0,2,4,6
/proc/29735/task/29747/stat : 29747 (java) R 29733 29733 19528 0 -1 4202560 1664 0 0 0 32 0 0 0 20 0 15 0 409114873 15515824128 29346 33554432000 4194304 4196468 140736597722608 140642774616304 140643291285312 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29748] ppid=29733 vsize=15151148 memory=7368002589315584080 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29748/stat : 29748 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409114874 15514775552 29346 33554432000 4194304 4196468 140736597722608 140642773564000 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29749] ppid=29733 vsize=15151148 memory=7954309567434023767 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29749/stat : 29749 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114874 15514775552 29346 33554432000 4194304 4196468 140736597722608 140642772511536 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 15265300 KiB
Current children cumulated memory: 118796 KiB

[startup+1.51034 s]
/proc/loadavg: 7.16 7.41 7.61 9/233 29749
/proc/meminfo: memFree=21512812/32770624 swapFree=66939828/67108860
[pid=29733] ppid=29730 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29733/stat : 29733 (xcsp3-exec) S 29730 29733 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409114868 115843072 362 33554432000 4194304 5098028 140731244958016 140731244956120 139715222573692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12484608 140731244966780 140731244967021 140731244967021 140731244969930 0
/proc/29733/statm: 28282 362 304 221 0 87 0

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

/proc/29735/stat : 29735 (java) S 29733 29733 19528 0 -1 1077944320 89307 0 0 0 231565 45 0 0 20 0 19 0 409114868 15856635904 206579 33554432000 4194304 4196468 140736597722608 140736597705152 140643312324343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
/proc/29735/statm: 3871249 206579 3519 1 0 3832351 0
[pid=29735/tid=29736] ppid=29733 vsize=15484996 memory=824268 CPUtime=1.35 cores=0,2,4,6
/proc/29735/task/29736/stat : 29736 (java) S 29733 29733 19528 0 -1 1077944384 9430 0 0 0 130 5 0 0 20 0 19 0 409114868 15856635904 206579 33554432000 4194304 4196468 140736597722608 140643316565120 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29737] ppid=29733 vsize=15484996 memory=826316 CPUtime=0.2 cores=0,2,4,6
/proc/29735/task/29737/stat : 29737 (java) S 29733 29733 19528 0 -1 1077944384 1507 0 0 0 17 3 0 0 20 0 19 0 409114869 15856635904 206579 33554432000 4194304 4196468 140736597722608 140643268876560 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29738] ppid=29733 vsize=15484996 memory=1448 CPUtime=0.2 cores=0,2,4,6
/proc/29735/task/29738/stat : 29738 (java) S 29733 29733 19528 0 -1 1077944384 3819 0 0 0 17 3 0 0 20 0 19 0 409114869 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642903841168 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29739] ppid=29733 vsize=15484996 memory=826316 CPUtime=0.2 cores=0,2,4,6
/proc/29735/task/29739/stat : 29739 (java) S 29733 29733 19528 0 -1 1077944384 2828 0 0 0 17 3 0 0 20 0 19 0 409114869 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642902788624 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29740] ppid=29733 vsize=15484996 memory=1448 CPUtime=0.21 cores=0,2,4,6
/proc/29735/task/29740/stat : 29740 (java) S 29733 29733 19528 0 -1 1077944384 1330 0 0 0 18 3 0 0 20 0 19 0 409114869 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642901736080 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29741] ppid=29733 vsize=15484996 memory=280809392123936 CPUtime=0.09 cores=0,2,4,6
/proc/29735/task/29741/stat : 29741 (java) S 29733 29733 19528 0 -1 1077944384 3535 0 0 0 7 2 0 0 20 0 19 0 409114870 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642780932592 140643312335490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29742] ppid=29733 vsize=15484996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29742/stat : 29742 (java) S 29733 29733 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409114871 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642779878880 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29743] ppid=29733 vsize=15484996 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29743/stat : 29743 (java) S 29733 29733 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409114871 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642778826240 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29744] ppid=29733 vsize=15484996 memory=826316 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29744/stat : 29744 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409114873 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642777774800 140643312342939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29745] ppid=29733 vsize=15484996 memory=1448 CPUtime=3.09 cores=0,2,4,6
/proc/29735/task/29745/stat : 29745 (java) S 29733 29733 19528 0 -1 1077944384 23136 0 0 0 307 2 0 0 20 0 19 0 409114873 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642776721392 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29746] ppid=29733 vsize=15484996 memory=1448 CPUtime=2.56 cores=0,2,4,6
/proc/29735/task/29746/stat : 29746 (java) S 29733 29733 19528 0 -1 1077944384 16032 0 0 0 255 1 0 0 20 0 19 0 409114873 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642775668848 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29747] ppid=29733 vsize=15484996 memory=824268 CPUtime=0.79 cores=0,2,4,6
/proc/29735/task/29747/stat : 29747 (java) S 29733 29733 19528 0 -1 1077944384 7620 0 0 0 78 1 0 0 20 0 19 0 409114873 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642774616304 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29748] ppid=29733 vsize=15484996 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29748/stat : 29748 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409114874 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642773564000 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29749] ppid=29733 vsize=15484996 memory=1448 CPUtime=0.17 cores=0,2,4,6
/proc/29735/task/29749/stat : 29749 (java) S 29733 29733 19528 0 -1 1077944384 918 0 0 0 0 17 0 0 20 0 19 0 409114874 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642772511536 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29841] ppid=29733 vsize=15484996 memory=1448 CPUtime=499.05 cores=0,2,4,6
/proc/29735/task/29841/stat : 29841 (java) R 29733 29733 19528 0 -1 4202560 962 0 0 0 49905 0 0 0 20 0 19 0 409122987 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642759088792 140642955478007 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29842] ppid=29733 vsize=15484996 memory=826316 CPUtime=498.8 cores=0,2,4,6
/proc/29735/task/29842/stat : 29842 (java) R 29733 29733 19528 0 -1 4202560 5372 0 0 0 49877 3 0 0 20 0 19 0 409122987 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642761198160 140642956558871 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29843] ppid=29733 vsize=15484996 memory=1448 CPUtime=496.41 cores=0,2,4,6
/proc/29735/task/29843/stat : 29843 (java) R 29733 29733 19528 0 -1 4202560 1011 0 0 0 49641 0 0 0 20 0 19 0 409122987 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642760142856 140642955477935 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29844] ppid=29733 vsize=15484996 memory=826316 CPUtime=498.61 cores=0,2,4,6
/proc/29735/task/29844/stat : 29844 (java) R 29733 29733 19528 0 -1 4202560 3905 0 0 0 49855 6 0 0 20 0 19 0 409122987 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642758037552 140642955478027 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
Current children cumulated CPU time: 2316.1 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 827764 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+603.501 s]
/proc/loadavg: 8.21 8.22 7.99 12/237 30059
/proc/meminfo: memFree=21289168/32770624 swapFree=66939828/67108860
[pid=29733] ppid=29730 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29733/stat : 29733 (xcsp3-exec) S 29730 29733 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409114868 115843072 362 33554432000 4194304 5098028 140731244958016 140731244956120 139715222573692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12484608 140731244966780 140731244967021 140731244967021 140731244969930 0
/proc/29733/statm: 28282 362 304 221 0 87 0
[pid=29735] ppid=29733 vsize=15484996 memory=828364 CPUtime=2400.33 cores=0,2,4,6
/proc/29735/stat : 29735 (java) S 29733 29733 19528 0 -1 1077944320 89427 0 0 0 239987 46 0 0 20 0 19 0 409114868 15856635904 207091 33554432000 4194304 4196468 140736597722608 140736597705152 140643312324343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
/proc/29735/statm: 3871249 207091 3519 1 0 3832351 0
[pid=29735/tid=29736] ppid=29733 vsize=15484996 memory=828364 CPUtime=1.35 cores=0,2,4,6
/proc/29735/task/29736/stat : 29736 (java) S 29733 29733 19528 0 -1 1077944384 9430 0 0 0 130 5 0 0 20 0 19 0 409114868 15856635904 207091 33554432000 4194304 4196468 140736597722608 140643316565120 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29737] ppid=29733 vsize=15484996 memory=826316 CPUtime=0.25 cores=0,2,4,6
/proc/29735/task/29737/stat : 29737 (java) S 29733 29733 19528 0 -1 1077944384 1520 0 0 0 22 3 0 0 20 0 19 0 409114869 15856635904 207091 33554432000 4194304 4196468 140736597722608 140643268876560 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29738] ppid=29733 vsize=15484996 memory=828364 CPUtime=0.24 cores=0,2,4,6
/proc/29735/task/29738/stat : 29738 (java) S 29733 29733 19528 0 -1 1077944384 3834 0 0 0 21 3 0 0 20 0 19 0 409114869 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642903841168 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29739] ppid=29733 vsize=15484996 memory=1448 CPUtime=0.24 cores=0,2,4,6
/proc/29735/task/29739/stat : 29739 (java) S 29733 29733 19528 0 -1 1077944384 2837 0 0 0 21 3 0 0 20 0 19 0 409114869 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642902788624 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29740] ppid=29733 vsize=15484996 memory=828364 CPUtime=0.25 cores=0,2,4,6
/proc/29735/task/29740/stat : 29740 (java) S 29733 29733 19528 0 -1 1077944384 1341 0 0 0 22 3 0 0 20 0 19 0 409114869 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642901736080 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29741] ppid=29733 vsize=15484996 memory=828364 CPUtime=0.11 cores=0,2,4,6
/proc/29735/task/29741/stat : 29741 (java) S 29733 29733 19528 0 -1 1077944384 3538 0 0 0 8 3 0 0 20 0 19 0 409114870 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642780932592 140643312335490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29742] ppid=29733 vsize=15484996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29742/stat : 29742 (java) S 29733 29733 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409114871 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642779878880 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29743] ppid=29733 vsize=15484996 memory=826316 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29743/stat : 29743 (java) S 29733 29733 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409114871 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642778826240 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29744] ppid=29733 vsize=15484996 memory=828364 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29744/stat : 29744 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409114873 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642777774800 140643312342939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29745] ppid=29733 vsize=15484996 memory=828364 CPUtime=3.09 cores=0,2,4,6
/proc/29735/task/29745/stat : 29745 (java) S 29733 29733 19528 0 -1 1077944384 23136 0 0 0 307 2 0 0 20 0 19 0 409114873 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642776721392 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29746] ppid=29733 vsize=15484996 memory=1448 CPUtime=2.56 cores=0,2,4,6
/proc/29735/task/29746/stat : 29746 (java) S 29733 29733 19528 0 -1 1077944384 16032 0 0 0 255 1 0 0 20 0 19 0 409114873 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642775668848 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29747] ppid=29733 vsize=15484996 memory=1448 CPUtime=0.79 cores=0,2,4,6
/proc/29735/task/29747/stat : 29747 (java) S 29733 29733 19528 0 -1 1077944384 7620 0 0 0 78 1 0 0 20 0 19 0 409114873 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642774616304 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29748] ppid=29733 vsize=15484996 memory=38296 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29748/stat : 29748 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409114874 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642773564000 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29749] ppid=29733 vsize=15484996 memory=828364 CPUtime=0.18 cores=0,2,4,6
/proc/29735/task/29749/stat : 29749 (java) S 29733 29733 19528 0 -1 1077944384 918 0 0 0 0 18 0 0 20 0 19 0 409114874 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642772511536 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29841] ppid=29733 vsize=15484996 memory=3504 CPUtime=520.08 cores=0,2,4,6
/proc/29735/task/29841/stat : 29841 (java) R 29733 29733 19528 0 -1 4202560 975 0 0 0 52008 0 0 0 20 0 19 0 409122987 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642759088872 140642955477930 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29842] ppid=29733 vsize=15484996 memory=1448 CPUtime=519.78 cores=0,2,4,6
/proc/29735/task/29842/stat : 29842 (java) R 29733 29733 19528 0 -1 4202560 5403 0 0 0 51975 3 0 0 20 0 19 0 409122987 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642761198048 140642955478012 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29843] ppid=29733 vsize=15484996 memory=828364 CPUtime=517.45 cores=0,2,4,6
/proc/29735/task/29843/stat : 29843 (java) R 29733 29733 19528 0 -1 4202560 1022 0 0 0 51745 0 0 0 20 0 19 0 409122987 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642760142936 140642955489626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29844] ppid=29733 vsize=15484996 memory=1448 CPUtime=519.59 cores=0,2,4,6
/proc/29735/task/29844/stat : 29844 (java) R 29733 29733 19528 0 -1 4202560 3919 0 0 0 51953 6 0 0 20 0 19 0 409122987 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642758037472 140642955598829 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
Current children cumulated CPU time: 2400.33 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 829812 KiB

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

[startup+603.534 s]
# the end of solver process 29733 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001162 s, system=0.001162 s

[startup+603.588 s]
# the end of solver process 29735 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2400.17 s, system=0.480227 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+603.501 s]
/proc/loadavg: 8.21 8.22 7.99 12/237 30059
/proc/meminfo: memFree=21289168/32770624 swapFree=66939828/67108860
[pid=29733] ppid=29730 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29733/stat : 29733 (xcsp3-exec) S 29730 29733 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409114868 115843072 362 33554432000 4194304 5098028 140731244958016 140731244956120 139715222573692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12484608 140731244966780 140731244967021 140731244967021 140731244969930 0
/proc/29733/statm: 28282 362 304 221 0 87 0
[pid=29735] ppid=29733 vsize=15484996 memory=828364 CPUtime=2400.33 cores=0,2,4,6
/proc/29735/stat : 29735 (java) S 29733 29733 19528 0 -1 1077944320 89427 0 0 0 239987 46 0 0 20 0 19 0 409114868 15856635904 207091 33554432000 4194304 4196468 140736597722608 140736597705152 140643312324343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
/proc/29735/statm: 3871249 207091 3519 1 0 3832351 0
[pid=29735/tid=29736] ppid=29733 vsize=15484996 memory=828364 CPUtime=1.35 cores=0,2,4,6
/proc/29735/task/29736/stat : 29736 (java) S 29733 29733 19528 0 -1 1077944384 9430 0 0 0 130 5 0 0 20 0 19 0 409114868 15856635904 207091 33554432000 4194304 4196468 140736597722608 140643316565120 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29737] ppid=29733 vsize=15484996 memory=826316 CPUtime=0.25 cores=0,2,4,6
/proc/29735/task/29737/stat : 29737 (java) S 29733 29733 19528 0 -1 1077944384 1520 0 0 0 22 3 0 0 20 0 19 0 409114869 15856635904 207091 33554432000 4194304 4196468 140736597722608 140643268876560 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29738] ppid=29733 vsize=15484996 memory=828364 CPUtime=0.24 cores=0,2,4,6
/proc/29735/task/29738/stat : 29738 (java) S 29733 29733 19528 0 -1 1077944384 3834 0 0 0 21 3 0 0 20 0 19 0 409114869 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642903841168 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29739] ppid=29733 vsize=15484996 memory=1448 CPUtime=0.24 cores=0,2,4,6
/proc/29735/task/29739/stat : 29739 (java) S 29733 29733 19528 0 -1 1077944384 2837 0 0 0 21 3 0 0 20 0 19 0 409114869 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642902788624 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29740] ppid=29733 vsize=15484996 memory=828364 CPUtime=0.25 cores=0,2,4,6
/proc/29735/task/29740/stat : 29740 (java) S 29733 29733 19528 0 -1 1077944384 1341 0 0 0 22 3 0 0 20 0 19 0 409114869 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642901736080 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29741] ppid=29733 vsize=15484996 memory=828364 CPUtime=0.11 cores=0,2,4,6
/proc/29735/task/29741/stat : 29741 (java) S 29733 29733 19528 0 -1 1077944384 3538 0 0 0 8 3 0 0 20 0 19 0 409114870 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642780932592 140643312335490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29742] ppid=29733 vsize=15484996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29742/stat : 29742 (java) S 29733 29733 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409114871 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642779878880 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29743] ppid=29733 vsize=15484996 memory=826316 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29743/stat : 29743 (java) S 29733 29733 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409114871 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642778826240 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29744] ppid=29733 vsize=15484996 memory=828364 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29744/stat : 29744 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409114873 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642777774800 140643312342939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29745] ppid=29733 vsize=15484996 memory=828364 CPUtime=3.09 cores=0,2,4,6
/proc/29735/task/29745/stat : 29745 (java) S 29733 29733 19528 0 -1 1077944384 23136 0 0 0 307 2 0 0 20 0 19 0 409114873 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642776721392 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29746] ppid=29733 vsize=15484996 memory=1448 CPUtime=2.56 cores=0,2,4,6
/proc/29735/task/29746/stat : 29746 (java) S 29733 29733 19528 0 -1 1077944384 16032 0 0 0 255 1 0 0 20 0 19 0 409114873 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642775668848 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29747] ppid=29733 vsize=15484996 memory=1448 CPUtime=0.79 cores=0,2,4,6
/proc/29735/task/29747/stat : 29747 (java) S 29733 29733 19528 0 -1 1077944384 7620 0 0 0 78 1 0 0 20 0 19 0 409114873 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642774616304 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29748] ppid=29733 vsize=15484996 memory=38296 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29748/stat : 29748 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409114874 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642773564000 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29749] ppid=29733 vsize=15484996 memory=828364 CPUtime=0.18 cores=0,2,4,6
/proc/29735/task/29749/stat : 29749 (java) S 29733 29733 19528 0 -1 1077944384 918 0 0 0 0 18 0 0 20 0 19 0 409114874 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642772511536 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29841] ppid=29733 vsize=15484996 memory=3504 CPUtime=520.08 cores=0,2,4,6
/proc/29735/task/29841/stat : 29841 (java) R 29733 29733 19528 0 -1 4202560 975 0 0 0 52008 0 0 0 20 0 19 0 409122987 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642759088872 140642955477930 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29842] ppid=29733 vsize=15484996 memory=1448 CPUtime=519.78 cores=0,2,4,6
/proc/29735/task/29842/stat : 29842 (java) R 29733 29733 19528 0 -1 4202560 5403 0 0 0 51975 3 0 0 20 0 19 0 409122987 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642761198048 140642955478012 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29843] ppid=29733 vsize=15484996 memory=828364 CPUtime=517.45 cores=0,2,4,6
/proc/29735/task/29843/stat : 29843 (java) R 29733 29733 19528 0 -1 4202560 1022 0 0 0 51745 0 0 0 20 0 19 0 409122987 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642760142936 140642955489626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29844] ppid=29733 vsize=15484996 memory=1448 CPUtime=519.59 cores=0,2,4,6
/proc/29735/task/29844/stat : 29844 (java) R 29733 29733 19528 0 -1 4202560 3919 0 0 0 51953 6 0 0 20 0 19 0 409122987 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642758037472 140642955598829 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
Current children cumulated CPU time: 2400.33 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 829812 KiB

Child status: 143
Real time (s): 603.588
CPU time (s): 2400.65
CPU user time (s): 2400.17
CPU system time (s): 0.480227
CPU usage (%): 397.731
Max. virtual memory (cumulated for all children) (KiB): 15599756
Max. memory (cumulated for all children) (KiB): 1135016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.17
system time used= 0.480227
maximum resident set size= 1146660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90505
page faults= 0
swaps= 0
block input operations= 0
block output operations= 800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19254
involuntary context switches= 43918


# summary of solver processes directly reported to runsolver:
#   pid: 29733,29735
#   total CPU time (s): 2400.65
#   total CPU user time (s): 2400.17
#   total CPU system time (s): 0.480227

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.86007 second user time and 6.73019 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32e3.xml
MD5SUM	bcb3f3ceeead4664bdf41fd123f1defa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	310
Best CPU time to get the best result obtained on this benchmark	91.9577
Satisfiable
(Un)Satisfiability was proved
Number of variables	660
Number of constraints	5350
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":660}]
Minimum variable degree	3
Maximum variable degree	107
Distribution of variable degrees	[{"degree":3,"count":138},{"degree":12,"count":3},{"degree":13,"count":3},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":3},{"degree":18,"count":3},{"degree":19,"count":3},{"degree":20,"count":6},{"degree":21,"count":15},{"degree":22,"count":3},{"degree":23,"count":9},{"degree":24,"count":30},{"degree":25,"count":3},{"degree":26,"count":18},{"degree":27,"count":3},{"degree":28,"count":30},{"degree":29,"count":9},{"degree":30,"count":3},{"degree":31,"count":15},{"degree":32,"count":6},{"degree":33,"count":3},{"degree":34,"count":141},{"degree":36,"count":3},{"degree":37,"count":3},"...",{"degree":71,"count":3}, {"degree":72,"count":3}, {"degree":73,"count":6}, {"degree":74,"count":12}, {"degree":75,"count":6}, {"degree":76,"count":3}, {"degree":77,"count":12}, {"degree":78,"count":18}, {"degree":79,"count":12}, {"degree":80,"count":18}, {"degree":81,"count":12}, {"degree":82,"count":3}, {"degree":83,"count":6}, {"degree":84,"count":12}, {"degree":85,"count":6}, {"degree":86,"count":3}, {"degree":87,"count":3}, {"degree":89,"count":3}, {"degree":91,"count":3}, {"degree":92,"count":6}, {"degree":93,"count":3}, {"degree":94,"count":3}, {"degree":95,"count":3}, {"degree":96,"count":3}, {"degree":107,"count":3}]
Minimum constraint arity	2
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":2,"count":4842},{"arity":3,"count":46},{"arity":32,"count":462}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":5350}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4394246

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
