2019 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 2019-09-16	SAT (TO)	7	2520.59	634.771
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 (15241 MiB free)
  memory of node 1: 16384 MiB (14635 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399332-1568688808/watcher-4399332-1568688808 -o /tmp/evaluation-result-4399332-1568688808/solver-4399332-1568688808 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15014 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 339988679 HOME/instance-4399332-1568688808.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=22880, runsolver pid=22877
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 8.69 8.47 8.42 7/234 22896
/proc/meminfo: memFree=30579816/32770624 swapFree=66997372/67108860
[pid=22880] ppid=22877 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22880/stat : 22880 (xcsp3-exec) S 22877 22880 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445133854 115843072 363 33554432000 4194304 5098028 140734242789088 140734242787192 140224615043708 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30380032 140734242796411 140734242796653 140734242796653 140734242799562 0
/proc/22880/statm: 28282 363 304 221 0 87 0
[pid=22882] ppid=22880 vsize=15144776 memory=27996 CPUtime=0.13 cores=0,2,4,6
/proc/22882/stat : 22882 (java) S 22880 22880 14983 0 -1 1077944320 5897 0 0 0 12 1 0 0 20 0 15 0 445133854 15508250624 6999 33554432000 4194304 4196468 140731706732128 140731706714672 140258092379895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
/proc/22882/statm: 3786194 6999 3154 1 0 3748377 0
[pid=22882/tid=22883] ppid=22880 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=0,2,4,6
/proc/22882/task/22883/stat : 22883 (java) R 22880 22880 14983 0 -1 4202560 3764 0 0 0 8 1 0 0 20 0 15 0 445133854 15508250624 6999 33554432000 4194304 4196468 140731706732128 140258096612960 140258092391830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22884] ppid=22880 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22884/stat : 22884 (java) S 22880 22880 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445133855 15508250624 6999 33554432000 4194304 4196468 140731706732128 140258064223120 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22885] ppid=22880 vsize=15144776 memory=140033119168128 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22885/stat : 22885 (java) S 22880 22880 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445133855 15508250624 6999 33554432000 4194304 4196468 140731706732128 140257683671824 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22886] ppid=22880 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22886/stat : 22886 (java) S 22880 22880 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445133855 15508250624 6999 33554432000 4194304 4196468 140731706732128 140257682619536 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22887] ppid=22880 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22887/stat : 22887 (java) S 22880 22880 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445133855 15508250624 6999 33554432000 4194304 4196468 140731706732128 140257681566736 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22888] ppid=22880 vsize=15144776 memory=140033119168128 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22888/stat : 22888 (java) S 22880 22880 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445133856 15508250624 6999 33554432000 4194304 4196468 140731706732128 140257033484400 140258092391042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22889] ppid=22880 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22889/stat : 22889 (java) S 22880 22880 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445133857 15508250624 6999 33554432000 4194304 4196468 140731706732128 140257032430368 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22890] ppid=22880 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22890/stat : 22890 (java) S 22880 22880 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445133857 15508250624 6999 33554432000 4194304 4196468 140731706732128 140257031378032 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22891] ppid=22880 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22891/stat : 22891 (java) S 22880 22880 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445133859 15508250624 6999 33554432000 4194304 4196468 140731706732128 140257030326352 140258092398491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22892] ppid=22880 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22892/stat : 22892 (java) R 22880 22880 14983 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 445133859 15508250624 6999 33554432000 4194304 4196468 140731706732128 140257029274320 140258092390101 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22893] ppid=22880 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22893/stat : 22893 (java) R 22880 22880 14983 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 15 0 445133859 15508250624 6999 33554432000 4194304 4196468 140731706732128 140257028213072 140258072793200 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22894] ppid=22880 vsize=15144776 memory=140033119168128 CPUtime=0.02 cores=0,2,4,6
/proc/22882/task/22894/stat : 22894 (java) R 22880 22880 14983 0 -1 4202560 410 0 0 0 2 0 0 0 20 0 15 0 445133859 15508250624 6999 33554432000 4194304 4196468 140731706732128 140257027166672 140258085476731 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22895] ppid=22880 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22895/stat : 22895 (java) S 22880 22880 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445133859 15508250624 6999 33554432000 4194304 4196468 140731706732128 140257026116576 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22896] ppid=22880 vsize=15144776 memory=140033119168128 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22896/stat : 22896 (java) S 22880 22880 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445133860 15508250624 6999 33554432000 4194304 4196468 140731706732128 140257025063344 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29448 KiB

