2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7 seq (493a269)	SAT (TO)	16	2400.12	2386.82
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 (8491 MiB free)
  memory of node 1: 16384 MiB (12731 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292717-1532288959/watcher-4292717-1532288959 -o /tmp/evaluation-result-4292717-1532288959/solver-4292717-1532288959 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532279418-2549 --watchdog 2560 HOME/xcsp3-exec -seed 849720120 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292717-1532288959.xml 

running on 4 cores: 1,3,5,7

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

solver pid=3631, runsolver pid=3628

[startup+0.100142 s]*
/proc/loadavg: 1.79 1.54 1.49 3/217 3647
/proc/meminfo: memFree=21714284/32770624 swapFree=67108860/67108860
[pid=3631] ppid=3628 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3631/stat : 3631 (xcsp3-exec) S 3628 3631 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46459115 115843072 363 33554432000 4194304 5098028 140728817036928 140728817035032 140618388759164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39596032 140728817042491 140728817042692 140728817042692 140728817045450 0
/proc/3631/statm: 28282 363 305 221 0 87 0
[pid=3633] ppid=3631 vsize=14082840 memory=29144 CPUtime=0.11 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3631 3631 32641 0 -1 1077944320 5218 0 0 0 10 1 0 0 20 0 15 0 46459115 14420828160 7286 33554432000 4194304 4196468 140734648920032 140734648902576 140613132279543 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
/proc/3633/statm: 3520710 7286 2976 1 0 3483008 0
[pid=3633/tid=3634] ppid=3631 vsize=14082840 memory=-8412652160985438067 CPUtime=0.09 cores=1,3,5,7
/proc/3633/task/3634/stat : 3634 (java) R 3631 3631 32641 0 -1 4202560 3215 0 0 0 8 1 0 0 20 0 15 0 46459115 14420828160 7417 33554432000 4194304 4196468 140734648920032 140613136512064 140613118347648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3635] ppid=3631 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) S 3631 3631 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46459116 14420828160 7417 33554432000 4194304 4196468 140734648920032 140613069880336 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3636] ppid=3631 vsize=14082840 memory=139730707457664 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3631 3631 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46459116 14420828160 7417 33554432000 4194304 4196468 140734648920032 140612727217296 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3637] ppid=3631 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3631 3631 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46459116 14420828160 7417 33554432000 4194304 4196468 140734648920032 140612726164240 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3638] ppid=3631 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3631 3631 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46459116 14420828160 7417 33554432000 4194304 4196468 140734648920032 140612725111696 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3639] ppid=3631 vsize=14082840 memory=139730707457664 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3631 3631 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46459117 14420828160 7417 33554432000 4194304 4196468 140734648920032 140612673693936 140613132290690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3640] ppid=3631 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3631 3631 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46459118 14420828160 7417 33554432000 4194304 4196468 140734648920032 140612672640160 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3641] ppid=3631 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3631 3631 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46459118 14420828160 7417 33554432000 4194304 4196468 140734648920032 140612671587056 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3642] ppid=3631 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3631 3631 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46459120 14420828160 7417 33554432000 4194304 4196468 140734648920032 140612670535632 140613132298139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3643] ppid=3631 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3631 3631 32641 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 46459120 14420828160 7417 33554432000 4194304 4196468 140734648920032 140612669483760 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3644] ppid=3631 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3631 3631 32641 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 46459120 14420828160 7417 33554432000 4194304 4196468 140734648920032 140612668431216 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3645] ppid=3631 vsize=14082840 memory=139730707457664 CPUtime=0.01 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3631 3631 32641 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 15 0 46459120 14420828160 7417 33554432000 4194304 4196468 140734648920032 140612667378160 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3646] ppid=3631 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3631 3631 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46459120 14420828160 7417 33554432000 4194304 4196468 140734648920032 140612598754144 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3647] ppid=3631 vsize=14082840 memory=139730707457664 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3631 3631 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46459121 14420828160 7417 33554432000 4194304 4196468 140734648920032 140612597701168 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30596 KiB

