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-06-14	SAT (TO)	13	2520.58	634.302
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 (8692 MiB free)
  memory of node 1: 16384 MiB (13511 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393406-1568314145/watcher-4393406-1568314145 -o /tmp/evaluation-result-4393406-1568314145/solver-4393406-1568314145 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15623 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1419715092 HOME/instance-4393406-1568314145.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=16629, runsolver pid=16626
Current StackSize limit: 8192 KiB


[startup+0.100115 s]*
/proc/loadavg: 7.01 7.29 4.80 8/232 16645
/proc/meminfo: memFree=22719316/32770624 swapFree=66977612/67108860
[pid=16629] ppid=16626 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (xcsp3-exec) S 16626 16629 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407671861 115843072 363 33554432000 4194304 5098028 140727594682592 140727594680696 140010050368124 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16973824 140727594689402 140727594689645 140727594689645 140727594692554 0
/proc/16629/statm: 28282 363 304 221 0 87 0
[pid=16631] ppid=16629 vsize=15144768 memory=29608 CPUtime=0.12 cores=0,2,4,6
/proc/16631/stat : 16631 (java) S 16629 16629 15592 0 -1 1077944320 5807 0 0 0 11 1 0 0 20 0 15 0 407671862 15508242432 7402 33554432000 4194304 4196468 140736542160160 140736542142704 140552211070711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
/proc/16631/statm: 3786192 7402 3148 1 0 3748377 0
[pid=16631/tid=16632] ppid=16629 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/16631/task/16632/stat : 16632 (java) R 16629 16629 15592 0 -1 4202560 3728 0 0 0 8 1 0 0 20 0 15 0 407671862 15508242432 7402 33554432000 4194304 4196468 140736542160160 140552215295120 140552211092637 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16633] ppid=16629 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16633/stat : 16633 (java) S 16629 16629 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671863 15508242432 7402 33554432000 4194304 4196468 140736542160160 140552139110672 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16634] ppid=16629 vsize=15144768 memory=288370772029159040 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16634/stat : 16634 (java) S 16629 16629 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671863 15508242432 7402 33554432000 4194304 4196468 140736542160160 140552138058128 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16635] ppid=16629 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16635/stat : 16635 (java) S 16629 16629 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671863 15508242432 7402 33554432000 4194304 4196468 140736542160160 140552137005584 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16636] ppid=16629 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16636/stat : 16636 (java) S 16629 16629 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407671863 15508242432 7402 33554432000 4194304 4196468 140736542160160 140552135953040 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16637] ppid=16629 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16637/stat : 16637 (java) S 16629 16629 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407671864 15508242432 7402 33554432000 4194304 4196468 140736542160160 140551679703536 140552211081858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16638] ppid=16629 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16638/stat : 16638 (java) S 16629 16629 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407671865 15508242432 7402 33554432000 4194304 4196468 140736542160160 140551678649760 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16639] ppid=16629 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16639/stat : 16639 (java) S 16629 16629 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407671865 15508242432 7402 33554432000 4194304 4196468 140736542160160 140551677597168 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16640] ppid=16629 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16640/stat : 16640 (java) S 16629 16629 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671867 15508242432 7402 33554432000 4194304 4196468 140736542160160 140551676545744 140552211089307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16641] ppid=16629 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16641/stat : 16641 (java) R 16629 16629 15592 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 407671867 15508242432 7402 33554432000 4194304 4196468 140736542160160 140551675492336 140552211081858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16642] ppid=16629 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16642/stat : 16642 (java) R 16629 16629 15592 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 15 0 407671867 15508242432 7402 33554432000 4194304 4196468 140736542160160 140551674439792 140552194506449 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16643] ppid=16629 vsize=15144768 memory=140395877447296 CPUtime=0.02 cores=0,2,4,6
/proc/16631/task/16643/stat : 16643 (java) R 16629 16629 15592 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 407671867 15508242432 7402 33554432000 4194304 4196468 140736542160160 140551673387248 140552195431984 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16644] ppid=16629 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16644/stat : 16644 (java) S 16629 16629 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671867 15508242432 7402 33554432000 4194304 4196468 140736542160160 140551672334944 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16645] ppid=16629 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16645/stat : 16645 (java) S 16629 16629 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671868 15508242432 7402 33554432000 4194304 4196468 140736542160160 140551671282480 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31060 KiB