[startup+0.21078 s]*
/proc/loadavg: 8.69 8.47 8.42 7/234 22896
/proc/meminfo: memFree=30567492/32770624 swapFree=66997372/67108860
[pid=22880] ppid=22877 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22880/stat : 22880 (xcsp3-exec) S 22877 22880 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445133854 115843072 363 33554432000 4194304 5098028 140734242789088 140734242787192 140224615043708 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30380032 140734242796411 140734242796653 140734242796653 140734242799562 0
/proc/22880/statm: 28282 363 304 221 0 87 0
[pid=22882] ppid=22880 vsize=15144776 memory=39596 CPUtime=0.34 cores=0,2,4,6
/proc/22882/stat : 22882 (java) S 22880 22880 14983 0 -1 1077944320 9666 0 0 0 31 3 0 0 20 0 15 0 445133854 15508250624 9899 33554432000 4194304 4196468 140731706732128 140731706714672 140258092379895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
/proc/22882/statm: 3786194 9899 3290 1 0 3748377 0
[pid=22882/tid=22883] ppid=22880 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/22882/task/22883/stat : 22883 (java) R 22880 22880 14983 0 -1 4202560 6685 0 0 0 18 2 0 0 20 0 15 0 445133854 15508250624 9899 33554432000 4194304 4196468 140731706732128 140258096609616 140257728650368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22884] ppid=22880 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22884/stat : 22884 (java) S 22880 22880 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445133855 15508250624 9899 33554432000 4194304 4196468 140731706732128 140258064223120 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22885] ppid=22880 vsize=15144776 memory=288370409270879872 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22885/stat : 22885 (java) S 22880 22880 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445133855 15508250624 9899 33554432000 4194304 4196468 140731706732128 140257683671824 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22886] ppid=22880 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22886/stat : 22886 (java) S 22880 22880 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445133855 15508250624 9899 33554432000 4194304 4196468 140731706732128 140257682619536 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22887] ppid=22880 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22887/stat : 22887 (java) S 22880 22880 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445133855 15508250624 9899 33554432000 4194304 4196468 140731706732128 140257681566736 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22888] ppid=22880 vsize=15144776 memory=140033119168128 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22888/stat : 22888 (java) S 22880 22880 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445133856 15508250624 9899 33554432000 4194304 4196468 140731706732128 140257033484400 140258092391042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22889] ppid=22880 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22889/stat : 22889 (java) S 22880 22880 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445133857 15508250624 9899 33554432000 4194304 4196468 140731706732128 140257032430368 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22890] ppid=22880 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22890/stat : 22890 (java) S 22880 22880 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445133857 15508250624 9899 33554432000 4194304 4196468 140731706732128 140257031378032 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22891] ppid=22880 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22891/stat : 22891 (java) S 22880 22880 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445133859 15508250624 9899 33554432000 4194304 4196468 140731706732128 140257030326352 140258092398491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22892] ppid=22880 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22882/task/22892/stat : 22892 (java) R 22880 22880 14983 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 15 0 445133859 15508250624 9899 33554432000 4194304 4196468 140731706732128 140257029274224 140258092391830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22893] ppid=22880 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/22882/task/22893/stat : 22893 (java) S 22880 22880 14983 0 -1 1077944384 321 0 0 0 3 0 0 0 20 0 15 0 445133859 15508250624 9899 33554432000 4194304 4196468 140731706732128 140257028221424 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22894] ppid=22880 vsize=15144776 memory=140033119168128 CPUtime=0.08 cores=0,2,4,6
/proc/22882/task/22894/stat : 22894 (java) R 22880 22880 14983 0 -1 4202560 914 0 0 0 8 0 0 0 20 0 15 0 445133859 15508250624 9899 33554432000 4194304 4196468 140731706732128 140257027168944 140258071514419 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22895] ppid=22880 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22895/stat : 22895 (java) S 22880 22880 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445133859 15508250624 9899 33554432000 4194304 4196468 140731706732128 140257026116576 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22896] ppid=22880 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22896/stat : 22896 (java) S 22880 22880 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445133860 15508250624 9899 33554432000 4194304 4196468 140731706732128 140257025063344 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41048 KiB