[startup+0.210767 s]*
/proc/loadavg: 1.79 1.54 1.49 4/217 3647
/proc/meminfo: memFree=21703012/32770624 swapFree=67108860/67108860
[pid=3631] ppid=3628 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3631/stat : 3631 (xcsp3-exec) S 3628 3631 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46459115 115843072 363 33554432000 4194304 5098028 140728817036928 140728817035032 140618388759164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39596032 140728817042491 140728817042692 140728817042692 140728817045450 0
/proc/3631/statm: 28282 363 305 221 0 87 0
[pid=3633] ppid=3631 vsize=14087096 memory=41360 CPUtime=0.34 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3631 3631 32641 0 -1 1077944320 7833 0 0 0 31 3 0 0 20 0 15 0 46459115 14425186304 10340 33554432000 4194304 4196468 140734648920032 140734648902576 140613132279543 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
/proc/3633/statm: 3521774 10340 3198 1 0 3483008 0
[pid=3633/tid=3634] ppid=3631 vsize=14087096 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/3633/task/3634/stat : 3634 (java) R 3631 3631 32641 0 -1 4202560 4963 0 0 0 18 2 0 0 20 0 15 0 46459115 14425186304 10340 33554432000 4194304 4196468 140734648920032 140613136500536 140613116360030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3635] ppid=3631 vsize=14087096 memory=10882 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) S 3631 3631 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46459116 14425186304 10340 33554432000 4194304 4196468 140734648920032 140613069880336 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3636] ppid=3631 vsize=14087096 memory=3760568572309667872 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3631 3631 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46459116 14425186304 10340 33554432000 4194304 4196468 140734648920032 140612727217296 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3637] ppid=3631 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3631 3631 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46459116 14425186304 10340 33554432000 4194304 4196468 140734648920032 140612726164240 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3638] ppid=3631 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3631 3631 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46459116 14425186304 10340 33554432000 4194304 4196468 140734648920032 140612725111696 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3639] ppid=3631 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3631 3631 32641 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46459117 14425186304 10340 33554432000 4194304 4196468 140734648920032 140612673693936 140613132290690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3640] ppid=3631 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3631 3631 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46459118 14425186304 10340 33554432000 4194304 4196468 140734648920032 140612672640160 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3641] ppid=3631 vsize=14087096 memory=139730707457664 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3631 3631 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46459118 14425186304 10340 33554432000 4194304 4196468 140734648920032 140612671587056 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3642] ppid=3631 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3631 3631 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46459120 14425186304 10340 33554432000 4194304 4196468 140734648920032 140612670535632 140613132298139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3643] ppid=3631 vsize=14087096 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3631 3631 32641 0 -1 1077944384 595 0 0 0 2 0 0 0 20 0 15 0 46459120 14425186304 10340 33554432000 4194304 4196468 140734648920032 140612669483760 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3644] ppid=3631 vsize=14087096 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3631 3631 32641 0 -1 1077944384 225 0 0 0 2 0 0 0 20 0 15 0 46459120 14425186304 10340 33554432000 4194304 4196468 140734648920032 140612668431216 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3645] ppid=3631 vsize=14087096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) R 3631 3631 32641 0 -1 4202560 751 0 0 0 7 0 0 0 20 0 15 0 46459120 14425186304 10340 33554432000 4194304 4196468 140734648920032 140612667378160 140613132300890 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3646] ppid=3631 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3631 3631 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46459120 14425186304 10340 33554432000 4194304 4196468 140734648920032 140612598754144 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3647] ppid=3631 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3631 3631 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46459121 14425186304 10340 33554432000 4194304 4196468 140734648920032 140612597701168 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42812 KiB

