2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	SAT (TO)	222	2520.05	2491.3301
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 (15409 MiB free)
  memory of node 1: 16384 MiB (14664 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269175-1502816598/watcher-4269175-1502816598 -o /tmp/evaluation-result-4269175-1502816598/solver-4269175-1502816598 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 441009890 HOME/instance-4269175-1502816598.xml 

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

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


[startup+0.100092 s]*
/proc/loadavg: 1.36 1.40 1.53 4/210 22777
/proc/meminfo: memFree=30755644/32770624 swapFree=67108764/67108860
[pid=22767] ppid=22764 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22767/stat : 22767 (xcsp3-exec) S 22764 22767 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 129166385 9740288 345 18446744073709551615 4194304 5098028 140720423841104 140720423839208 139764455965308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 23289856 140720423846265 140720423846469 140720423846469 140720423849963 0
/proc/22767/statm: 2378 345 289 221 0 87 0
[pid=22769] ppid=22767 vsize=13574484 memory=18900 CPUtime=0.04 cores=0,2,4,6
/proc/22769/stat : 22769 (java) S 22767 22767 4674 0 -1 1077944320 4089 0 0 0 4 0 0 0 20 0 9 0 129166390 13900271616 4725 18446744073709551615 4194304 4196468 140734172840768 140734172823312 140599211273975 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
/proc/22769/statm: 3393621 4725 2138 1 0 3383118 0
[pid=22769/tid=22770] ppid=22767 vsize=13574484 memory=8508281356422055842 CPUtime=0.03 cores=0,2,4,6
/proc/22769/task/22770/stat : 22770 (java) R 22767 22767 4674 0 -1 4202560 2797 0 0 0 3 0 0 0 20 0 9 0 129166391 13900271616 4725 18446744073709551615 4194304 4196468 140734172840768 140599215509368 140599197342094 0 4 1 16800970 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22771] ppid=22767 vsize=13574484 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22771/stat : 22771 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 129166391 13900271616 4725 18446744073709551615 4194304 4196468 140734172840768 140599178832912 140599211284181 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22772] ppid=22767 vsize=13574484 memory=140609282004608 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22772/stat : 22772 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 129166391 13900271616 4725 18446744073709551615 4194304 4196468 140734172840768 140598810070160 140599211284181 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22773] ppid=22767 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22773/stat : 22773 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 129166391 13900271616 4725 18446744073709551615 4194304 4196468 140734172840768 140598809017104 140599211284181 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22774] ppid=22767 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22774/stat : 22774 (java) S 22767 22767 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 129166391 13900271616 4725 18446744073709551615 4194304 4196468 140734172840768 140598807964560 140599211284181 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22775] ppid=22767 vsize=13574484 memory=140609282004608 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22775/stat : 22775 (java) S 22767 22767 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 129166393 13900271616 4725 18446744073709551615 4194304 4196468 140734172840768 140598127716592 140599211285122 0 0 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22776] ppid=22767 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22776/stat : 22776 (java) S 22767 22767 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 129166393 13900271616 4725 18446744073709551615 4194304 4196468 140734172840768 140598126662816 140599211284181 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22777] ppid=22767 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22777/stat : 22777 (java) S 22767 22767 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 129166393 13900271616 4725 18446744073709551615 4194304 4196468 140734172840768 140598125609712 140599211284181 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20280 KiB