[startup+0.314342 s]*
/proc/loadavg: 8.69 8.47 8.42 8/234 22896
/proc/meminfo: memFree=30559984/32770624 swapFree=66997372/67108860
[pid=22880] ppid=22877 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22880/stat : 22880 (xcsp3-exec) S 22877 22880 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445133854 115843072 363 33554432000 4194304 5098028 140734242789088 140734242787192 140224615043708 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30380032 140734242796411 140734242796653 140734242796653 140734242799562 0
/proc/22880/statm: 28282 363 304 221 0 87 0
[pid=22882] ppid=22880 vsize=15149032 memory=49088 CPUtime=0.54 cores=0,2,4,6
/proc/22882/stat : 22882 (java) S 22880 22880 14983 0 -1 1077944320 11164 0 0 0 50 4 0 0 20 0 15 0 445133854 15512608768 12272 33554432000 4194304 4196468 140731706732128 140731706714672 140258092379895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
/proc/22882/statm: 3787258 12272 3370 1 0 3748377 0
[pid=22882/tid=22883] ppid=22880 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/22882/task/22883/stat : 22883 (java) R 22880 22880 14983 0 -1 4202560 7848 0 0 0 27 3 0 0 20 0 15 0 445133854 15512608768 12272 33554432000 4194304 4196468 140731706732128 140258096611008 140258076460382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22884] ppid=22880 vsize=15149032 memory=9461 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22884/stat : 22884 (java) S 22880 22880 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445133855 15512608768 12272 33554432000 4194304 4196468 140731706732128 140258064223120 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22885] ppid=22880 vsize=15149032 memory=288230376155264996 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22885/stat : 22885 (java) S 22880 22880 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445133855 15512608768 12272 33554432000 4194304 4196468 140731706732128 140257683671824 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22886] ppid=22880 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22886/stat : 22886 (java) S 22880 22880 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445133855 15512608768 12272 33554432000 4194304 4196468 140731706732128 140257682619536 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22887] ppid=22880 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22887/stat : 22887 (java) S 22880 22880 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445133855 15512608768 12272 33554432000 4194304 4196468 140731706732128 140257681566736 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22888] ppid=22880 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22888/stat : 22888 (java) S 22880 22880 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445133856 15512608768 12272 33554432000 4194304 4196468 140731706732128 140257033484400 140258092391042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22889] ppid=22880 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22889/stat : 22889 (java) S 22880 22880 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445133857 15512608768 12272 33554432000 4194304 4196468 140731706732128 140257032430368 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22890] ppid=22880 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22890/stat : 22890 (java) S 22880 22880 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445133857 15512608768 12272 33554432000 4194304 4196468 140731706732128 140257031378032 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22891] ppid=22880 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22891/stat : 22891 (java) S 22880 22880 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445133859 15512608768 12272 33554432000 4194304 4196468 140731706732128 140257030326352 140258092398491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22892] ppid=22880 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22882/task/22892/stat : 22892 (java) S 22880 22880 14983 0 -1 1077944384 509 0 0 0 3 0 0 0 20 0 15 0 445133859 15512608768 12272 33554432000 4194304 4196468 140731706732128 140257029274224 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22893] ppid=22880 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/22882/task/22893/stat : 22893 (java) R 22880 22880 14983 0 -1 4202560 434 0 0 0 5 0 0 0 20 0 15 0 445133859 15512608768 12272 33554432000 4194304 4196468 140731706732128 140257028202440 140258077505274 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22894] ppid=22880 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/22882/task/22894/stat : 22894 (java) S 22880 22880 14983 0 -1 1077944384 1082 0 0 0 12 0 0 0 20 0 15 0 445133859 15512608768 12272 33554432000 4194304 4196468 140731706732128 140257027169136 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22895] ppid=22880 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22895/stat : 22895 (java) S 22880 22880 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445133859 15512608768 12272 33554432000 4194304 4196468 140731706732128 140257026116576 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22896] ppid=22880 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22896/stat : 22896 (java) S 22880 22880 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445133860 15512608768 12272 33554432000 4194304 4196468 140731706732128 140257025063344 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50540 KiB