[startup+0.31048 s]*
/proc/loadavg: 1.79 1.54 1.49 3/217 3647
/proc/meminfo: memFree=21696808/32770624 swapFree=67108860/67108860
[pid=3631] ppid=3628 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3631/stat : 3631 (xcsp3-exec) S 3628 3631 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46459115 115843072 363 33554432000 4194304 5098028 140728817036928 140728817035032 140618388759164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39596032 140728817042491 140728817042692 140728817042692 140728817045450 0
/proc/3631/statm: 28282 363 305 221 0 87 0
[pid=3633] ppid=3631 vsize=14087096 memory=47956 CPUtime=0.51 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3631 3631 32641 0 -1 1077944320 8659 0 0 0 47 4 0 0 20 0 15 0 46459115 14425186304 11989 33554432000 4194304 4196468 140734648920032 140734648902576 140613132279543 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
/proc/3633/statm: 3521774 11989 3231 1 0 3483008 0
[pid=3633/tid=3634] ppid=3631 vsize=14087096 memory=-7174084197661963716 CPUtime=0.29 cores=1,3,5,7
/proc/3633/task/3634/stat : 3634 (java) R 3631 3631 32641 0 -1 4202560 5700 0 0 0 26 3 0 0 20 0 15 0 46459115 14425186304 11989 33554432000 4194304 4196468 140734648920032 140613136513328 140613132301469 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3635] ppid=3631 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) S 3631 3631 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46459116 14425186304 11989 33554432000 4194304 4196468 140734648920032 140613069880336 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3636] ppid=3631 vsize=14087096 memory=1970350607106051 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3631 3631 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46459116 14425186304 11989 33554432000 4194304 4196468 140734648920032 140612727217296 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3637] ppid=3631 vsize=14087096 memory=2110081194170276 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3631 3631 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46459116 14425186304 11989 33554432000 4194304 4196468 140734648920032 140612726164240 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3638] ppid=3631 vsize=14087096 memory=139730587068863 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3631 3631 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46459116 14425186304 11989 33554432000 4194304 4196468 140734648920032 140612725111696 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3639] ppid=3631 vsize=14087096 memory=279461294558880 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3631 3631 32641 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46459117 14425186304 11989 33554432000 4194304 4196468 140734648920032 140612673693936 140613132290690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3640] ppid=3631 vsize=14087096 memory=139730587071159 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3631 3631 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46459118 14425186304 11989 33554432000 4194304 4196468 140734648920032 140612672640160 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3641] ppid=3631 vsize=14087096 memory=279461174151552 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3631 3631 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46459118 14425186304 11989 33554432000 4194304 4196468 140734648920032 140612671587056 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3642] ppid=3631 vsize=14087096 memory=279461174146928 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3631 3631 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46459120 14425186304 11989 33554432000 4194304 4196468 140734648920032 140612670535632 140613132298139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3643] ppid=3631 vsize=14087096 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3631 3631 32641 0 -1 1077944384 608 0 0 0 4 0 0 0 20 0 15 0 46459120 14425186304 11989 33554432000 4194304 4196468 140734648920032 140612669483760 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3644] ppid=3631 vsize=14087096 memory=67 CPUtime=0.03 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3631 3631 32641 0 -1 1077944384 236 0 0 0 3 0 0 0 20 0 15 0 46459120 14425186304 11989 33554432000 4194304 4196468 140734648920032 140612668431216 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3645] ppid=3631 vsize=14087096 memory=139730707457664 CPUtime=0.11 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3631 3631 32641 0 -1 1077944384 826 0 0 0 11 0 0 0 20 0 15 0 46459120 14425186304 11989 33554432000 4194304 4196468 140734648920032 140612667378160 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3646] ppid=3631 vsize=14087096 memory=67 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3631 3631 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46459120 14425186304 11989 33554432000 4194304 4196468 140734648920032 140612598754144 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3647] ppid=3631 vsize=14087096 memory=139730707457664 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3631 3631 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46459121 14425186304 11989 33554432000 4194304 4196468 140734648920032 140612597701168 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49408 KiB