[startup+0.210326 s]*
/proc/loadavg: 1.36 1.40 1.53 3/216 22783
/proc/meminfo: memFree=30749716/32770624 swapFree=67108764/67108860
[pid=22767] ppid=22764 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22767/stat : 22767 (xcsp3-exec) S 22764 22767 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 129166385 9740288 345 18446744073709551615 4194304 5098028 140720423841104 140720423839208 139764455965308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 23289856 140720423846265 140720423846469 140720423846469 140720423849963 0
/proc/22767/statm: 2378 345 289 221 0 87 0
[pid=22769] ppid=22767 vsize=13974352 memory=26916 CPUtime=0.09 cores=0,2,4,6
/proc/22769/stat : 22769 (java) S 22767 22767 4674 0 -1 1077944320 5135 0 0 0 8 1 0 0 20 0 15 0 129166390 14309736448 6729 18446744073709551615 4194304 4196468 140734172840768 140734172823312 140599211273975 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
/proc/22769/statm: 3493588 6729 2756 1 0 3482964 0
[pid=22769/tid=22770] ppid=22767 vsize=13974352 memory=7022364594140610616 CPUtime=0.07 cores=0,2,4,6
/proc/22769/task/22770/stat : 22770 (java) R 22767 22767 4674 0 -1 4202560 3297 0 0 0 6 1 0 0 20 0 15 0 129166391 14309736448 6729 18446744073709551615 4194304 4196468 140734172840768 140599215469072 140599195354462 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22771] ppid=22767 vsize=13974352 memory=4294979926 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22771/stat : 22771 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129166391 14309736448 6729 18446744073709551615 4194304 4196468 140734172840768 140599178832912 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22772] ppid=22767 vsize=13974352 memory=288370985433716352 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22772/stat : 22772 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129166391 14309736448 6729 18446744073709551615 4194304 4196468 140734172840768 140598810070160 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22773] ppid=22767 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22773/stat : 22773 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129166391 14309736448 6729 18446744073709551615 4194304 4196468 140734172840768 140598809017104 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22774] ppid=22767 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22774/stat : 22774 (java) S 22767 22767 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 129166391 14309736448 6729 18446744073709551615 4194304 4196468 140734172840768 140598807964560 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22775] ppid=22767 vsize=13974352 memory=140609282004608 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22775/stat : 22775 (java) S 22767 22767 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 129166393 14309736448 6729 18446744073709551615 4194304 4196468 140734172840768 140598127716592 140599211285122 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22776] ppid=22767 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22776/stat : 22776 (java) S 22767 22767 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 129166393 14309736448 6729 18446744073709551615 4194304 4196468 140734172840768 140598126662816 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22777] ppid=22767 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22777/stat : 22777 (java) S 22767 22767 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 129166393 14309736448 6729 18446744073709551615 4194304 4196468 140734172840768 140598125609712 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22778] ppid=22767 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22778/stat : 22778 (java) S 22767 22767 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129166396 14309736448 6729 18446744073709551615 4194304 4196468 140734172840768 140598124558288 140599211292571 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22779] ppid=22767 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22779/stat : 22779 (java) S 22767 22767 4674 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 129166396 14309736448 6729 18446744073709551615 4194304 4196468 140734172840768 140598123506416 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22780] ppid=22767 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22780/stat : 22780 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129166396 14309736448 6729 18446744073709551615 4194304 4196468 140734172840768 140598122453872 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22781] ppid=22767 vsize=13974352 memory=140609282004608 CPUtime=0.01 cores=0,2,4,6
/proc/22769/task/22781/stat : 22781 (java) S 22767 22767 4674 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 15 0 129166396 14309736448 6729 18446744073709551615 4194304 4196468 140734172840768 140598121400816 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22782] ppid=22767 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22782/stat : 22782 (java) S 22767 22767 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129166396 14309736448 6729 18446744073709551615 4194304 4196468 140734172840768 140598120348512 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22783] ppid=22767 vsize=13974352 memory=140609282004608 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22783/stat : 22783 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129166404 14309736448 6729 18446744073709551615 4194304 4196468 140734172840768 140598119295536 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28296 KiB