[startup+0.702648 s]
/proc/loadavg: 8.69 8.47 8.42 8/234 22896
/proc/meminfo: memFree=30540880/32770624 swapFree=66997372/67108860
[pid=22880] ppid=22877 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22880/stat : 22880 (xcsp3-exec) S 22877 22880 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445133854 115843072 363 33554432000 4194304 5098028 140734242789088 140734242787192 140224615043708 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30380032 140734242796411 140734242796653 140734242796653 140734242799562 0
/proc/22880/statm: 28282 363 304 221 0 87 0
[pid=22882] ppid=22880 vsize=15151156 memory=101052 CPUtime=1.74 cores=0,2,4,6
/proc/22882/stat : 22882 (java) S 22880 22880 14983 0 -1 1077944320 14885 0 0 0 169 5 0 0 20 0 15 0 445133854 15514783744 25263 33554432000 4194304 4196468 140731706732128 140731706714672 140258092379895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
/proc/22882/statm: 3787789 25263 3446 1 0 3748889 0
[pid=22882/tid=22883] ppid=22880 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/22882/task/22883/stat : 22883 (java) R 22880 22880 14983 0 -1 4202560 8527 0 0 0 64 4 0 0 20 0 15 0 445133854 15514783744 25263 33554432000 4194304 4196468 140731706732128 140258096615520 140258071963756 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22884] ppid=22880 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22884/stat : 22884 (java) S 22880 22880 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445133855 15514783744 25263 33554432000 4194304 4196468 140731706732128 140258064223120 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22885] ppid=22880 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22885/stat : 22885 (java) S 22880 22880 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445133855 15514783744 25263 33554432000 4194304 4196468 140731706732128 140257683671824 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22886] ppid=22880 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22886/stat : 22886 (java) S 22880 22880 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445133855 15514783744 25263 33554432000 4194304 4196468 140731706732128 140257682619536 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22887] ppid=22880 vsize=15151156 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22887/stat : 22887 (java) S 22880 22880 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445133855 15514783744 25263 33554432000 4194304 4196468 140731706732128 140257681566736 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22888] ppid=22880 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22888/stat : 22888 (java) S 22880 22880 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445133856 15514783744 25263 33554432000 4194304 4196468 140731706732128 140257033484400 140258092391042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22889] ppid=22880 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22889/stat : 22889 (java) S 22880 22880 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445133857 15514783744 25263 33554432000 4194304 4196468 140731706732128 140257032430368 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22890] ppid=22880 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22890/stat : 22890 (java) S 22880 22880 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445133857 15514783744 25263 33554432000 4194304 4196468 140731706732128 140257031378032 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22891] ppid=22880 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22891/stat : 22891 (java) S 22880 22880 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445133859 15514783744 25263 33554432000 4194304 4196468 140731706732128 140257030326352 140258092398491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22892] ppid=22880 vsize=15151156 memory=1764 CPUtime=0.35 cores=0,2,4,6
/proc/22882/task/22892/stat : 22892 (java) R 22880 22880 14983 0 -1 4202560 1614 0 0 0 35 0 0 0 20 0 15 0 445133859 15514783744 25263 33554432000 4194304 4196468 140731706732128 140257029272512 140258075880101 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22893] ppid=22880 vsize=15151156 memory=111628 CPUtime=0.36 cores=0,2,4,6
/proc/22882/task/22893/stat : 22893 (java) R 22880 22880 14983 0 -1 4202560 1465 0 0 0 36 0 0 0 20 0 15 0 445133859 15514783744 25263 33554432000 4194304 4196468 140731706732128 140257028207304 140258069652380 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22894] ppid=22880 vsize=15151156 memory=796 CPUtime=0.32 cores=0,2,4,6
/proc/22882/task/22894/stat : 22894 (java) R 22880 22880 14983 0 -1 4202560 1974 0 0 0 32 0 0 0 20 0 15 0 445133859 15514783744 25263 33554432000 4194304 4196468 140731706732128 140257027169136 140258092401242 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22895] ppid=22880 vsize=15151156 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22895/stat : 22895 (java) S 22880 22880 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445133859 15514783744 25263 33554432000 4194304 4196468 140731706732128 140257026116576 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22896] ppid=22880 vsize=15151156 memory=920 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22896/stat : 22896 (java) S 22880 22880 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445133860 15514783744 25263 33554432000 4194304 4196468 140731706732128 140257025063344 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 102504 KiB

[startup+1.50167 s]
/proc/loadavg: 8.69 8.47 8.42 7/234 22896
/proc/meminfo: memFree=30464056/32770624 swapFree=66997372/67108860
[pid=22880] ppid=22877 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22880/stat : 22880 (xcsp3-exec) S 22877 22880 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445133854 115843072 363 33554432000 4194304 5098028 140734242789088 140734242787192 140224615043708 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30380032 140734242796411 140734242796653 140734242796653 140734242799562 0
/proc/22880/statm: 28282 363 304 221 0 87 0

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