[startup+0.703786 s]
/proc/loadavg: 1.79 1.54 1.49 5/217 3647
/proc/meminfo: memFree=21670692/32770624 swapFree=67108860/67108860
[pid=3631] ppid=3628 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3631/stat : 3631 (xcsp3-exec) S 3628 3631 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46459115 115843072 363 33554432000 4194304 5098028 140728817036928 140728817035032 140618388759164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39596032 140728817042491 140728817042692 140728817042692 140728817045450 0
/proc/3631/statm: 28282 363 305 221 0 87 0
[pid=3633] ppid=3631 vsize=14089220 memory=111960 CPUtime=1.78 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3631 3631 32641 0 -1 1077944320 12859 0 0 0 172 6 0 0 20 0 15 0 46459115 14427361280 27990 33554432000 4194304 4196468 140734648920032 140734648902576 140613132279543 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
/proc/3633/statm: 3522305 27990 3330 1 0 3483520 0
[pid=3633/tid=3634] ppid=3631 vsize=14089220 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/3633/task/3634/stat : 3634 (java) R 3631 3631 32641 0 -1 4202560 6151 0 0 0 64 4 0 0 20 0 15 0 46459115 14427361280 27990 33554432000 4194304 4196468 140734648920032 140613136508416 140613132300890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3635] ppid=3631 vsize=14089220 memory=8242257093008242485 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) S 3631 3631 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46459116 14427361280 27990 33554432000 4194304 4196468 140734648920032 140613069880336 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3636] ppid=3631 vsize=14089220 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3631 3631 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46459116 14427361280 27990 33554432000 4194304 4196468 140734648920032 140612727217296 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3637] ppid=3631 vsize=14089220 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3631 3631 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46459116 14427361280 27990 33554432000 4194304 4196468 140734648920032 140612726164240 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3638] ppid=3631 vsize=14089220 memory=12976 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3631 3631 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46459116 14427361280 27990 33554432000 4194304 4196468 140734648920032 140612725111696 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3639] ppid=3631 vsize=14089220 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3631 3631 32641 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46459117 14427361280 27990 33554432000 4194304 4196468 140734648920032 140612673693936 140613132290690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3640] ppid=3631 vsize=14089220 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3631 3631 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46459118 14427361280 27990 33554432000 4194304 4196468 140734648920032 140612672640160 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3641] ppid=3631 vsize=14089220 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3631 3631 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46459118 14427361280 27990 33554432000 4194304 4196468 140734648920032 140612671587056 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3642] ppid=3631 vsize=14089220 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3631 3631 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46459120 14427361280 27990 33554432000 4194304 4196468 140734648920032 140612670535632 140613132298139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3643] ppid=3631 vsize=14089220 memory=8364 CPUtime=0.38 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) R 3631 3631 32641 0 -1 4202560 2059 0 0 0 38 0 0 0 20 0 15 0 46459120 14427361280 27990 33554432000 4194304 4196468 140734648920032 140612669475216 140613132300890 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3644] ppid=3631 vsize=14089220 memory=7662705889289527641 CPUtime=0.36 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) R 3631 3631 32641 0 -1 4202560 1472 0 0 0 36 0 0 0 20 0 15 0 46459120 14427361280 27990 33554432000 4194304 4196468 140734648920032 140612668417096 140613132300890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3645] ppid=3631 vsize=14089220 memory=7885081012184048465 CPUtime=0.32 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) R 3631 3631 32641 0 -1 1077944384 1869 0 0 0 32 0 0 0 20 0 15 0 46459120 14427361280 27990 33554432000 4194304 4196468 140734648920032 140612667375952 140613132289749 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3646] ppid=3631 vsize=14089220 memory=7588684550706915689 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3631 3631 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46459120 14427361280 27990 33554432000 4194304 4196468 140734648920032 140612598754144 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3647] ppid=3631 vsize=14089220 memory=5450909908396308010 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3631 3631 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46459121 14427361280 27990 33554432000 4194304 4196468 140734648920032 140612597701168 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 113412 KiB

[startup+1.50089 s]
/proc/loadavg: 1.79 1.54 1.49 5/217 3647
/proc/meminfo: memFree=21584064/32770624 swapFree=67108860/67108860
[pid=3631] ppid=3628 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3631/stat : 3631 (xcsp3-exec) S 3628 3631 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46459115 115843072 363 33554432000 4194304 5098028 140728817036928 140728817035032 140618388759164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39596032 140728817042491 140728817042692 140728817042692 140728817045450 0
/proc/3631/statm: 28282 363 305 221 0 87 0

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