[startup+0.310673 s]*
/proc/loadavg: 1.36 1.40 1.53 4/216 22783
/proc/meminfo: memFree=30708728/32770624 swapFree=67108764/67108860
[pid=22767] ppid=22764 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22767/stat : 22767 (xcsp3-exec) S 22764 22767 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 129166385 9740288 345 18446744073709551615 4194304 5098028 140720423841104 140720423839208 139764455965308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 23289856 140720423846265 140720423846469 140720423846469 140720423849963 0
/proc/22767/statm: 2378 345 289 221 0 87 0
[pid=22769] ppid=22767 vsize=13974352 memory=37320 CPUtime=0.28 cores=0,2,4,6
/proc/22769/stat : 22769 (java) S 22767 22767 4674 0 -1 1077944320 8937 0 0 0 25 3 0 0 20 0 15 0 129166390 14309736448 9330 18446744073709551615 4194304 4196468 140734172840768 140734172823312 140599211273975 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
/proc/22769/statm: 3493588 9330 2976 1 0 3482964 0
[pid=22769/tid=22770] ppid=22767 vsize=13974352 memory=4278483708103473607 CPUtime=0.17 cores=0,2,4,6
/proc/22769/task/22770/stat : 22770 (java) R 22767 22767 4674 0 -1 4202560 6137 0 0 0 15 2 0 0 20 0 15 0 129166391 14309736448 9330 18446744073709551615 4194304 4196468 140734172840768 140599215501600 140599211295901 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22771] ppid=22767 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22771/stat : 22771 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129166391 14309736448 9330 18446744073709551615 4194304 4196468 140734172840768 140599178832912 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22772] ppid=22767 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22772/stat : 22772 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129166391 14309736448 9330 18446744073709551615 4194304 4196468 140734172840768 140598810070160 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22773] ppid=22767 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22773/stat : 22773 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129166391 14309736448 9330 18446744073709551615 4194304 4196468 140734172840768 140598809017104 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22774] ppid=22767 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22774/stat : 22774 (java) S 22767 22767 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 129166391 14309736448 9330 18446744073709551615 4194304 4196468 140734172840768 140598807964560 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22775] ppid=22767 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22775/stat : 22775 (java) S 22767 22767 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 129166393 14309736448 9330 18446744073709551615 4194304 4196468 140734172840768 140598127716592 140599211285122 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22776] ppid=22767 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22776/stat : 22776 (java) S 22767 22767 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 129166393 14309736448 9330 18446744073709551615 4194304 4196468 140734172840768 140598126662816 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22777] ppid=22767 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22777/stat : 22777 (java) S 22767 22767 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 129166393 14309736448 9330 18446744073709551615 4194304 4196468 140734172840768 140598125609712 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22778] ppid=22767 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22778/stat : 22778 (java) S 22767 22767 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129166396 14309736448 9330 18446744073709551615 4194304 4196468 140734172840768 140598124558288 140599211292571 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22779] ppid=22767 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22769/task/22779/stat : 22779 (java) S 22767 22767 4674 0 -1 1077944384 380 0 0 0 2 0 0 0 20 0 15 0 129166396 14309736448 9330 18446744073709551615 4194304 4196468 140734172840768 140598123506416 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22780] ppid=22767 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22769/task/22780/stat : 22780 (java) R 22767 22767 4674 0 -1 4202560 380 0 0 0 1 0 0 0 20 0 15 0 129166396 14309736448 9330 18446744073709551615 4194304 4196468 140734172840768 140598122453872 140599192777104 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22781] ppid=22767 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/22769/task/22781/stat : 22781 (java) S 22767 22767 4674 0 -1 1077944384 738 0 0 0 6 0 0 0 20 0 15 0 129166396 14309736448 9330 18446744073709551615 4194304 4196468 140734172840768 140598121400816 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22782] ppid=22767 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22782/stat : 22782 (java) S 22767 22767 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129166396 14309736448 9330 18446744073709551615 4194304 4196468 140734172840768 140598120348512 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22783] ppid=22767 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22783/stat : 22783 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129166404 14309736448 9330 18446744073709551615 4194304 4196468 140734172840768 140598119295536 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38700 KiB