/proc/22882/stat : 22882 (java) S 22880 22880 14983 0 -1 1077944320 103852 0 0 0 231166 69 0 0 20 0 19 0 445133854 15789527040 267217 33554432000 4194304 4196468 140731706732128 140731706714672 140258092379895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
/proc/22882/statm: 3854865 267217 3542 1 0 3815965 0
[pid=22882/tid=22883] ppid=22880 vsize=15419460 memory=1066820 CPUtime=2.02 cores=0,2,4,6
/proc/22882/task/22883/stat : 22883 (java) S 22880 22880 14983 0 -1 1077944384 11843 0 0 0 196 6 0 0 20 0 19 0 445133854 15789527040 267217 33554432000 4194304 4196468 140731706732128 140258096620672 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22884] ppid=22880 vsize=15419460 memory=1066820 CPUtime=1.06 cores=0,2,4,6
/proc/22882/task/22884/stat : 22884 (java) S 22880 22880 14983 0 -1 1077944384 3586 0 0 0 98 8 0 0 20 0 19 0 445133855 15789527040 267217 33554432000 4194304 4196468 140731706732128 140258064223120 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22885] ppid=22880 vsize=15419460 memory=1068868 CPUtime=1.07 cores=0,2,4,6
/proc/22882/task/22885/stat : 22885 (java) S 22880 22880 14983 0 -1 1077944384 2557 0 0 0 99 8 0 0 20 0 19 0 445133855 15789527040 267217 33554432000 4194304 4196468 140731706732128 140257683671824 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22886] ppid=22880 vsize=15419460 memory=1066820 CPUtime=1.06 cores=0,2,4,6
/proc/22882/task/22886/stat : 22886 (java) S 22880 22880 14983 0 -1 1077944384 4004 0 0 0 98 8 0 0 20 0 19 0 445133855 15789527040 267217 33554432000 4194304 4196468 140731706732128 140257682619536 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22887] ppid=22880 vsize=15419460 memory=1066820 CPUtime=1.06 cores=0,2,4,6
/proc/22882/task/22887/stat : 22887 (java) S 22880 22880 14983 0 -1 1077944384 3141 0 0 0 99 7 0 0 20 0 19 0 445133855 15789527040 267217 33554432000 4194304 4196468 140731706732128 140257681566736 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22888] ppid=22880 vsize=15419460 memory=1452 CPUtime=0.54 cores=0,2,4,6
/proc/22882/task/22888/stat : 22888 (java) S 22880 22880 14983 0 -1 1077944384 4608 0 0 0 43 11 0 0 20 0 19 0 445133856 15789527040 267217 33554432000 4194304 4196468 140731706732128 140257033484400 140258092391042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22889] ppid=22880 vsize=15419460 memory=992684 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22889/stat : 22889 (java) S 22880 22880 14983 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 445133857 15789527040 267217 33554432000 4194304 4196468 140731706732128 140257032430432 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22890] ppid=22880 vsize=15419460 memory=3992 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22890/stat : 22890 (java) S 22880 22880 14983 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 445133857 15789527040 267217 33554432000 4194304 4196468 140731706732128 140257031378048 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22891] ppid=22880 vsize=15419460 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22891/stat : 22891 (java) S 22880 22880 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445133859 15789527040 267217 33554432000 4194304 4196468 140731706732128 140257030326352 140258092398491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22892] ppid=22880 vsize=15419460 memory=1452 CPUtime=3.39 cores=0,2,4,6
/proc/22882/task/22892/stat : 22892 (java) S 22880 22880 14983 0 -1 1077944384 21347 0 0 0 337 2 0 0 20 0 19 0 445133859 15789527040 267217 33554432000 4194304 4196468 140731706732128 140257029274224 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22893] ppid=22880 vsize=15419460 memory=1452 CPUtime=3.28 cores=0,2,4,6
/proc/22882/task/22893/stat : 22893 (java) S 22880 22880 14983 0 -1 1077944384 14564 0 0 0 326 2 0 0 20 0 19 0 445133859 15789527040 267217 33554432000 4194304 4196468 140731706732128 140257028221424 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22894] ppid=22880 vsize=15419460 memory=1066820 CPUtime=0.91 cores=0,2,4,6
/proc/22882/task/22894/stat : 22894 (java) S 22880 22880 14983 0 -1 1077944384 15027 0 0 0 89 2 0 0 20 0 19 0 445133859 15789527040 267217 33554432000 4194304 4196468 140731706732128 140257027169136 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22895] ppid=22880 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22895/stat : 22895 (java) S 22880 22880 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445133859 15789527040 267217 33554432000 4194304 4196468 140731706732128 140257026116576 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22896] ppid=22880 vsize=15419460 memory=1066820 CPUtime=0.16 cores=0,2,4,6
/proc/22882/task/22896/stat : 22896 (java) S 22880 22880 14983 0 -1 1077944384 600 0 0 0 0 16 0 0 20 0 19 0 445133860 15789527040 267217 33554432000 4194304 4196468 140731706732128 140257025063344 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22921] ppid=22880 vsize=15419460 memory=1066820 CPUtime=566.83 cores=0,2,4,6
/proc/22882/task/22921/stat : 22921 (java) R 22880 22880 14983 0 -1 4202560 1294 0 0 0 56682 1 0 0 20 0 19 0 445134946 15789527040 267217 33554432000 4194304 4196468 140731706732128 140257013737776 140257730248500 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22922] ppid=22880 vsize=15419460 memory=1452 CPUtime=566.43 cores=0,2,4,6
/proc/22882/task/22922/stat : 22922 (java) R 22880 22880 14983 0 -1 4202560 5091 0 0 0 56639 4 0 0 20 0 19 0 445134946 15789527040 267217 33554432000 4194304 4196468 140731706732128 140257015848352 140257734484217 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22923] ppid=22880 vsize=15419460 memory=1066820 CPUtime=566.07 cores=0,2,4,6
/proc/22882/task/22923/stat : 22923 (java) R 22880 22880 14983 0 -1 4202560 8328 0 0 0 56600 7 0 0 20 0 19 0 445134946 15789527040 267217 33554432000 4194304 4196468 140731706732128 140257012689112 140257734484225 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22924] ppid=22880 vsize=15419460 memory=1452 CPUtime=566.74 cores=0,2,4,6
/proc/22882/task/22924/stat : 22924 (java) R 22880 22880 14983 0 -1 4202560 4020 0 0 0 56672 2 0 0 20 0 19 0 445134946 15789527040 267217 33554432000 4194304 4196468 140731706732128 140257014792456 140257735627274 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
Current children cumulated CPU time: 2312.35 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1070320 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+634.702 s]
/proc/loadavg: 8.29 8.42 8.41 9/239 23198
/proc/meminfo: memFree=30350732/32770624 swapFree=66997372/67108860
[pid=22880] ppid=22877 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22880/stat : 22880 (xcsp3-exec) S 22877 22880 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445133854 115843072 363 33554432000 4194304 5098028 140734242789088 140734242787192 140224615043708 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30380032 140734242796411 140734242796653 140734242796653 140734242799562 0
/proc/22880/statm: 28282 363 304 221 0 87 0
[pid=22882] ppid=22880 vsize=15419460 memory=996092 CPUtime=2520.34 cores=0,2,4,6
/proc/22882/stat : 22882 (java) S 22880 22880 14983 0 -1 1077944320 110338 0 0 0 251960 74 0 0 20 0 19 0 445133854 15789527040 249023 33554432000 4194304 4196468 140731706732128 140731706714672 140258092379895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
/proc/22882/statm: 3854865 249023 3551 1 0 3815965 0
[pid=22882/tid=22883] ppid=22880 vsize=15419460 memory=1452 CPUtime=2.02 cores=0,2,4,6
/proc/22882/task/22883/stat : 22883 (java) S 22880 22880 14983 0 -1 1077944384 11843 0 0 0 196 6 0 0 20 0 19 0 445133854 15789527040 249023 33554432000 4194304 4196468 140731706732128 140258096620672 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22884] ppid=22880 vsize=15419460 memory=1452 CPUtime=1.27 cores=0,2,4,6
/proc/22882/task/22884/stat : 22884 (java) S 22880 22880 14983 0 -1 1077944384 4166 0 0 0 119 8 0 0 20 0 19 0 445133855 15789527040 249023 33554432000 4194304 4196468 140731706732128 140258064223120 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22885] ppid=22880 vsize=15419460 memory=2124 CPUtime=1.28 cores=0,2,4,6
/proc/22882/task/22885/stat : 22885 (java) S 22880 22880 14983 0 -1 1077944384 2682 0 0 0 119 9 0 0 20 0 19 0 445133855 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257683671824 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22886] ppid=22880 vsize=15419460 memory=26140 CPUtime=1.27 cores=0,2,4,6
/proc/22882/task/22886/stat : 22886 (java) S 22880 22880 14983 0 -1 1077944384 4223 0 0 0 119 8 0 0 20 0 19 0 445133855 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257682619536 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22887] ppid=22880 vsize=15419460 memory=3472328296227679313 CPUtime=1.28 cores=0,2,4,6
/proc/22882/task/22887/stat : 22887 (java) S 22880 22880 14983 0 -1 1077944384 3461 0 0 0 120 8 0 0 20 0 19 0 445133855 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257681566736 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22888] ppid=22880 vsize=15419460 memory=7598824234097836114 CPUtime=0.63 cores=0,2,4,6
/proc/22882/task/22888/stat : 22888 (java) S 22880 22880 14983 0 -1 1077944384 8975 0 0 0 51 12 0 0 20 0 19 0 445133856 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257033484400 140258092391042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22889] ppid=22880 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22889/stat : 22889 (java) S 22880 22880 14983 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 445133857 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257032430432 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22890] ppid=22880 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22890/stat : 22890 (java) S 22880 22880 14983 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 445133857 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257031378048 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22891] ppid=22880 vsize=15419460 memory=932 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22891/stat : 22891 (java) S 22880 22880 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445133859 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257030326352 140258092398491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22892] ppid=22880 vsize=15419460 memory=3768 CPUtime=3.4 cores=0,2,4,6
/proc/22882/task/22892/stat : 22892 (java) S 22880 22880 14983 0 -1 1077944384 21349 0 0 0 338 2 0 0 20 0 19 0 445133859 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257029274224 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22893] ppid=22880 vsize=15419460 memory=3504 CPUtime=3.28 cores=0,2,4,6
/proc/22882/task/22893/stat : 22893 (java) S 22880 22880 14983 0 -1 1077944384 14567 0 0 0 326 2 0 0 20 0 19 0 445133859 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257028221424 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22894] ppid=22880 vsize=15419460 memory=48152 CPUtime=0.91 cores=0,2,4,6
/proc/22882/task/22894/stat : 22894 (java) S 22880 22880 14983 0 -1 1077944384 15029 0 0 0 89 2 0 0 20 0 19 0 445133859 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257027169136 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22895] ppid=22880 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22895/stat : 22895 (java) S 22880 22880 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445133859 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257026116576 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22896] ppid=22880 vsize=15419460 memory=996092 CPUtime=0.18 cores=0,2,4,6
/proc/22882/task/22896/stat : 22896 (java) S 22880 22880 14983 0 -1 1077944384 641 0 0 0 0 18 0 0 20 0 19 0 445133860 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257025063344 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22921] ppid=22880 vsize=15419460 memory=996092 CPUtime=618.61 cores=0,2,4,6
/proc/22882/task/22921/stat : 22921 (java) R 22880 22880 14983 0 -1 4202560 1442 0 0 0 61860 1 0 0 20 0 19 0 445134946 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257013738032 140257736521570 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22922] ppid=22880 vsize=15419460 memory=3504 CPUtime=618.02 cores=0,2,4,6
/proc/22882/task/22922/stat : 22922 (java) R 22880 22880 14983 0 -1 4202560 5321 0 0 0 61798 4 0 0 20 0 19 0 445134946 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257015847664 140257736579722 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22923] ppid=22880 vsize=15419460 memory=996092 CPUtime=617.89 cores=0,2,4,6
/proc/22882/task/22923/stat : 22923 (java) R 22880 22880 14983 0 -1 4202560 8609 0 0 0 61782 7 0 0 20 0 19 0 445134946 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257012686696 140257736514821 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22924] ppid=22880 vsize=15419460 memory=1408 CPUtime=618.55 cores=0,2,4,6
/proc/22882/task/22924/stat : 22924 (java) R 22880 22880 14983 0 -1 4202560 4188 0 0 0 61853 2 0 0 20 0 19 0 445134946 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257014792512 140257736514939 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
Current children cumulated CPU time: 2520.34 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 997544 KiB

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

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