[startup+0.210741 s]*
/proc/loadavg: 7.01 7.29 4.80 3/211 16647
/proc/meminfo: memFree=23050012/32770624 swapFree=66977612/67108860
[pid=16629] ppid=16626 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (xcsp3-exec) S 16626 16629 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407671861 115843072 363 33554432000 4194304 5098028 140727594682592 140727594680696 140010050368124 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16973824 140727594689402 140727594689645 140727594689645 140727594692554 0
/proc/16629/statm: 28282 363 304 221 0 87 0
[pid=16631] ppid=16629 vsize=15144768 memory=40292 CPUtime=0.34 cores=0,2,4,6
/proc/16631/stat : 16631 (java) S 16629 16629 15592 0 -1 1077944320 9314 0 0 0 31 3 0 0 20 0 15 0 407671862 15508242432 10073 33554432000 4194304 4196468 140736542160160 140736542142704 140552211070711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
/proc/16631/statm: 3786192 10073 3278 1 0 3748377 0
[pid=16631/tid=16632] ppid=16629 vsize=15144768 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/16631/task/16632/stat : 16632 (java) R 16629 16629 15592 0 -1 4202560 6617 0 0 0 17 2 0 0 20 0 15 0 407671862 15508242432 10073 33554432000 4194304 4196468 140736542160160 140552215308528 140552195151198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16633] ppid=16629 vsize=15144768 memory=343 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16633/stat : 16633 (java) S 16629 16629 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671863 15508242432 10073 33554432000 4194304 4196468 140736542160160 140552139110672 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16634] ppid=16629 vsize=15144768 memory=140395877463171 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16634/stat : 16634 (java) S 16629 16629 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671863 15508242432 10073 33554432000 4194304 4196468 140736542160160 140552138058128 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16635] ppid=16629 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16635/stat : 16635 (java) S 16629 16629 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671863 15508242432 10073 33554432000 4194304 4196468 140736542160160 140552137005584 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16636] ppid=16629 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16636/stat : 16636 (java) S 16629 16629 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407671863 15508242432 10073 33554432000 4194304 4196468 140736542160160 140552135953040 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16637] ppid=16629 vsize=15144768 memory=140395877447296 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16637/stat : 16637 (java) S 16629 16629 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407671864 15508242432 10073 33554432000 4194304 4196468 140736542160160 140551679703536 140552211081858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16638] ppid=16629 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16638/stat : 16638 (java) S 16629 16629 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407671865 15508242432 10073 33554432000 4194304 4196468 140736542160160 140551678649760 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16639] ppid=16629 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16639/stat : 16639 (java) S 16629 16629 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407671865 15508242432 10073 33554432000 4194304 4196468 140736542160160 140551677597168 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16640] ppid=16629 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16640/stat : 16640 (java) S 16629 16629 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671867 15508242432 10073 33554432000 4194304 4196468 140736542160160 140551676545744 140552211089307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16641] ppid=16629 vsize=15144768 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16631/task/16641/stat : 16641 (java) S 16629 16629 15592 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 15 0 407671867 15508242432 10073 33554432000 4194304 4196468 140736542160160 140551675492336 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16642] ppid=16629 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/16631/task/16642/stat : 16642 (java) S 16629 16629 15592 0 -1 1077944384 181 0 0 0 3 0 0 0 20 0 15 0 407671867 15508242432 10073 33554432000 4194304 4196468 140736542160160 140551674439792 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16643] ppid=16629 vsize=15144768 memory=140395877447296 CPUtime=0.08 cores=0,2,4,6
/proc/16631/task/16643/stat : 16643 (java) S 16629 16629 15592 0 -1 1077944384 772 0 0 0 8 0 0 0 20 0 15 0 407671867 15508242432 10073 33554432000 4194304 4196468 140736542160160 140551673387248 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16644] ppid=16629 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16644/stat : 16644 (java) S 16629 16629 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671867 15508242432 10073 33554432000 4194304 4196468 140736542160160 140551672334944 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16645] ppid=16629 vsize=15144768 memory=140395877447296 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16645/stat : 16645 (java) S 16629 16629 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671868 15508242432 10073 33554432000 4194304 4196468 140736542160160 140551671282480 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41744 KiB