[pid=3633/tid=3639] ppid=3631 vsize=14091268 memory=1118868 CPUtime=1.02 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3631 3631 32641 0 -1 1077944384 9348 0 0 0 95 7 0 0 20 0 15 0 46459117 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612673693936 140613132290690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3640] ppid=3631 vsize=14091268 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3631 3631 32641 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 46459118 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612672640224 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3641] ppid=3631 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3631 3631 32641 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 46459118 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612671587072 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3642] ppid=3631 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3631 3631 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46459120 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612670535632 140613132298139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3643] ppid=3631 vsize=14091268 memory=1452 CPUtime=4.55 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3631 3631 32641 0 -1 1077944384 30261 0 0 0 452 3 0 0 20 0 15 0 46459120 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612669483760 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3644] ppid=3631 vsize=14091268 memory=1452 CPUtime=4.97 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3631 3631 32641 0 -1 1077944384 29734 0 0 0 493 4 0 0 20 0 15 0 46459120 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612668431216 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3645] ppid=3631 vsize=14091268 memory=1118868 CPUtime=0.91 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3631 3631 32641 0 -1 1077944384 12118 0 0 0 89 2 0 0 20 0 15 0 46459120 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612667378160 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3646] ppid=3631 vsize=14091268 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3631 3631 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46459120 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612598754144 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3647] ppid=3631 vsize=14091268 memory=1428 CPUtime=1.02 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3631 3631 32641 0 -1 1077944384 1214 0 0 0 46 56 0 0 20 0 15 0 46459121 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612597701168 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
Current children cumulated CPU time: 2275.54 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 1120320 KiB