[startup+634.771 s]
# the end of solver process 22882 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.83 s, system=0.754634 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+634.702 s]
/proc/loadavg: 8.29 8.42 8.41 9/239 23198
/proc/meminfo: memFree=30350732/32770624 swapFree=66997372/67108860
[pid=22880] ppid=22877 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22880/stat : 22880 (xcsp3-exec) S 22877 22880 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445133854 115843072 363 33554432000 4194304 5098028 140734242789088 140734242787192 140224615043708 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30380032 140734242796411 140734242796653 140734242796653 140734242799562 0
/proc/22880/statm: 28282 363 304 221 0 87 0
[pid=22882] ppid=22880 vsize=15419460 memory=996092 CPUtime=2520.34 cores=0,2,4,6
/proc/22882/stat : 22882 (java) S 22880 22880 14983 0 -1 1077944320 110338 0 0 0 251960 74 0 0 20 0 19 0 445133854 15789527040 249023 33554432000 4194304 4196468 140731706732128 140731706714672 140258092379895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
/proc/22882/statm: 3854865 249023 3551 1 0 3815965 0
[pid=22882/tid=22883] ppid=22880 vsize=15419460 memory=1452 CPUtime=2.02 cores=0,2,4,6
/proc/22882/task/22883/stat : 22883 (java) S 22880 22880 14983 0 -1 1077944384 11843 0 0 0 196 6 0 0 20 0 19 0 445133854 15789527040 249023 33554432000 4194304 4196468 140731706732128 140258096620672 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22884] ppid=22880 vsize=15419460 memory=1452 CPUtime=1.27 cores=0,2,4,6
/proc/22882/task/22884/stat : 22884 (java) S 22880 22880 14983 0 -1 1077944384 4166 0 0 0 119 8 0 0 20 0 19 0 445133855 15789527040 249023 33554432000 4194304 4196468 140731706732128 140258064223120 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22885] ppid=22880 vsize=15419460 memory=2124 CPUtime=1.28 cores=0,2,4,6
/proc/22882/task/22885/stat : 22885 (java) S 22880 22880 14983 0 -1 1077944384 2682 0 0 0 119 9 0 0 20 0 19 0 445133855 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257683671824 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22886] ppid=22880 vsize=15419460 memory=26140 CPUtime=1.27 cores=0,2,4,6
/proc/22882/task/22886/stat : 22886 (java) S 22880 22880 14983 0 -1 1077944384 4223 0 0 0 119 8 0 0 20 0 19 0 445133855 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257682619536 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22887] ppid=22880 vsize=15419460 memory=3472328296227679313 CPUtime=1.28 cores=0,2,4,6
/proc/22882/task/22887/stat : 22887 (java) S 22880 22880 14983 0 -1 1077944384 3461 0 0 0 120 8 0 0 20 0 19 0 445133855 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257681566736 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22888] ppid=22880 vsize=15419460 memory=7598824234097836114 CPUtime=0.63 cores=0,2,4,6
/proc/22882/task/22888/stat : 22888 (java) S 22880 22880 14983 0 -1 1077944384 8975 0 0 0 51 12 0 0 20 0 19 0 445133856 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257033484400 140258092391042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22889] ppid=22880 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22889/stat : 22889 (java) S 22880 22880 14983 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 445133857 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257032430432 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22890] ppid=22880 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22890/stat : 22890 (java) S 22880 22880 14983 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 445133857 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257031378048 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22891] ppid=22880 vsize=15419460 memory=932 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22891/stat : 22891 (java) S 22880 22880 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445133859 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257030326352 140258092398491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22892] ppid=22880 vsize=15419460 memory=3768 CPUtime=3.4 cores=0,2,4,6
/proc/22882/task/22892/stat : 22892 (java) S 22880 22880 14983 0 -1 1077944384 21349 0 0 0 338 2 0 0 20 0 19 0 445133859 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257029274224 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22893] ppid=22880 vsize=15419460 memory=3504 CPUtime=3.28 cores=0,2,4,6
/proc/22882/task/22893/stat : 22893 (java) S 22880 22880 14983 0 -1 1077944384 14567 0 0 0 326 2 0 0 20 0 19 0 445133859 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257028221424 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22894] ppid=22880 vsize=15419460 memory=48152 CPUtime=0.91 cores=0,2,4,6
/proc/22882/task/22894/stat : 22894 (java) S 22880 22880 14983 0 -1 1077944384 15029 0 0 0 89 2 0 0 20 0 19 0 445133859 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257027169136 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22895] ppid=22880 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22895/stat : 22895 (java) S 22880 22880 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445133859 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257026116576 140258092390101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22896] ppid=22880 vsize=15419460 memory=996092 CPUtime=0.18 cores=0,2,4,6
/proc/22882/task/22896/stat : 22896 (java) S 22880 22880 14983 0 -1 1077944384 641 0 0 0 0 18 0 0 20 0 19 0 445133860 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257025063344 140258092391042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22921] ppid=22880 vsize=15419460 memory=996092 CPUtime=618.61 cores=0,2,4,6
/proc/22882/task/22921/stat : 22921 (java) R 22880 22880 14983 0 -1 4202560 1442 0 0 0 61860 1 0 0 20 0 19 0 445134946 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257013738032 140257736521570 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22922] ppid=22880 vsize=15419460 memory=3504 CPUtime=618.02 cores=0,2,4,6
/proc/22882/task/22922/stat : 22922 (java) R 22880 22880 14983 0 -1 4202560 5321 0 0 0 61798 4 0 0 20 0 19 0 445134946 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257015847664 140257736579722 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22923] ppid=22880 vsize=15419460 memory=996092 CPUtime=617.89 cores=0,2,4,6
/proc/22882/task/22923/stat : 22923 (java) R 22880 22880 14983 0 -1 4202560 8609 0 0 0 61782 7 0 0 20 0 19 0 445134946 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257012686696 140257736514821 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
[pid=22882/tid=22924] ppid=22880 vsize=15419460 memory=1408 CPUtime=618.55 cores=0,2,4,6
/proc/22882/task/22924/stat : 22924 (java) R 22880 22880 14983 0 -1 4202560 4188 0 0 0 61853 2 0 0 20 0 19 0 445134946 15789527040 249023 33554432000 4194304 4196468 140731706732128 140257014792512 140257736514939 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34889728 140731706737647 140731706737818 140731706737818 140731706740687 0
Current children cumulated CPU time: 2520.34 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 997544 KiB