[startup+0.311311 s]*
/proc/loadavg: 7.01 7.29 4.80 4/217 16667
/proc/meminfo: memFree=23040024/32770624 swapFree=66977612/67108860
[pid=16629] ppid=16626 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (xcsp3-exec) S 16626 16629 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407671861 115843072 363 33554432000 4194304 5098028 140727594682592 140727594680696 140010050368124 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16973824 140727594689402 140727594689645 140727594689645 140727594692554 0
/proc/16629/statm: 28282 363 304 221 0 87 0
[pid=16631] ppid=16629 vsize=15149024 memory=49724 CPUtime=0.54 cores=0,2,4,6
/proc/16631/stat : 16631 (java) S 16629 16629 15592 0 -1 1077944320 10814 0 0 0 50 4 0 0 20 0 15 0 407671862 15512600576 12431 33554432000 4194304 4196468 140736542160160 140736542142704 140552211070711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
/proc/16631/statm: 3787256 12431 3353 1 0 3748377 0
[pid=16631/tid=16632] ppid=16629 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/16631/task/16632/stat : 16632 (java) R 16629 16629 15592 0 -1 4202560 7809 0 0 0 27 3 0 0 20 0 15 0 407671862 15512600576 12500 33554432000 4194304 4196468 140736542160160 140552215301824 140552195151198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16633] ppid=16629 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16633/stat : 16633 (java) S 16629 16629 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671863 15512600576 12500 33554432000 4194304 4196468 140736542160160 140552139110672 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16634] ppid=16629 vsize=15149024 memory=140395877463171 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16634/stat : 16634 (java) S 16629 16629 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671863 15512600576 12500 33554432000 4194304 4196468 140736542160160 140552138058128 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16635] ppid=16629 vsize=15149024 memory=140395877447296 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16635/stat : 16635 (java) S 16629 16629 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671863 15512600576 12500 33554432000 4194304 4196468 140736542160160 140552137005584 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16636] ppid=16629 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16636/stat : 16636 (java) S 16629 16629 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407671863 15512600576 12500 33554432000 4194304 4196468 140736542160160 140552135953040 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16637] ppid=16629 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16637/stat : 16637 (java) S 16629 16629 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407671864 15512600576 12500 33554432000 4194304 4196468 140736542160160 140551679703536 140552211081858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16638] ppid=16629 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16638/stat : 16638 (java) S 16629 16629 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407671865 15512600576 12500 33554432000 4194304 4196468 140736542160160 140551678649760 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16639] ppid=16629 vsize=15149024 memory=140395877447296 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16639/stat : 16639 (java) S 16629 16629 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407671865 15512600576 12500 33554432000 4194304 4196468 140736542160160 140551677597168 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16640] ppid=16629 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16640/stat : 16640 (java) S 16629 16629 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671867 15512600576 12500 33554432000 4194304 4196468 140736542160160 140551676545744 140552211089307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16641] ppid=16629 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/16631/task/16641/stat : 16641 (java) S 16629 16629 15592 0 -1 1077944384 590 0 0 0 4 0 0 0 20 0 15 0 407671867 15512600576 12500 33554432000 4194304 4196468 140736542160160 140551675492336 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16642] ppid=16629 vsize=15149024 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/16631/task/16642/stat : 16642 (java) S 16629 16629 15592 0 -1 1077944384 202 0 0 0 5 0 0 0 20 0 15 0 407671867 15512600576 12500 33554432000 4194304 4196468 140736542160160 140551674439792 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16643] ppid=16629 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/16631/task/16643/stat : 16643 (java) S 16629 16629 15592 0 -1 1077944384 922 0 0 0 12 0 0 0 20 0 15 0 407671867 15512600576 12500 33554432000 4194304 4196468 140736542160160 140551673387248 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16644] ppid=16629 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16644/stat : 16644 (java) S 16629 16629 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671867 15512600576 12500 33554432000 4194304 4196468 140736542160160 140551672334944 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16645] ppid=16629 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16645/stat : 16645 (java) S 16629 16629 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671868 15512600576 12500 33554432000 4194304 4196468 140736542160160 140551671282480 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51176 KiB

[startup+0.701741 s]
/proc/loadavg: 7.01 7.29 4.80 5/226 16676
/proc/meminfo: memFree=22996508/32770624 swapFree=66977612/67108860
[pid=16629] ppid=16626 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (xcsp3-exec) S 16626 16629 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407671861 115843072 363 33554432000 4194304 5098028 140727594682592 140727594680696 140010050368124 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16973824 140727594689402 140727594689645 140727594689645 140727594692554 0
/proc/16629/statm: 28282 363 304 221 0 87 0
[pid=16631] ppid=16629 vsize=15151148 memory=107100 CPUtime=1.66 cores=0,2,4,6
/proc/16631/stat : 16631 (java) S 16629 16629 15592 0 -1 1077944320 13884 0 0 0 161 5 0 0 20 0 15 0 407671862 15514775552 26775 33554432000 4194304 4196468 140736542160160 140736542142704 140552211070711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
/proc/16631/statm: 3787787 26775 3440 1 0 3748889 0
[pid=16631/tid=16632] ppid=16629 vsize=15151148 memory=-6229992904159229120 CPUtime=0.66 cores=0,2,4,6
/proc/16631/task/16632/stat : 16632 (java) R 16629 16629 15592 0 -1 4202560 8277 0 0 0 63 3 0 0 20 0 15 0 407671862 15514775552 26775 33554432000 4194304 4196468 140736542160160 140552215305512 140551818443720 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16633] ppid=16629 vsize=15151148 memory=3053511329498284128 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16633/stat : 16633 (java) S 16629 16629 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671863 15514775552 26775 33554432000 4194304 4196468 140736542160160 140552139110672 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16634] ppid=16629 vsize=15151148 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16634/stat : 16634 (java) S 16629 16629 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671863 15514775552 26775 33554432000 4194304 4196468 140736542160160 140552138058128 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16635] ppid=16629 vsize=15151148 memory=704 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16635/stat : 16635 (java) S 16629 16629 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671863 15514775552 26775 33554432000 4194304 4196468 140736542160160 140552137005584 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16636] ppid=16629 vsize=15151148 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16636/stat : 16636 (java) S 16629 16629 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407671863 15514775552 26775 33554432000 4194304 4196468 140736542160160 140552135953040 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16637] ppid=16629 vsize=15151148 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16637/stat : 16637 (java) S 16629 16629 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407671864 15514775552 26775 33554432000 4194304 4196468 140736542160160 140551679703536 140552211081858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16638] ppid=16629 vsize=15151148 memory=780 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16638/stat : 16638 (java) S 16629 16629 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407671865 15514775552 26775 33554432000 4194304 4196468 140736542160160 140551678649760 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16639] ppid=16629 vsize=15151148 memory=3252 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16639/stat : 16639 (java) S 16629 16629 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407671865 15514775552 26775 33554432000 4194304 4196468 140736542160160 140551677597168 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16640] ppid=16629 vsize=15151148 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16640/stat : 16640 (java) S 16629 16629 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671867 15514775552 26775 33554432000 4194304 4196468 140736542160160 140551676545744 140552211089307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16641] ppid=16629 vsize=15151148 memory=5964 CPUtime=0.33 cores=0,2,4,6
/proc/16631/task/16641/stat : 16641 (java) R 16629 16629 15592 0 -1 4202560 1588 0 0 0 33 0 0 0 20 0 15 0 407671867 15514775552 26775 33554432000 4194304 4196468 140736542160160 140551675473352 140552196178303 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16642] ppid=16629 vsize=15151148 memory=7552 CPUtime=0.35 cores=0,2,4,6
/proc/16631/task/16642/stat : 16642 (java) R 16629 16629 15592 0 -1 4202560 1080 0 0 0 35 0 0 0 20 0 15 0 407671867 15514775552 26775 33554432000 4194304 4196468 140736542160160 140551674425672 140552196186000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16643] ppid=16629 vsize=15151148 memory=2832 CPUtime=0.29 cores=0,2,4,6
/proc/16631/task/16643/stat : 16643 (java) S 16629 16629 15592 0 -1 1077944384 1632 0 0 0 28 1 0 0 20 0 15 0 407671867 15514775552 26775 33554432000 4194304 4196468 140736542160160 140551673387248 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16644] ppid=16629 vsize=15151148 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16644/stat : 16644 (java) S 16629 16629 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407671867 15514775552 26775 33554432000 4194304 4196468 140736542160160 140551672334944 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16645] ppid=16629 vsize=15151148 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16645/stat : 16645 (java) S 16629 16629 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407671868 15514775552 26775 33554432000 4194304 4196468 140736542160160 140551671282480 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 108552 KiB