[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 1.96 3/217 3894
/proc/meminfo: memFree=20587556/32770624 swapFree=67108860/67108860
[pid=3631] ppid=3628 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3631/stat : 3631 (xcsp3-exec) S 3628 3631 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46459115 115843072 363 33554432000 4194304 5098028 140728817036928 140728817035032 140618388759164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39596032 140728817042491 140728817042692 140728817042692 140728817045450 0
/proc/3631/statm: 28282 363 305 221 0 87 0
[pid=3633] ppid=3631 vsize=14091268 memory=1118868 CPUtime=2335.56 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3631 3631 32641 0 -1 1077944320 113587 0 0 0 233461 95 0 0 20 0 15 0 46459115 14429458432 279717 33554432000 4194304 4196468 140734648920032 140734648902576 140613132279543 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
/proc/3633/statm: 3522817 279717 3421 1 0 3484032 0
[pid=3633/tid=3634] ppid=3631 vsize=14091268 memory=1452 CPUtime=2320.81 cores=1,3,5,7
/proc/3633/task/3634/stat : 3634 (java) R 3631 3631 32641 0 -1 4202560 24631 0 0 0 232071 10 0 0 20 0 15 0 46459115 14429458432 279717 33554432000 4194304 4196468 140734648920032 140613136516016 140612758408346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3635] ppid=3631 vsize=14091268 memory=1118868 CPUtime=0.54 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) S 3631 3631 32641 0 -1 1077944384 2066 0 0 0 51 3 0 0 20 0 15 0 46459116 14429458432 279717 33554432000 4194304 4196468 140734648920032 140613069880336 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3636] ppid=3631 vsize=14091268 memory=1118868 CPUtime=0.53 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3631 3631 32641 0 -1 1077944384 315 0 0 0 50 3 0 0 20 0 15 0 46459116 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612727217296 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3637] ppid=3631 vsize=14091268 memory=1118868 CPUtime=0.55 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3631 3631 32641 0 -1 1077944384 986 0 0 0 48 7 0 0 20 0 15 0 46459116 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612726164240 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3638] ppid=3631 vsize=14091268 memory=1452 CPUtime=0.54 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3631 3631 32641 0 -1 1077944384 1504 0 0 0 48 6 0 0 20 0 15 0 46459116 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612725111696 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3639] ppid=3631 vsize=14091268 memory=1118868 CPUtime=1.02 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3631 3631 32641 0 -1 1077944384 9354 0 0 0 95 7 0 0 20 0 15 0 46459117 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612673693936 140613132290690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3640] ppid=3631 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3631 3631 32641 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 46459118 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612672640224 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3641] ppid=3631 vsize=14091268 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3631 3631 32641 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 46459118 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612671587072 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3642] ppid=3631 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3631 3631 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46459120 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612670535632 140613132298139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3643] ppid=3631 vsize=14091268 memory=1118868 CPUtime=4.55 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3631 3631 32641 0 -1 1077944384 30263 0 0 0 452 3 0 0 20 0 15 0 46459120 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612669483760 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3644] ppid=3631 vsize=14091268 memory=1452 CPUtime=4.97 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3631 3631 32641 0 -1 1077944384 29737 0 0 0 493 4 0 0 20 0 15 0 46459120 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612668431216 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3645] ppid=3631 vsize=14091268 memory=1452 CPUtime=0.91 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3631 3631 32641 0 -1 1077944384 12120 0 0 0 89 2 0 0 20 0 15 0 46459120 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612667378160 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3646] ppid=3631 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3631 3631 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46459120 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612598754144 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3647] ppid=3631 vsize=14091268 memory=1118868 CPUtime=1.04 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3631 3631 32641 0 -1 1077944384 1238 0 0 0 47 57 0 0 20 0 15 0 46459121 14429458432 279717 33554432000 4194304 4196468 140734648920032 140612597701168 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
Current children cumulated CPU time: 2335.56 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 1120320 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/217 3895
/proc/meminfo: memFree=20585916/32770624 swapFree=67108860/67108860
[pid=3631] ppid=3628 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3631/stat : 3631 (xcsp3-exec) S 3628 3631 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46459115 115843072 363 33554432000 4194304 5098028 140728817036928 140728817035032 140618388759164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39596032 140728817042491 140728817042692 140728817042692 140728817045450 0
/proc/3631/statm: 28282 363 305 221 0 87 0
[pid=3633] ppid=3631 vsize=14091268 memory=1120916 CPUtime=2395.59 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3631 3631 32641 0 -1 1077944320 113799 0 0 0 239463 96 0 0 20 0 15 0 46459115 14429458432 280229 33554432000 4194304 4196468 140734648920032 140734648902576 140613132279543 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
/proc/3633/statm: 3522817 280229 3421 1 0 3484032 0
[pid=3633/tid=3634] ppid=3631 vsize=14091268 memory=1452 CPUtime=2380.81 cores=1,3,5,7
/proc/3633/task/3634/stat : 3634 (java) R 3631 3631 32641 0 -1 4202560 24808 0 0 0 238071 10 0 0 20 0 15 0 46459115 14429458432 280229 33554432000 4194304 4196468 140734648920032 140613136516016 140612759210234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3635] ppid=3631 vsize=14091268 memory=1120916 CPUtime=0.54 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) S 3631 3631 32641 0 -1 1077944384 2066 0 0 0 51 3 0 0 20 0 15 0 46459116 14429458432 280229 33554432000 4194304 4196468 140734648920032 140613069880336 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3636] ppid=3631 vsize=14091268 memory=1120916 CPUtime=0.53 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3631 3631 32641 0 -1 1077944384 315 0 0 0 50 3 0 0 20 0 15 0 46459116 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612727217296 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3637] ppid=3631 vsize=14091268 memory=1452 CPUtime=0.55 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3631 3631 32641 0 -1 1077944384 986 0 0 0 48 7 0 0 20 0 15 0 46459116 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612726164240 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3638] ppid=3631 vsize=14091268 memory=1452 CPUtime=0.54 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3631 3631 32641 0 -1 1077944384 1504 0 0 0 48 6 0 0 20 0 15 0 46459116 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612725111696 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3639] ppid=3631 vsize=14091268 memory=1118868 CPUtime=1.02 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3631 3631 32641 0 -1 1077944384 9360 0 0 0 95 7 0 0 20 0 15 0 46459117 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612673693936 140613132290690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3640] ppid=3631 vsize=14091268 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3631 3631 32641 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 46459118 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612672640224 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3641] ppid=3631 vsize=14091268 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3631 3631 32641 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 46459118 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612671587072 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3642] ppid=3631 vsize=14091268 memory=644 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3631 3631 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46459120 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612670535632 140613132298139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3643] ppid=3631 vsize=14091268 memory=1118868 CPUtime=4.55 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3631 3631 32641 0 -1 1077944384 30265 0 0 0 452 3 0 0 20 0 15 0 46459120 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612669483760 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3644] ppid=3631 vsize=14091268 memory=1452 CPUtime=4.97 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3631 3631 32641 0 -1 1077944384 29740 0 0 0 493 4 0 0 20 0 15 0 46459120 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612668431216 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3645] ppid=3631 vsize=14091268 memory=12976 CPUtime=0.91 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3631 3631 32641 0 -1 1077944384 12122 0 0 0 89 2 0 0 20 0 15 0 46459120 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612667378160 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3646] ppid=3631 vsize=14091268 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3631 3631 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46459120 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612598754144 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3647] ppid=3631 vsize=14091268 memory=1120916 CPUtime=1.07 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3631 3631 32641 0 -1 1077944384 1260 0 0 0 49 58 0 0 20 0 15 0 46459121 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612597701168 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
Current children cumulated CPU time: 2395.59 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 1122368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2386.8 s]
/proc/loadavg: 2.01 2.02 1.96 3/217 3896
/proc/meminfo: memFree=20585196/32770624 swapFree=67108860/67108860
[pid=3631] ppid=3628 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3631/stat : 3631 (xcsp3-exec) S 3628 3631 32641 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46459115 115843072 363 33554432000 4194304 5098028 140728817036928 140728817035032 140618388759164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39596032 140728817042491 140728817042692 140728817042692 140728817045450 0
/proc/3631/statm: 28282 363 305 221 0 87 0
[pid=3633] ppid=3631 vsize=14091268 memory=1120916 CPUtime=2400.09 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3631 3631 32641 0 -1 1077944320 113922 0 0 0 239913 96 0 0 20 0 15 0 46459115 14429458432 280229 33554432000 4194304 4196468 140734648920032 140734648902576 140613132279543 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
/proc/3633/statm: 3522817 280229 3421 1 0 3484032 0
[pid=3633/tid=3634] ppid=3631 vsize=14091268 memory=13847486485760432 CPUtime=2385.31 cores=1,3,5,7
/proc/3633/task/3634/stat : 3634 (java) R 3631 3631 32641 0 -1 4202560 24897 0 0 0 238521 10 0 0 20 0 15 0 46459115 14429458432 280229 33554432000 4194304 4196468 140734648920032 140613136516016 140612758408346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3635] ppid=3631 vsize=14091268 memory=15124 CPUtime=0.54 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) S 3631 3631 32641 0 -1 1077944384 2066 0 0 0 51 3 0 0 20 0 15 0 46459116 14429458432 280229 33554432000 4194304 4196468 140734648920032 140613069880336 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3636] ppid=3631 vsize=14091268 memory=17332 CPUtime=0.53 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3631 3631 32641 0 -1 1077944384 315 0 0 0 50 3 0 0 20 0 15 0 46459116 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612727217296 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3637] ppid=3631 vsize=14091268 memory=19540 CPUtime=0.55 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3631 3631 32641 0 -1 1077944384 986 0 0 0 48 7 0 0 20 0 15 0 46459116 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612726164240 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3638] ppid=3631 vsize=14091268 memory=21748 CPUtime=0.54 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3631 3631 32641 0 -1 1077944384 1504 0 0 0 48 6 0 0 20 0 15 0 46459116 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612725111696 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3639] ppid=3631 vsize=14091268 memory=21780 CPUtime=1.02 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3631 3631 32641 0 -1 1077944384 9366 0 0 0 95 7 0 0 20 0 15 0 46459117 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612673693936 140613132290690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3640] ppid=3631 vsize=14091268 memory=3184097919267514973 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3631 3631 32641 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 46459118 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612672640224 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3641] ppid=3631 vsize=14091268 memory=7379539846832941425 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3631 3631 32641 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 46459118 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612671587072 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3642] ppid=3631 vsize=14091268 memory=7307761567420147300 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3631 3631 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46459120 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612670535632 140613132298139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3643] ppid=3631 vsize=14091268 memory=279461174515024 CPUtime=4.55 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3631 3631 32641 0 -1 1077944384 30265 0 0 0 452 3 0 0 20 0 15 0 46459120 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612669483760 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3644] ppid=3631 vsize=14091268 memory=279461175767792 CPUtime=4.97 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3631 3631 32641 0 -1 1077944384 29740 0 0 0 493 4 0 0 20 0 15 0 46459120 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612668431216 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3645] ppid=3631 vsize=14091268 memory=589972050867744050 CPUtime=0.91 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3631 3631 32641 0 -1 1077944384 12122 0 0 0 89 2 0 0 20 0 15 0 46459120 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612667378160 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3646] ppid=3631 vsize=14091268 memory=6225775033988639336 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3631 3631 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46459120 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612598754144 140613132289749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
[pid=3633/tid=3647] ppid=3631 vsize=14091268 memory=7440056992597305454 CPUtime=1.07 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3631 3631 32641 0 -1 1077944384 1288 0 0 0 49 58 0 0 20 0 15 0 46459121 14429458432 280229 33554432000 4194304 4196468 140734648920032 140612597701168 140613132290690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16896000 140734648923265 140734648923441 140734648923441 140734648926159 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 1122368 KiB

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