[startup+0.709438 s]
/proc/loadavg: 1.36 1.40 1.53 5/216 22783
/proc/meminfo: memFree=30662020/32770624 swapFree=67108764/67108860
[pid=22767] ppid=22764 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22767/stat : 22767 (xcsp3-exec) S 22764 22767 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 129166385 9740288 345 18446744073709551615 4194304 5098028 140720423841104 140720423839208 139764455965308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 23289856 140720423846265 140720423846469 140720423846469 140720423849963 0
/proc/22767/statm: 2378 345 289 221 0 87 0
[pid=22769] ppid=22767 vsize=13980732 memory=79020 CPUtime=1.39 cores=0,2,4,6
/proc/22769/stat : 22769 (java) S 22767 22767 4674 0 -1 1077944320 13969 0 0 0 134 5 0 0 20 0 15 0 129166390 14316269568 19755 18446744073709551615 4194304 4196468 140734172840768 140734172823312 140599211273975 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
/proc/22769/statm: 3495183 19755 3169 1 0 3483476 0
[pid=22769/tid=22770] ppid=22767 vsize=13980732 memory=281218352414960 CPUtime=0.56 cores=0,2,4,6
/proc/22769/task/22770/stat : 22770 (java) R 22767 22767 4674 0 -1 4202560 7993 0 0 0 52 4 0 0 20 0 15 0 129166391 14316269568 19755 18446744073709551615 4194304 4196468 140734172840768 140599215512936 140598855279679 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22771] ppid=22767 vsize=13980732 memory=281218352414960 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22771/stat : 22771 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129166391 14316269568 19755 18446744073709551615 4194304 4196468 140734172840768 140599178832912 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22772] ppid=22767 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22772/stat : 22772 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129166391 14316269568 19755 18446744073709551615 4194304 4196468 140734172840768 140598810070160 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22773] ppid=22767 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22773/stat : 22773 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129166391 14316269568 19755 18446744073709551615 4194304 4196468 140734172840768 140598809017104 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22774] ppid=22767 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22774/stat : 22774 (java) S 22767 22767 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 129166391 14316269568 19755 18446744073709551615 4194304 4196468 140734172840768 140598807964560 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22775] ppid=22767 vsize=13980732 memory=1 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22775/stat : 22775 (java) S 22767 22767 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 129166393 14316269568 19755 18446744073709551615 4194304 4196468 140734172840768 140598127716592 140599211285122 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22776] ppid=22767 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22776/stat : 22776 (java) S 22767 22767 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 129166393 14316269568 19755 18446744073709551615 4194304 4196468 140734172840768 140598126662816 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22777] ppid=22767 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22777/stat : 22777 (java) S 22767 22767 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 129166393 14316269568 19755 18446744073709551615 4194304 4196468 140734172840768 140598125609712 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22778] ppid=22767 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22778/stat : 22778 (java) S 22767 22767 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129166396 14316269568 19755 18446744073709551615 4194304 4196468 140734172840768 140598124558288 140599211292571 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22779] ppid=22767 vsize=13980732 memory=29 CPUtime=0.26 cores=0,2,4,6
/proc/22769/task/22779/stat : 22779 (java) R 22767 22767 4674 0 -1 4202560 1283 0 0 0 26 0 0 0 20 0 15 0 129166396 14316269568 19755 18446744073709551615 4194304 4196468 140734172840768 140598123487952 140599196399257 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22780] ppid=22767 vsize=13980732 memory=229 CPUtime=0.22 cores=0,2,4,6
/proc/22769/task/22780/stat : 22780 (java) R 22767 22767 4674 0 -1 4202560 1339 0 0 0 22 0 0 0 20 0 15 0 129166396 14316269568 19755 18446744073709551615 4194304 4196468 140734172840768 140598122439896 140599192818218 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22781] ppid=22767 vsize=13980732 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/22769/task/22781/stat : 22781 (java) R 22767 22767 4674 0 -1 4202560 2072 0 0 0 33 0 0 0 20 0 15 0 129166396 14316269568 19755 18446744073709551615 4194304 4196468 140734172840768 140598121400816 140599191241094 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22782] ppid=22767 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22782/stat : 22782 (java) S 22767 22767 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129166396 14316269568 19755 18446744073709551615 4194304 4196468 140734172840768 140598120348512 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22783] ppid=22767 vsize=13980732 memory=2760 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22783/stat : 22783 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129166404 14316269568 19755 18446744073709551615 4194304 4196468 140734172840768 140598119295536 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 80400 KiB

[startup+1.50084 s]
/proc/loadavg: 1.36 1.40 1.53 5/216 22783
/proc/meminfo: memFree=30539792/32770624 swapFree=67108764/67108860
[pid=22767] ppid=22764 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22767/stat : 22767 (xcsp3-exec) S 22764 22767 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 129166385 9740288 345 18446744073709551615 4194304 5098028 140720423841104 140720423839208 139764455965308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 23289856 140720423846265 140720423846469 140720423846469 140720423849963 0
/proc/22767/statm: 2378 345 289 221 0 87 0
[pid=22769] ppid=22767 vsize=13982696 memory=112904 CPUtime=3.85 cores=0,2,4,6
/proc/22769/stat : 22769 (java) S 22767 22767 4674 0 -1 1077944320 24128 0 0 0 378 7 0 0 20 0 15 0 129166390 14318280704 28226 18446744073709551615 4194304 4196468 140734172840768 140734172823312 140599211273975 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
/proc/22769/statm: 3495674 28226 3198 1 0 3483967 0
[pid=22769/tid=22770] ppid=22767 vsize=13982696 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/22769/task/22770/stat : 22770 (java) R 22767 22767 4674 0 -1 4202560 9063 0 0 0 131 4 0 0 20 0 15 0 129166391 14318280704 28226 18446744073709551615 4194304 4196468 140734172840768 140599215512224 140598856731817 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22771] ppid=22767 vsize=13982696 memory=1 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22771/stat : 22771 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129166391 14318280704 28226 18446744073709551615 4194304 4196468 140734172840768 140599178832912 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22772] ppid=22767 vsize=13982696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22772/stat : 22772 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129166391 14318280704 28226 18446744073709551615 4194304 4196468 140734172840768 140598810070160 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22773] ppid=22767 vsize=13982696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22773/stat : 22773 (java) S 22767 22767 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129166391 14318280704 28226 18446744073709551615 4194304 4196468 140734172840768 140598809017104 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22774] ppid=22767 vsize=13982696 memory=2344 CPUtime=0 cores=0,2,4,6

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