[startup+1.50178 s]
/proc/loadavg: 7.01 7.29 4.80 5/207 16701
/proc/meminfo: memFree=22916460/32770624 swapFree=66977612/67108860
[pid=16629] ppid=16626 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (xcsp3-exec) S 16626 16629 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407671861 115843072 363 33554432000 4194304 5098028 140727594682592 140727594680696 140010050368124 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16973824 140727594689402 140727594689645 140727594689645 140727594692554 0
/proc/16629/statm: 28282 363 304 221 0 87 0

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

/proc/16631/stat : 16631 (java) S 16629 16629 15592 0 -1 1077944320 92638 0 0 0 207380 99 0 0 20 0 19 0 407671862 15926894592 750586 33554432000 4194304 4196468 140736542160160 140736542142704 140552211070711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
/proc/16631/statm: 3888402 750586 3540 1 0 3849504 0
[pid=16631/tid=16632] ppid=16629 vsize=15553608 memory=3002344 CPUtime=3.35 cores=0,2,4,6
/proc/16631/task/16632/stat : 16632 (java) S 16629 16629 15592 0 -1 1077944384 11142 0 0 0 325 10 0 0 20 0 19 0 407671862 15926894592 750586 33554432000 4194304 4196468 140736542160160 140552215311488 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16633] ppid=16629 vsize=15553608 memory=3002344 CPUtime=0.4 cores=0,2,4,6
/proc/16631/task/16633/stat : 16633 (java) S 16629 16629 15592 0 -1 1077944384 3692 0 0 0 32 8 0 0 20 0 19 0 407671863 15926894592 750586 33554432000 4194304 4196468 140736542160160 140552139110672 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16634] ppid=16629 vsize=15553608 memory=3002344 CPUtime=0.38 cores=0,2,4,6
/proc/16631/task/16634/stat : 16634 (java) S 16629 16629 15592 0 -1 1077944384 1346 0 0 0 30 8 0 0 20 0 19 0 407671863 15926894592 750586 33554432000 4194304 4196468 140736542160160 140552138058128 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16635] ppid=16629 vsize=15553608 memory=3002344 CPUtime=0.38 cores=0,2,4,6
/proc/16631/task/16635/stat : 16635 (java) S 16629 16629 15592 0 -1 1077944384 3591 0 0 0 30 8 0 0 20 0 19 0 407671863 15926894592 750586 33554432000 4194304 4196468 140736542160160 140552137005584 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16636] ppid=16629 vsize=15553608 memory=3002344 CPUtime=0.39 cores=0,2,4,6
/proc/16631/task/16636/stat : 16636 (java) S 16629 16629 15592 0 -1 1077944384 2921 0 0 0 29 10 0 0 20 0 19 0 407671863 15926894592 750586 33554432000 4194304 4196468 140736542160160 140552135953040 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16637] ppid=16629 vsize=15553608 memory=1452 CPUtime=0.05 cores=0,2,4,6
/proc/16631/task/16637/stat : 16637 (java) S 16629 16629 15592 0 -1 1077944384 4774 0 0 0 4 1 0 0 20 0 19 0 407671864 15926894592 750586 33554432000 4194304 4196468 140736542160160 140551679703536 140552211081858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16638] ppid=16629 vsize=15553608 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16638/stat : 16638 (java) S 16629 16629 15592 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 19 0 407671865 15926894592 750586 33554432000 4194304 4196468 140736542160160 140551678649824 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16639] ppid=16629 vsize=15553608 memory=3472328296227679313 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16639/stat : 16639 (java) S 16629 16629 15592 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 19 0 407671865 15926894592 750586 33554432000 4194304 4196468 140736542160160 140551677597184 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16640] ppid=16629 vsize=15553608 memory=140395770794852 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16640/stat : 16640 (java) S 16629 16629 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407671867 15926894592 750586 33554432000 4194304 4196468 140736542160160 140551676545744 140552211089307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16641] ppid=16629 vsize=15553608 memory=1452 CPUtime=3.74 cores=0,2,4,6
/proc/16631/task/16641/stat : 16641 (java) S 16629 16629 15592 0 -1 1077944384 11553 0 0 0 372 2 0 0 20 0 19 0 407671867 15926894592 750586 33554432000 4194304 4196468 140736542160160 140551675492336 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16642] ppid=16629 vsize=15553608 memory=3022348 CPUtime=3.73 cores=0,2,4,6
/proc/16631/task/16642/stat : 16642 (java) S 16629 16629 15592 0 -1 1077944384 9371 0 0 0 372 1 0 0 20 0 19 0 407671867 15926894592 750586 33554432000 4194304 4196468 140736542160160 140551674439792 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16643] ppid=16629 vsize=15553608 memory=0 CPUtime=0.81 cores=0,2,4,6
/proc/16631/task/16643/stat : 16643 (java) S 16629 16629 15592 0 -1 1077944384 9637 0 0 0 79 2 0 0 20 0 19 0 407671867 15926894592 750586 33554432000 4194304 4196468 140736542160160 140551673387248 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16644] ppid=16629 vsize=15553608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16644/stat : 16644 (java) S 16629 16629 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407671867 15926894592 750586 33554432000 4194304 4196468 140736542160160 140551672334944 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16645] ppid=16629 vsize=15553608 memory=1452 CPUtime=0.14 cores=0,2,4,6
/proc/16631/task/16645/stat : 16645 (java) S 16629 16629 15592 0 -1 1077944384 954 0 0 0 14 0 0 0 20 0 19 0 407671868 15926894592 750586 33554432000 4194304 4196468 140736542160160 140551671282480 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16755] ppid=16629 vsize=15553608 memory=1452 CPUtime=515.61 cores=0,2,4,6
/proc/16631/task/16755/stat : 16755 (java) R 16629 16629 15592 0 -1 4202560 1737 0 0 0 51561 0 0 0 20 0 19 0 407672284 15926894592 750586 33554432000 4194304 4196468 140736542160160 140551590481048 140551823338137 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16756] ppid=16629 vsize=15553608 memory=3002344 CPUtime=514.84 cores=0,2,4,6
/proc/16631/task/16756/stat : 16756 (java) R 16629 16629 15592 0 -1 4202560 17349 0 0 0 51468 16 0 0 20 0 19 0 407672284 15926894592 750586 33554432000 4194304 4196468 140736542160160 140551591535048 140551823126280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16757] ppid=16629 vsize=15553608 memory=1452 CPUtime=513.37 cores=0,2,4,6
/proc/16631/task/16757/stat : 16757 (java) R 16629 16629 15592 0 -1 4202560 1910 0 0 0 51337 0 0 0 20 0 19 0 407672284 15926894592 750586 33554432000 4194304 4196468 140736542160160 140551587335648 140551823341337 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16758] ppid=16629 vsize=15553608 memory=280789661078556 CPUtime=515.97 cores=0,2,4,6
/proc/16631/task/16758/stat : 16758 (java) R 16629 16629 15592 0 -1 4202560 10589 0 0 0 51570 27 0 0 20 0 19 0 407672284 15926894592 750586 33554432000 4194304 4196468 140736542160160 140551586278528 140551823549400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
Current children cumulated CPU time: 2074.79 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 3003796 KiB