Child status: 143
Real time (s): 634.771
CPU time (s): 2520.59
CPU user time (s): 2519.83
CPU system time (s): 0.754634
CPU usage (%): 397.086
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 1148544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.83
system time used= 0.754634
maximum resident set size= 1154316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111065
page faults= 0
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38738
involuntary context switches= 44476


# summary of solver processes directly reported to runsolver:
#   pid: 22880,22882
#   total CPU time (s): 2520.59
#   total CPU user time (s): 2519.83
#   total CPU system time (s): 0.754634

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.86454 second user time and 7.19072 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05b.xml
MD5SUM	1883a0b97ed6164a2c6d9bdd2047bad0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	238.735
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	5734
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	13
Maximum variable degree	43
Distribution of variable degrees	[{"degree":13,"count":2},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":10},{"degree":18,"count":6},{"degree":19,"count":10},{"degree":20,"count":22},{"degree":21,"count":28},{"degree":22,"count":21},{"degree":23,"count":21},{"degree":24,"count":32},{"degree":25,"count":35},{"degree":26,"count":35},{"degree":27,"count":39},{"degree":28,"count":34},{"degree":29,"count":31},{"degree":30,"count":23},{"degree":31,"count":27},{"degree":32,"count":13},{"degree":33,"count":17},{"degree":34,"count":11},{"degree":35,"count":11},{"degree":36,"count":4},{"degree":37,"count":5},{"degree":38,"count":2},{"degree":39,"count":1},{"degree":40,"count":1},{"degree":41,"count":1},{"degree":42,"count":2},{"degree":43,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":5734}]
Number of extensional constraints	0
Number of intensional constraints	5734
Distribution of constraint types	[{"type":"intension","count":5734}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4399332

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