/proc/22769/task/22777/stat : 22777 (java) S 22767 22767 4674 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 129166393 14316269568 668631 18446744073709551615 4194304 4196468 140734172840768 140598125609712 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22778] ppid=22767 vsize=13980732 memory=8085432908549287783 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22778/stat : 22778 (java) S 22767 22767 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129166396 14316269568 668631 18446744073709551615 4194304 4196468 140734172840768 140598124558288 140599211292571 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22779] ppid=22767 vsize=13980732 memory=1380 CPUtime=1.44 cores=0,2,4,6
/proc/22769/task/22779/stat : 22779 (java) S 22767 22767 4674 0 -1 1077944384 10098 0 0 0 142 2 0 0 20 0 15 0 129166396 14316269568 668631 18446744073709551615 4194304 4196468 140734172840768 140598123506416 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22780] ppid=22767 vsize=13980732 memory=2616956 CPUtime=1.51 cores=0,2,4,6
/proc/22769/task/22780/stat : 22780 (java) S 22767 22767 4674 0 -1 1077944384 12404 0 0 0 150 1 0 0 20 0 15 0 129166396 14316269568 668631 18446744073709551615 4194304 4196468 140734172840768 140598122453872 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22781] ppid=22767 vsize=13980732 memory=63084 CPUtime=0.57 cores=0,2,4,6
/proc/22769/task/22781/stat : 22781 (java) S 22767 22767 4674 0 -1 1077944384 7747 0 0 0 56 1 0 0 20 0 15 0 129166396 14316269568 668631 18446744073709551615 4194304 4196468 140734172840768 140598121400816 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22782] ppid=22767 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22782/stat : 22782 (java) S 22767 22767 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129166396 14316269568 668631 18446744073709551615 4194304 4196468 140734172840768 140598120348512 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22783] ppid=22767 vsize=13980732 memory=1380 CPUtime=1.16 cores=0,2,4,6
/proc/22769/task/22783/stat : 22783 (java) S 22767 22767 4674 0 -1 1077944384 1454 0 0 0 56 60 0 0 20 0 15 0 129166404 14316269568 668631 18446744073709551615 4194304 4196468 140734172840768 140598119295536 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
Current children cumulated CPU time: 2410.38 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2675904 KiB