[startup+582.302 s]
/proc/loadavg: 8.13 8.24 6.51 10/236 16921
/proc/meminfo: memFree=19363052/32770624 swapFree=66977612/67108860
[pid=16629] ppid=16626 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (xcsp3-exec) S 16626 16629 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407671861 115843072 363 33554432000 4194304 5098028 140727594682592 140727594680696 140010050368124 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16973824 140727594689402 140727594689645 140727594689645 140727594692554 0
/proc/16629/statm: 28282 363 304 221 0 87 0
[pid=16631] ppid=16629 vsize=15553608 memory=2936652 CPUtime=2313.66 cores=0,2,4,6
/proc/16631/stat : 16631 (java) S 16629 16629 15592 0 -1 1077944320 97758 0 0 0 231266 100 0 0 20 0 19 0 407671862 15926894592 734163 33554432000 4194304 4196468 140736542160160 140736542142704 140552211070711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
/proc/16631/statm: 3888402 734163 3540 1 0 3849504 0
[pid=16631/tid=16632] ppid=16629 vsize=15553608 memory=2936652 CPUtime=3.35 cores=0,2,4,6
/proc/16631/task/16632/stat : 16632 (java) S 16629 16629 15592 0 -1 1077944384 11142 0 0 0 325 10 0 0 20 0 19 0 407671862 15926894592 734163 33554432000 4194304 4196468 140736542160160 140552215311488 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16633] ppid=16629 vsize=15553608 memory=2936652 CPUtime=0.44 cores=0,2,4,6
/proc/16631/task/16633/stat : 16633 (java) S 16629 16629 15592 0 -1 1077944384 3808 0 0 0 35 9 0 0 20 0 19 0 407671863 15926894592 734163 33554432000 4194304 4196468 140736542160160 140552139110672 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16634] ppid=16629 vsize=15553608 memory=1452 CPUtime=0.42 cores=0,2,4,6
/proc/16631/task/16634/stat : 16634 (java) S 16629 16629 15592 0 -1 1077944384 1661 0 0 0 33 9 0 0 20 0 19 0 407671863 15926894592 734163 33554432000 4194304 4196468 140736542160160 140552138058128 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16635] ppid=16629 vsize=15553608 memory=2936652 CPUtime=0.42 cores=0,2,4,6
/proc/16631/task/16635/stat : 16635 (java) S 16629 16629 15592 0 -1 1077944384 3763 0 0 0 34 8 0 0 20 0 19 0 407671863 15926894592 734163 33554432000 4194304 4196468 140736542160160 140552137005584 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16636] ppid=16629 vsize=15553608 memory=3616 CPUtime=0.42 cores=0,2,4,6
/proc/16631/task/16636/stat : 16636 (java) S 16629 16629 15592 0 -1 1077944384 3538 0 0 0 32 10 0 0 20 0 19 0 407671863 15926894592 734163 33554432000 4194304 4196468 140736542160160 140552135953040 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16637] ppid=16629 vsize=15553608 memory=38052 CPUtime=0.06 cores=0,2,4,6
/proc/16631/task/16637/stat : 16637 (java) S 16629 16629 15592 0 -1 1077944384 5272 0 0 0 5 1 0 0 20 0 19 0 407671864 15926894592 734163 33554432000 4194304 4196468 140736542160160 140551679703536 140552211081858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16638] ppid=16629 vsize=15553608 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16638/stat : 16638 (java) S 16629 16629 15592 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 19 0 407671865 15926894592 734163 33554432000 4194304 4196468 140736542160160 140551678649824 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16639] ppid=16629 vsize=15553608 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16639/stat : 16639 (java) S 16629 16629 15592 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 19 0 407671865 15926894592 734163 33554432000 4194304 4196468 140736542160160 140551677597184 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16640] ppid=16629 vsize=15553608 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16640/stat : 16640 (java) S 16629 16629 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407671867 15926894592 734163 33554432000 4194304 4196468 140736542160160 140551676545744 140552211089307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16641] ppid=16629 vsize=15553608 memory=1452 CPUtime=3.74 cores=0,2,4,6
/proc/16631/task/16641/stat : 16641 (java) S 16629 16629 15592 0 -1 1077944384 12466 0 0 0 372 2 0 0 20 0 19 0 407671867 15926894592 734163 33554432000 4194304 4196468 140736542160160 140551675492336 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16642] ppid=16629 vsize=15553608 memory=2951528 CPUtime=3.73 cores=0,2,4,6
/proc/16631/task/16642/stat : 16642 (java) S 16629 16629 15592 0 -1 1077944384 9375 0 0 0 372 1 0 0 20 0 19 0 407671867 15926894592 734163 33554432000 4194304 4196468 140736542160160 140551674439792 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16643] ppid=16629 vsize=15553608 memory=1452 CPUtime=0.81 cores=0,2,4,6
/proc/16631/task/16643/stat : 16643 (java) S 16629 16629 15592 0 -1 1077944384 9653 0 0 0 79 2 0 0 20 0 19 0 407671867 15926894592 734163 33554432000 4194304 4196468 140736542160160 140551673387248 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16644] ppid=16629 vsize=15553608 memory=2951528 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16644/stat : 16644 (java) S 16629 16629 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407671867 15926894592 734163 33554432000 4194304 4196468 140736542160160 140551672334944 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16645] ppid=16629 vsize=15553608 memory=2960760 CPUtime=0.16 cores=0,2,4,6
/proc/16631/task/16645/stat : 16645 (java) S 16629 16629 15592 0 -1 1077944384 1018 0 0 0 16 0 0 0 20 0 19 0 407671868 15926894592 734163 33554432000 4194304 4196468 140736542160160 140551671282480 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16755] ppid=16629 vsize=15553608 memory=1452 CPUtime=575.4 cores=0,2,4,6
/proc/16631/task/16755/stat : 16755 (java) R 16629 16629 15592 0 -1 4202560 1966 0 0 0 57540 0 0 0 20 0 19 0 407672284 15926894592 734163 33554432000 4194304 4196468 140736542160160 140551590481032 140551823341667 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16756] ppid=16629 vsize=15553608 memory=1452 CPUtime=574.45 cores=0,2,4,6
/proc/16631/task/16756/stat : 16756 (java) R 16629 16629 15592 0 -1 4202560 18200 0 0 0 57429 16 0 0 20 0 19 0 407672284 15926894592 734163 33554432000 4194304 4196468 140736542160160 140551591534464 140551823464847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16757] ppid=16629 vsize=15553608 memory=1452 CPUtime=573.2 cores=0,2,4,6
/proc/16631/task/16757/stat : 16757 (java) R 16629 16629 15592 0 -1 4202560 2257 0 0 0 57320 0 0 0 20 0 19 0 407672284 15926894592 734163 33554432000 4194304 4196468 140736542160160 140551587333464 140551823126232 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16758] ppid=16629 vsize=15553608 memory=2943320 CPUtime=575.42 cores=0,2,4,6
/proc/16631/task/16758/stat : 16758 (java) R 16629 16629 15592 0 -1 4202560 11567 0 0 0 57515 27 0 0 20 0 19 0 407672284 15926894592 734163 33554432000 4194304 4196468 140736542160160 140551586281760 140551823549336 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
Current children cumulated CPU time: 2313.66 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 2938104 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+634.202 s]
/proc/loadavg: 8.50 8.32 6.62 9/235 16925
/proc/meminfo: memFree=19331764/32770624 swapFree=66977612/67108860
[pid=16629] ppid=16626 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (xcsp3-exec) S 16626 16629 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407671861 115843072 363 33554432000 4194304 5098028 140727594682592 140727594680696 140010050368124 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16973824 140727594689402 140727594689645 140727594689645 140727594692554 0
/proc/16629/statm: 28282 363 304 221 0 87 0
[pid=16631] ppid=16629 vsize=15553608 memory=2958608 CPUtime=2520.23 cores=0,2,4,6
/proc/16631/stat : 16631 (java) S 16629 16629 15592 0 -1 1077944320 101365 0 0 0 251920 103 0 0 20 0 19 0 407671862 15926894592 739652 33554432000 4194304 4196468 140736542160160 140736542142704 140552211070711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
/proc/16631/statm: 3888402 739652 3540 1 0 3849504 0
[pid=16631/tid=16632] ppid=16629 vsize=15553608 memory=912 CPUtime=3.35 cores=0,2,4,6
/proc/16631/task/16632/stat : 16632 (java) S 16629 16629 15592 0 -1 1077944384 11142 0 0 0 325 10 0 0 20 0 19 0 407671862 15926894592 739652 33554432000 4194304 4196468 140736542160160 140552215311488 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16633] ppid=16629 vsize=15553608 memory=1984 CPUtime=0.51 cores=0,2,4,6
/proc/16631/task/16633/stat : 16633 (java) S 16629 16629 15592 0 -1 1077944384 4176 0 0 0 42 9 0 0 20 0 19 0 407671863 15926894592 739652 33554432000 4194304 4196468 140736542160160 140552139110672 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16634] ppid=16629 vsize=15553608 memory=2480 CPUtime=0.49 cores=0,2,4,6
/proc/16631/task/16634/stat : 16634 (java) S 16629 16629 15592 0 -1 1077944384 1783 0 0 0 40 9 0 0 20 0 19 0 407671863 15926894592 739652 33554432000 4194304 4196468 140736542160160 140552138058128 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16635] ppid=16629 vsize=15553608 memory=1768 CPUtime=0.49 cores=0,2,4,6
/proc/16631/task/16635/stat : 16635 (java) S 16629 16629 15592 0 -1 1077944384 4433 0 0 0 40 9 0 0 20 0 19 0 407671863 15926894592 739652 33554432000 4194304 4196468 140736542160160 140552137005584 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16636] ppid=16629 vsize=15553608 memory=1768 CPUtime=0.5 cores=0,2,4,6
/proc/16631/task/16636/stat : 16636 (java) S 16629 16629 15592 0 -1 1077944384 4026 0 0 0 39 11 0 0 20 0 19 0 407671863 15926894592 739652 33554432000 4194304 4196468 140736542160160 140552135953040 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16637] ppid=16629 vsize=15553608 memory=111632 CPUtime=0.08 cores=0,2,4,6
/proc/16631/task/16637/stat : 16637 (java) S 16629 16629 15592 0 -1 1077944384 5810 0 0 0 6 2 0 0 20 0 19 0 407671864 15926894592 739652 33554432000 4194304 4196468 140736542160160 140551679703536 140552211081858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16638] ppid=16629 vsize=15553608 memory=796 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16638/stat : 16638 (java) S 16629 16629 15592 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 19 0 407671865 15926894592 739652 33554432000 4194304 4196468 140736542160160 140551678649824 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16639] ppid=16629 vsize=15553608 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16639/stat : 16639 (java) S 16629 16629 15592 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 19 0 407671865 15926894592 739652 33554432000 4194304 4196468 140736542160160 140551677597184 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16640] ppid=16629 vsize=15553608 memory=916 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16640/stat : 16640 (java) S 16629 16629 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407671867 15926894592 739652 33554432000 4194304 4196468 140736542160160 140551676545744 140552211089307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16641] ppid=16629 vsize=15553608 memory=3848 CPUtime=3.74 cores=0,2,4,6
/proc/16631/task/16641/stat : 16641 (java) S 16629 16629 15592 0 -1 1077944384 12473 0 0 0 372 2 0 0 20 0 19 0 407671867 15926894592 739652 33554432000 4194304 4196468 140736542160160 140551675492336 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16642] ppid=16629 vsize=15553608 memory=1452 CPUtime=3.73 cores=0,2,4,6
/proc/16631/task/16642/stat : 16642 (java) S 16629 16629 15592 0 -1 1077944384 9379 0 0 0 372 1 0 0 20 0 19 0 407671867 15926894592 739652 33554432000 4194304 4196468 140736542160160 140551674439792 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16643] ppid=16629 vsize=15553608 memory=704 CPUtime=0.81 cores=0,2,4,6
/proc/16631/task/16643/stat : 16643 (java) S 16629 16629 15592 0 -1 1077944384 9663 0 0 0 79 2 0 0 20 0 19 0 407671867 15926894592 739652 33554432000 4194304 4196468 140736542160160 140551673387248 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16644] ppid=16629 vsize=15553608 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/16631/task/16644/stat : 16644 (java) S 16629 16629 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407671867 15926894592 739652 33554432000 4194304 4196468 140736542160160 140551672334944 140552211080917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16645] ppid=16629 vsize=15553608 memory=1556 CPUtime=0.17 cores=0,2,4,6
/proc/16631/task/16645/stat : 16645 (java) S 16629 16629 15592 0 -1 1077944384 1058 0 0 0 17 0 0 0 20 0 19 0 407671868 15926894592 739652 33554432000 4194304 4196468 140736542160160 140551671282480 140552211081858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16755] ppid=16629 vsize=15553608 memory=780 CPUtime=626.99 cores=0,2,4,6
/proc/16631/task/16755/stat : 16755 (java) R 16629 16629 15592 0 -1 4202560 2198 0 0 0 62699 0 0 0 20 0 19 0 407672284 15926894592 739652 33554432000 4194304 4196468 140736542160160 140551590481048 140551823126232 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16756] ppid=16629 vsize=15553608 memory=3252 CPUtime=625.9 cores=0,2,4,6
/proc/16631/task/16756/stat : 16756 (java) R 16629 16629 15592 0 -1 4202560 18643 0 0 0 62574 16 0 0 20 0 19 0 407672284 15926894592 739652 33554432000 4194304 4196468 140736542160160 140551591534912 140551823668693 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16757] ppid=16629 vsize=15553608 memory=1112 CPUtime=624.8 cores=0,2,4,6
/proc/16631/task/16757/stat : 16757 (java) R 16629 16629 15592 0 -1 4202560 2594 0 0 0 62480 0 0 0 20 0 19 0 407672284 15926894592 739652 33554432000 4194304 4196468 140736542160160 140551587332680 140551823278796 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
[pid=16631/tid=16758] ppid=16629 vsize=15553608 memory=5964 CPUtime=627.03 cores=0,2,4,6
/proc/16631/task/16758/stat : 16758 (java) R 16629 16629 15592 0 -1 4202560 11915 0 0 0 62676 27 0 0 20 0 19 0 407672284 15926894592 739652 33554432000 4194304 4196468 140736542160160 140551586281872 140551824605807 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140736542163951 140736542164122 140736542164122 140736542166991 0
Current children cumulated CPU time: 2520.23 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 2960060 KiB

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

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