[startup+2386.82 s]
# the end of solver process 3631 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.15 s, system=0.975643 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2386.82
CPU time (s): 2400.12
CPU user time (s): 2399.15
CPU system time (s): 0.975643
CPU usage (%): 100.557
Max. virtual memory (cumulated for all children) (KiB): 14204396
Max. memory (cumulated for all children) (KiB): 1122368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.15
system time used= 0.975643
maximum resident set size= 1127604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114804
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55258
involuntary context switches= 731


# summary of solver processes directly reported to runsolver:
#   pid: 3631
#   total CPU time (s): 2400.12
#   total CPU user time (s): 2399.15
#   total CPU system time (s): 0.975643

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4443 second user time and 23.1422 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-01-opt_c18.xml
MD5SUM	2ee48e6c5f3b799813662dbb853aaebc
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	16
Best CPU time to get the best result obtained on this benchmark	2520.08
Satisfiable
(Un)Satisfiability was proved
Number of variables	916
Number of constraints	5548
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":6},{"size":22,"count":36},{"size":24,"count":8},{"size":36,"count":360},{"size":42,"count":22},{"size":44,"count":484}]
Minimum variable degree	2
Maximum variable degree	62
Distribution of variable degrees	[{"degree":2,"count":12},{"degree":3,"count":2},{"degree":4,"count":38},{"degree":5,"count":25},{"degree":6,"count":95},{"degree":7,"count":25},{"degree":8,"count":106},{"degree":9,"count":20},{"degree":10,"count":111},{"degree":11,"count":39},{"degree":12,"count":56},{"degree":13,"count":41},{"degree":14,"count":47},{"degree":15,"count":30},{"degree":16,"count":41},{"degree":17,"count":19},{"degree":18,"count":32},{"degree":19,"count":15},{"degree":20,"count":27},{"degree":21,"count":21},{"degree":22,"count":8},{"degree":23,"count":11},{"degree":24,"count":18},{"degree":25,"count":13},{"degree":26,"count":7},{"degree":27,"count":7},{"degree":28,"count":7},{"degree":29,"count":7},{"degree":30,"count":7},{"degree":31,"count":6},{"degree":32,"count":4},{"degree":33,"count":2},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":40,"count":3},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":5548}]
Number of extensional constraints	0
Number of intensional constraints	5548
Distribution of constraint types	[{"type":"intension","count":5548}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4292717

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