[startup+2442.3 s]
/proc/loadavg: 1.65 1.64 1.61 3/217 23053
/proc/meminfo: memFree=24332028/32770624 swapFree=67108764/67108860
[pid=22767] ppid=22764 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22767/stat : 22767 (xcsp3-exec) S 22764 22767 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 129166385 9740288 345 18446744073709551615 4194304 5098028 140720423841104 140720423839208 139764455965308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 23289856 140720423846265 140720423846469 140720423846469 140720423849963 0
/proc/22767/statm: 2378 345 289 221 0 87 0
[pid=22769] ppid=22767 vsize=13980732 memory=7200708 CPUtime=2470.8 cores=0,2,4,6
/proc/22769/stat : 22769 (java) S 22767 22767 4674 0 -1 1077944320 252728 0 0 0 246031 1049 0 0 20 0 15 0 129166390 14316269568 1800177 18446744073709551615 4194304 4196468 140734172840768 140734172823312 140599211273975 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
/proc/22769/statm: 3495183 1800177 3249 1 0 3483476 0
[pid=22769/tid=22770] ppid=22767 vsize=13980732 memory=185256 CPUtime=2431.36 cores=0,2,4,6
/proc/22769/task/22770/stat : 22770 (java) R 22767 22767 4674 0 -1 4202560 152010 0 0 0 242266 870 0 0 20 0 15 0 129166391 14316269568 1800177 18446744073709551615 4194304 4196468 140734172840768 140599215513704 140598857822029 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22771] ppid=22767 vsize=13980732 memory=1380 CPUtime=8.27 cores=0,2,4,6
/proc/22769/task/22771/stat : 22771 (java) S 22767 22767 4674 0 -1 1077944384 14066 0 0 0 804 23 0 0 20 0 15 0 129166391 14316269568 1800177 18446744073709551615 4194304 4196468 140734172840768 140599178832912 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22772] ppid=22767 vsize=13980732 memory=7141872 CPUtime=8.27 cores=0,2,4,6
/proc/22769/task/22772/stat : 22772 (java) S 22767 22767 4674 0 -1 1077944384 11241 0 0 0 803 24 0 0 20 0 15 0 129166391 14316269568 1800177 18446744073709551615 4194304 4196468 140734172840768 140598810070160 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22773] ppid=22767 vsize=13980732 memory=1380 CPUtime=8.26 cores=0,2,4,6
/proc/22769/task/22773/stat : 22773 (java) S 22767 22767 4674 0 -1 1077944384 14366 0 0 0 803 23 0 0 20 0 15 0 129166391 14316269568 1800177 18446744073709551615 4194304 4196468 140734172840768 140598809017104 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22774] ppid=22767 vsize=13980732 memory=6968556 CPUtime=8.26 cores=0,2,4,6
/proc/22769/task/22774/stat : 22774 (java) S 22767 22767 4674 0 -1 1077944384 11356 0 0 0 803 23 0 0 20 0 15 0 129166391 14316269568 1800177 18446744073709551615 4194304 4196468 140734172840768 140598807964560 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22775] ppid=22767 vsize=13980732 memory=7085748 CPUtime=1.59 cores=0,2,4,6
/proc/22769/task/22775/stat : 22775 (java) S 22767 22767 4674 0 -1 1077944384 16624 0 0 0 121 38 0 0 20 0 15 0 129166393 14316269568 1800177 18446744073709551615 4194304 4196468 140734172840768 140598127716592 140599211285122 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22776] ppid=22767 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22776/stat : 22776 (java) S 22767 22767 4674 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 129166393 14316269568 1800177 18446744073709551615 4194304 4196468 140734172840768 140598126662816 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22777] ppid=22767 vsize=13980732 memory=7200708 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22777/stat : 22777 (java) S 22767 22767 4674 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 129166393 14316269568 1800177 18446744073709551615 4194304 4196468 140734172840768 140598125609712 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22778] ppid=22767 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22778/stat : 22778 (java) S 22767 22767 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129166396 14316269568 1800177 18446744073709551615 4194304 4196468 140734172840768 140598124558288 140599211292571 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22779] ppid=22767 vsize=13980732 memory=1380 CPUtime=1.44 cores=0,2,4,6
/proc/22769/task/22779/stat : 22779 (java) S 22767 22767 4674 0 -1 1077944384 10098 0 0 0 142 2 0 0 20 0 15 0 129166396 14316269568 1800177 18446744073709551615 4194304 4196468 140734172840768 140598123506416 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22780] ppid=22767 vsize=13980732 memory=7141872 CPUtime=1.51 cores=0,2,4,6
/proc/22769/task/22780/stat : 22780 (java) S 22767 22767 4674 0 -1 1077944384 12404 0 0 0 150 1 0 0 20 0 15 0 129166396 14316269568 1800177 18446744073709551615 4194304 4196468 140734172840768 140598122453872 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22781] ppid=22767 vsize=13980732 memory=6628 CPUtime=0.57 cores=0,2,4,6
/proc/22769/task/22781/stat : 22781 (java) S 22767 22767 4674 0 -1 1077944384 7747 0 0 0 56 1 0 0 20 0 15 0 129166396 14316269568 1800177 18446744073709551615 4194304 4196468 140734172840768 140598121400816 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22782] ppid=22767 vsize=13980732 memory=6851364 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22782/stat : 22782 (java) S 22767 22767 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129166396 14316269568 1800177 18446744073709551615 4194304 4196468 140734172840768 140598120348512 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22783] ppid=22767 vsize=13980732 memory=1380 CPUtime=1.19 cores=0,2,4,6
/proc/22769/task/22783/stat : 22783 (java) S 22767 22767 4674 0 -1 1077944384 1458 0 0 0 57 62 0 0 20 0 15 0 129166404 14316269568 1800177 18446744073709551615 4194304 4196468 140734172840768 140598119295536 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
Current children cumulated CPU time: 2470.8 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 7202088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2491.3 s]
/proc/loadavg: 1.67 1.65 1.61 3/217 23054
/proc/meminfo: memFree=27312264/32770624 swapFree=67108764/67108860
[pid=22767] ppid=22764 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22767/stat : 22767 (xcsp3-exec) S 22764 22767 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 129166385 9740288 345 18446744073709551615 4194304 5098028 140720423841104 140720423839208 139764455965308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 23289856 140720423846265 140720423846469 140720423846469 140720423849963 0
/proc/22767/statm: 2378 345 289 221 0 87 0
[pid=22769] ppid=22767 vsize=13980732 memory=4222236 CPUtime=2520 cores=0,2,4,6
/proc/22769/stat : 22769 (java) S 22767 22767 4674 0 -1 1077944320 264680 0 0 0 250890 1110 0 0 20 0 15 0 129166390 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140734172823312 140599211273975 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
/proc/22769/statm: 3495183 1055559 3249 1 0 3483476 0
[pid=22769/tid=22770] ppid=22767 vsize=13980732 memory=4045416 CPUtime=2480.21 cores=0,2,4,6
/proc/22769/task/22770/stat : 22770 (java) R 22767 22767 4674 0 -1 4202560 160248 0 0 0 247094 927 0 0 20 0 15 0 129166391 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140599215513704 140598857822019 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22771] ppid=22767 vsize=13980732 memory=4045416 CPUtime=8.33 cores=0,2,4,6
/proc/22769/task/22771/stat : 22771 (java) S 22767 22767 4674 0 -1 1077944384 14821 0 0 0 810 23 0 0 20 0 15 0 129166391 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140599178832912 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22772] ppid=22767 vsize=13980732 memory=1380 CPUtime=8.33 cores=0,2,4,6
/proc/22769/task/22772/stat : 22772 (java) S 22767 22767 4674 0 -1 1077944384 11805 0 0 0 809 24 0 0 20 0 15 0 129166391 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598810070160 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22773] ppid=22767 vsize=13980732 memory=1235324 CPUtime=8.32 cores=0,2,4,6
/proc/22769/task/22773/stat : 22773 (java) S 22767 22767 4674 0 -1 1077944384 14713 0 0 0 809 23 0 0 20 0 15 0 129166391 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598809017104 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22774] ppid=22767 vsize=13980732 memory=4045416 CPUtime=8.32 cores=0,2,4,6
/proc/22769/task/22774/stat : 22774 (java) S 22767 22767 4674 0 -1 1077944384 12271 0 0 0 809 23 0 0 20 0 15 0 129166391 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598807964560 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22775] ppid=22767 vsize=13980732 memory=4164660 CPUtime=1.67 cores=0,2,4,6
/proc/22769/task/22775/stat : 22775 (java) S 22767 22767 4674 0 -1 1077944384 17709 0 0 0 126 41 0 0 20 0 15 0 129166393 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598127716592 140599211285122 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22776] ppid=22767 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22776/stat : 22776 (java) S 22767 22767 4674 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 129166393 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598126662816 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22777] ppid=22767 vsize=13980732 memory=4045416 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22777/stat : 22777 (java) S 22767 22767 4674 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 129166393 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598125609712 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22778] ppid=22767 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22778/stat : 22778 (java) S 22767 22767 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129166396 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598124558288 140599211292571 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22779] ppid=22767 vsize=13980732 memory=1380 CPUtime=1.44 cores=0,2,4,6
/proc/22769/task/22779/stat : 22779 (java) S 22767 22767 4674 0 -1 1077944384 10100 0 0 0 142 2 0 0 20 0 15 0 129166396 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598123506416 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22780] ppid=22767 vsize=13980732 memory=4164660 CPUtime=1.51 cores=0,2,4,6
/proc/22769/task/22780/stat : 22780 (java) S 22767 22767 4674 0 -1 1077944384 12407 0 0 0 150 1 0 0 20 0 15 0 129166396 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598122453872 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22781] ppid=22767 vsize=13980732 memory=4148 CPUtime=0.57 cores=0,2,4,6
/proc/22769/task/22781/stat : 22781 (java) S 22767 22767 4674 0 -1 1077944384 7749 0 0 0 56 1 0 0 20 0 15 0 129166396 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598121400816 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22782] ppid=22767 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22782/stat : 22782 (java) S 22767 22767 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129166396 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598120348512 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22783] ppid=22767 vsize=13980732 memory=3872696 CPUtime=1.21 cores=0,2,4,6
/proc/22769/task/22783/stat : 22783 (java) S 22767 22767 4674 0 -1 1077944384 1499 0 0 0 58 63 0 0 20 0 15 0 129166404 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598119295536 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4223616 KiB

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