[startup+634.302 s]
# the end of solver process 16631 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.53 s, system=1.05014 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

Child status: 143
Real time (s): 634.302
CPU time (s): 2520.58
CPU user time (s): 2519.53
CPU system time (s): 1.05014
CPU usage (%): 397.379
Max. virtual memory (cumulated for all children) (KiB): 15666736
Max. memory (cumulated for all children) (KiB): 3488564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.53
system time used= 1.05014
maximum resident set size= 3501448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103099
page faults= 0
swaps= 0
block input operations= 0
block output operations= 824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18240
involuntary context switches= 32432


# summary of solver processes directly reported to runsolver:
#   pid: 16629,16631
#   total CPU time (s): 2520.58
#   total CPU user time (s): 2519.53
#   total CPU system time (s): 1.05014

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.04833 second user time and 6.95496 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-school1.xml
MD5SUM	9dec5151d217f705456bb861c341cf0d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	13
Best CPU time to get the best result obtained on this benchmark	68.3294
Satisfiable
(Un)Satisfiability was proved
Number of variables	385
Number of constraints	19095
Number of domains	1
Minimum domain size	385
Maximum domain size	385
Distribution of domain sizes	[{"size":385,"count":385}]
Minimum variable degree	2
Maximum variable degree	283
Distribution of variable degrees	[{"degree":2,"count":8},{"degree":3,"count":2},{"degree":4,"count":3},{"degree":5,"count":2},{"degree":6,"count":1},{"degree":8,"count":1},{"degree":9,"count":4},{"degree":10,"count":1},{"degree":12,"count":1},{"degree":13,"count":4},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":22,"count":1},{"degree":24,"count":3},{"degree":25,"count":5},{"degree":26,"count":2},{"degree":27,"count":1},{"degree":29,"count":2},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":35,"count":2},{"degree":39,"count":1},"...",{"degree":150,"count":2}, {"degree":154,"count":3}, {"degree":155,"count":1}, {"degree":156,"count":2}, {"degree":160,"count":2}, {"degree":161,"count":3}, {"degree":163,"count":1}, {"degree":164,"count":1}, {"degree":167,"count":1}, {"degree":168,"count":1}, {"degree":172,"count":1}, {"degree":175,"count":1}, {"degree":177,"count":1}, {"degree":230,"count":2}, {"degree":246,"count":1}, {"degree":247,"count":1}, {"degree":252,"count":1}, {"degree":257,"count":1}, {"degree":260,"count":1}, {"degree":263,"count":1}, {"degree":265,"count":1}, {"degree":269,"count":2}, {"degree":271,"count":1}, {"degree":273,"count":1}, {"degree":283,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":19095}]
Number of extensional constraints	0
Number of intensional constraints	19095
Distribution of constraint types	[{"type":"intension","count":19095}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4393406

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