[startup+2491.31 s]
# the end of solver process 22767 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.00084 s, system=0.001207 s

[startup+2491.33 s]
# the end of solver process 22769 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2508.92 s, system=11.1238 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+2491.3 s]
/proc/loadavg: 1.67 1.65 1.61 3/217 23054
/proc/meminfo: memFree=27312264/32770624 swapFree=67108764/67108860
[pid=22767] ppid=22764 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22767/stat : 22767 (xcsp3-exec) S 22764 22767 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 129166385 9740288 345 18446744073709551615 4194304 5098028 140720423841104 140720423839208 139764455965308 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 23289856 140720423846265 140720423846469 140720423846469 140720423849963 0
/proc/22767/statm: 2378 345 289 221 0 87 0
[pid=22769] ppid=22767 vsize=13980732 memory=4222236 CPUtime=2520 cores=0,2,4,6
/proc/22769/stat : 22769 (java) S 22767 22767 4674 0 -1 1077944320 264680 0 0 0 250890 1110 0 0 20 0 15 0 129166390 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140734172823312 140599211273975 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
/proc/22769/statm: 3495183 1055559 3249 1 0 3483476 0
[pid=22769/tid=22770] ppid=22767 vsize=13980732 memory=4045416 CPUtime=2480.21 cores=0,2,4,6
/proc/22769/task/22770/stat : 22770 (java) R 22767 22767 4674 0 -1 4202560 160248 0 0 0 247094 927 0 0 20 0 15 0 129166391 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140599215513704 140598857822019 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22771] ppid=22767 vsize=13980732 memory=4045416 CPUtime=8.33 cores=0,2,4,6
/proc/22769/task/22771/stat : 22771 (java) S 22767 22767 4674 0 -1 1077944384 14821 0 0 0 810 23 0 0 20 0 15 0 129166391 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140599178832912 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22772] ppid=22767 vsize=13980732 memory=1380 CPUtime=8.33 cores=0,2,4,6
/proc/22769/task/22772/stat : 22772 (java) S 22767 22767 4674 0 -1 1077944384 11805 0 0 0 809 24 0 0 20 0 15 0 129166391 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598810070160 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22773] ppid=22767 vsize=13980732 memory=1235324 CPUtime=8.32 cores=0,2,4,6
/proc/22769/task/22773/stat : 22773 (java) S 22767 22767 4674 0 -1 1077944384 14713 0 0 0 809 23 0 0 20 0 15 0 129166391 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598809017104 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22774] ppid=22767 vsize=13980732 memory=4045416 CPUtime=8.32 cores=0,2,4,6
/proc/22769/task/22774/stat : 22774 (java) S 22767 22767 4674 0 -1 1077944384 12271 0 0 0 809 23 0 0 20 0 15 0 129166391 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598807964560 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22775] ppid=22767 vsize=13980732 memory=4164660 CPUtime=1.67 cores=0,2,4,6
/proc/22769/task/22775/stat : 22775 (java) S 22767 22767 4674 0 -1 1077944384 17709 0 0 0 126 41 0 0 20 0 15 0 129166393 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598127716592 140599211285122 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22776] ppid=22767 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22776/stat : 22776 (java) S 22767 22767 4674 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 129166393 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598126662816 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22777] ppid=22767 vsize=13980732 memory=4045416 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22777/stat : 22777 (java) S 22767 22767 4674 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 129166393 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598125609712 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22778] ppid=22767 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22778/stat : 22778 (java) S 22767 22767 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129166396 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598124558288 140599211292571 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22779] ppid=22767 vsize=13980732 memory=1380 CPUtime=1.44 cores=0,2,4,6
/proc/22769/task/22779/stat : 22779 (java) S 22767 22767 4674 0 -1 1077944384 10100 0 0 0 142 2 0 0 20 0 15 0 129166396 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598123506416 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22780] ppid=22767 vsize=13980732 memory=4164660 CPUtime=1.51 cores=0,2,4,6
/proc/22769/task/22780/stat : 22780 (java) S 22767 22767 4674 0 -1 1077944384 12407 0 0 0 150 1 0 0 20 0 15 0 129166396 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598122453872 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22781] ppid=22767 vsize=13980732 memory=4148 CPUtime=0.57 cores=0,2,4,6
/proc/22769/task/22781/stat : 22781 (java) S 22767 22767 4674 0 -1 1077944384 7749 0 0 0 56 1 0 0 20 0 15 0 129166396 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598121400816 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22782] ppid=22767 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22769/task/22782/stat : 22782 (java) S 22767 22767 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129166396 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598120348512 140599211284181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
[pid=22769/tid=22783] ppid=22767 vsize=13980732 memory=3872696 CPUtime=1.21 cores=0,2,4,6
/proc/22769/task/22783/stat : 22783 (java) S 22767 22767 4674 0 -1 1077944384 1499 0 0 0 58 63 0 0 20 0 15 0 129166404 14316269568 1055559 18446744073709551615 4194304 4196468 140734172840768 140598119295536 140599211285122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 37564416 140734172848561 140734172848737 140734172848737 140734172852175 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4223616 KiB

Child status: 143
Real time (s): 2491.33
CPU time (s): 2520.05
CPU user time (s): 2508.92
CPU system time (s): 11.1238
CPU usage (%): 101.153
Max. virtual memory (cumulated for all children) (KiB): 13992208
Max. memory (cumulated for all children) (KiB): 8148804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.92
system time used= 11.1238
maximum resident set size= 8147572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265534
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80097
involuntary context switches= 7015


# summary of solver processes directly reported to runsolver:
#   pid: 22767,22769
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2508.92
#   total CPU system time (s): 11.1238

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.807 second user time and 23.7162 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	202
Best CPU time to get the best result obtained on this benchmark	2520.05
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 4269175

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
