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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	SAT	6.0880198	3.9706099
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 (15424 MiB free)
  memory of node 1: 16384 MiB (12665 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269554-1502742062/watcher-4269554-1502742062 -o /tmp/evaluation-result-4269554-1502742062/solver-4269554-1502742062 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1018727723 HOME/instance-4269554-1502742062.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
Current StackSize limit: 8192 KiB

solver pid=7792, runsolver pid=7789

[startup+0.100112 s]*
/proc/loadavg: 2.52 2.17 2.01 3/209 7802
/proc/meminfo: memFree=28754736/32770624 swapFree=67108764/67108860
[pid=7792] ppid=7789 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7792/stat : 7792 (xcsp3-exec) S 7789 7792 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121712683 9740288 345 18446744073709551615 4194304 5098028 140724238430592 140724238428696 140711229436540 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 26320896 140724238434680 140724238434885 140724238434885 140724238438379 0
/proc/7792/statm: 2378 345 289 221 0 87 0
[pid=7794] ppid=7792 vsize=13574484 memory=18040 CPUtime=0.04 cores=0,2,4,6
/proc/7794/stat : 7794 (java) S 7792 7792 4674 0 -1 1077944320 3876 0 0 0 4 0 0 0 20 0 9 0 121712689 13900271616 4510 18446744073709551615 4194304 4196468 140731431176336 140731431158880 139822003494647 0 0 1 16800970 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
/proc/7794/statm: 3393621 4510 2105 1 0 3383118 0
[pid=7794/tid=7795] ppid=7792 vsize=13574484 memory=8508281356422187169 CPUtime=0.03 cores=0,2,4,6
/proc/7794/task/7795/stat : 7795 (java) R 7792 7792 4674 0 -1 4202560 2586 0 0 0 3 0 0 0 20 0 9 0 121712689 13900271616 4510 18446744073709551615 4194304 4196468 140731431176336 139822007729744 139821996173936 0 4 1 16800970 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7796] ppid=7792 vsize=13574484 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7796/stat : 7796 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 121712690 13900271616 4510 18446744073709551615 4194304 4196468 140731431176336 139821603351440 139822003504853 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7797] ppid=7792 vsize=13574484 memory=139765432637056 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7797/stat : 7797 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 121712690 13900271616 4510 18446744073709551615 4194304 4196468 140731431176336 139821602298640 139822003504853 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7798] ppid=7792 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7798/stat : 7798 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 121712690 13900271616 4510 18446744073709551615 4194304 4196468 140731431176336 139821601246352 139822003504853 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7799] ppid=7792 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7799/stat : 7799 (java) S 7792 7792 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 121712690 13900271616 4510 18446744073709551615 4194304 4196468 140731431176336 139821600193552 139822003504853 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7800] ppid=7792 vsize=13574484 memory=139765432637056 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7800/stat : 7800 (java) S 7792 7792 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 121712691 13900271616 4510 18446744073709551615 4194304 4196468 140731431176336 139821481928816 139822003505794 0 0 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7801] ppid=7792 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7801/stat : 7801 (java) S 7792 7792 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 121712692 13900271616 4510 18446744073709551615 4194304 4196468 140731431176336 139821480874784 139822003504853 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7802] ppid=7792 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7802/stat : 7802 (java) S 7792 7792 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 121712692 13900271616 4510 18446744073709551615 4194304 4196468 140731431176336 139821479822448 139822003504853 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19420 KiB

[startup+0.210262 s]*
/proc/loadavg: 2.52 2.17 2.01 2/214 7807
/proc/meminfo: memFree=28753992/32770624 swapFree=67108764/67108860
[pid=7792] ppid=7789 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7792/stat : 7792 (xcsp3-exec) S 7789 7792 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121712683 9740288 345 18446744073709551615 4194304 5098028 140724238430592 140724238428696 140711229436540 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 26320896 140724238434680 140724238434885 140724238434885 140724238438379 0
/proc/7792/statm: 2378 345 289 221 0 87 0
[pid=7794] ppid=7792 vsize=13907304 memory=20420 CPUtime=0.05 cores=0,2,4,6
/proc/7794/stat : 7794 (java) S 7792 7792 4674 0 -1 1077944320 4556 0 0 0 5 0 0 0 20 0 14 0 121712689 14241079296 5105 18446744073709551615 4194304 4196468 140731431176336 140731431158880 139822003494647 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
/proc/7794/statm: 3476826 5105 2554 1 0 3466323 0
[pid=7794/tid=7795] ppid=7792 vsize=13907304 memory=7022364594140610616 CPUtime=0.04 cores=0,2,4,6
/proc/7794/task/7795/stat : 7795 (java) D 7792 7792 4674 0 -1 4202560 2729 0 0 0 4 0 0 0 20 0 14 0 121712689 14241079296 5105 18446744073709551615 4194304 4196468 140731431176336 139822007732128 139822003516669 0 4 1 16800974 18446744071580418449 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7796] ppid=7792 vsize=13907304 memory=4294979926 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7796/stat : 7796 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121712690 14241079296 5105 18446744073709551615 4194304 4196468 140731431176336 139821603351440 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7797] ppid=7792 vsize=13907304 memory=139765433694302 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7797/stat : 7797 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121712690 14241079296 5105 18446744073709551615 4194304 4196468 140731431176336 139821602298640 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7798] ppid=7792 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7798/stat : 7798 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121712690 14241079296 5105 18446744073709551615 4194304 4196468 140731431176336 139821601246352 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7799] ppid=7792 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7799/stat : 7799 (java) S 7792 7792 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121712690 14241079296 5105 18446744073709551615 4194304 4196468 140731431176336 139821600193552 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7800] ppid=7792 vsize=13907304 memory=139765432637056 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7800/stat : 7800 (java) S 7792 7792 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121712691 14241079296 5105 18446744073709551615 4194304 4196468 140731431176336 139821481928816 139822003505794 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7801] ppid=7792 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7801/stat : 7801 (java) S 7792 7792 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 121712692 14241079296 5105 18446744073709551615 4194304 4196468 140731431176336 139821480874784 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7802] ppid=7792 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7802/stat : 7802 (java) S 7792 7792 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 121712692 14241079296 5105 18446744073709551615 4194304 4196468 140731431176336 139821479822448 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7803] ppid=7792 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7803/stat : 7803 (java) S 7792 7792 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121712694 14241079296 5105 18446744073709551615 4194304 4196468 140731431176336 139821478770768 139822003513243 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7804] ppid=7792 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7804/stat : 7804 (java) S 7792 7792 4674 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 14 0 121712694 14241079296 5105 18446744073709551615 4194304 4196468 140731431176336 139821477718640 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7805] ppid=7792 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7805/stat : 7805 (java) S 7792 7792 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121712694 14241079296 5105 18446744073709551615 4194304 4196468 140731431176336 139821476665840 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7806] ppid=7792 vsize=13907304 memory=139765432637056 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7806/stat : 7806 (java) S 7792 7792 4674 0 -1 1077944384 216 0 0 0 0 0 0 0 20 0 14 0 121712694 14241079296 5105 18446744073709551615 4194304 4196468 140731431176336 139821475613552 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7807] ppid=7792 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7807/stat : 7807 (java) S 7792 7792 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121712695 14241079296 5105 18446744073709551615 4194304 4196468 140731431176336 139821474560992 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 21800 KiB

[startup+0.311938 s]*
/proc/loadavg: 2.52 2.17 2.01 5/215 7808
/proc/meminfo: memFree=28744364/32770624 swapFree=67108764/67108860
[pid=7792] ppid=7789 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7792/stat : 7792 (xcsp3-exec) S 7789 7792 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121712683 9740288 345 18446744073709551615 4194304 5098028 140724238430592 140724238428696 140711229436540 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 26320896 140724238434680 140724238434885 140724238434885 140724238438379 0
/proc/7792/statm: 2378 345 289 221 0 87 0
[pid=7794] ppid=7792 vsize=13977964 memory=35400 CPUtime=0.23 cores=0,2,4,6
/proc/7794/stat : 7794 (java) S 7792 7792 4674 0 -1 1077944320 7199 0 0 0 22 1 0 0 20 0 15 0 121712689 14313435136 8784 18446744073709551615 4194304 4196468 140731431176336 140731431158880 139822003494647 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
/proc/7794/statm: 3494491 8850 2976 1 0 3483867 0
[pid=7794/tid=7795] ppid=7792 vsize=13975376 memory=4278483708103473607 CPUtime=0.13 cores=0,2,4,6
/proc/7794/task/7795/stat : 7795 (java) R 7792 7792 4674 0 -1 4202560 4582 0 0 0 13 0 0 0 20 0 15 0 121712689 14310785024 8106 18446744073709551615 4194304 4196468 140731431176336 139822007717024 139821996174365 0 4 1 16800974 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7796] ppid=7792 vsize=13975376 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7796/stat : 7796 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14310785024 8106 18446744073709551615 4194304 4196468 140731431176336 139821603351440 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7797] ppid=7792 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7797/stat : 7797 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14310785024 8106 18446744073709551615 4194304 4196468 140731431176336 139821602298640 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7798] ppid=7792 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7798/stat : 7798 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14310785024 8172 18446744073709551615 4194304 4196468 140731431176336 139821601246352 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7799] ppid=7792 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7799/stat : 7799 (java) S 7792 7792 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121712690 14310785024 8172 18446744073709551615 4194304 4196468 140731431176336 139821600193552 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7800] ppid=7792 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7800/stat : 7800 (java) S 7792 7792 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121712691 14310785024 8172 18446744073709551615 4194304 4196468 140731431176336 139821481928816 139822003505794 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7801] ppid=7792 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7801/stat : 7801 (java) S 7792 7792 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121712692 14310785024 8172 18446744073709551615 4194304 4196468 140731431176336 139821480874784 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7802] ppid=7792 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7802/stat : 7802 (java) S 7792 7792 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121712692 14310785024 8172 18446744073709551615 4194304 4196468 140731431176336 139821479822448 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7803] ppid=7792 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7803/stat : 7803 (java) S 7792 7792 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121712694 14310785024 8238 18446744073709551615 4194304 4196468 140731431176336 139821478770768 139822003513243 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7804] ppid=7792 vsize=13975376 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7794/task/7804/stat : 7804 (java) S 7792 7792 4674 0 -1 1077944384 552 0 0 0 1 0 0 0 20 0 15 0 121712694 14310785024 8238 18446744073709551615 4194304 4196468 140731431176336 139821477718640 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7805] ppid=7792 vsize=13975376 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7794/task/7805/stat : 7805 (java) S 7792 7792 4674 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 15 0 121712694 14310785024 8238 18446744073709551615 4194304 4196468 140731431176336 139821476665840 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7806] ppid=7792 vsize=13975376 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/7794/task/7806/stat : 7806 (java) S 7792 7792 4674 0 -1 1077944384 741 0 0 0 5 0 0 0 20 0 15 0 121712694 14310785024 8238 18446744073709551615 4194304 4196468 140731431176336 139821475613552 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7807] ppid=7792 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7807/stat : 7807 (java) S 7792 7792 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121712695 14310785024 8238 18446744073709551615 4194304 4196468 140731431176336 139821474560992 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7808] ppid=7792 vsize=13975376 memory=139765432637056 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7808/stat : 7808 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712706 14310785024 8238 18446744073709551615 4194304 4196468 140731431176336 139821473507760 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13987476 KiB
Current children cumulated memory: 36780 KiB

[startup+0.701763 s]
/proc/loadavg: 2.52 2.17 2.01 5/215 7808
/proc/meminfo: memFree=28726956/32770624 swapFree=67108764/67108860
[pid=7792] ppid=7789 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7792/stat : 7792 (xcsp3-exec) S 7789 7792 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121712683 9740288 345 18446744073709551615 4194304 5098028 140724238430592 140724238428696 140711229436540 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 26320896 140724238434680 140724238434885 140724238434885 140724238438379 0
/proc/7792/statm: 2378 345 289 221 0 87 0
[pid=7794] ppid=7792 vsize=13978684 memory=78040 CPUtime=1.19 cores=0,2,4,6
/proc/7794/stat : 7794 (java) S 7792 7792 4674 0 -1 1077944320 13747 0 0 0 116 3 0 0 20 0 15 0 121712689 14314172416 19510 18446744073709551615 4194304 4196468 140731431176336 140731431158880 139822003494647 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
/proc/7794/statm: 3494671 19510 3161 1 0 3482964 0
[pid=7794/tid=7795] ppid=7792 vsize=13978684 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/7794/task/7795/stat : 7795 (java) R 7792 7792 4674 0 -1 4202560 7795 0 0 0 48 2 0 0 20 0 15 0 121712689 14314172416 19510 18446744073709551615 4194304 4196468 140731431176336 139822007727584 139821606537497 0 4 1 16800974 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7796] ppid=7792 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7796/stat : 7796 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14314172416 19510 18446744073709551615 4194304 4196468 140731431176336 139821603351440 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7797] ppid=7792 vsize=13978684 memory=279530564489008 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7797/stat : 7797 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14314172416 19510 18446744073709551615 4194304 4196468 140731431176336 139821602298640 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7798] ppid=7792 vsize=13978684 memory=2528192235265 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7798/stat : 7798 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14314172416 19510 18446744073709551615 4194304 4196468 140731431176336 139821601246352 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7799] ppid=7792 vsize=13978684 memory=2532487202561 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7799/stat : 7799 (java) S 7792 7792 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121712690 14314172416 19510 18446744073709551615 4194304 4196468 140731431176336 139821600193552 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7800] ppid=7792 vsize=13978684 memory=2549667071745 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7800/stat : 7800 (java) S 7792 7792 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121712691 14314172416 19510 18446744073709551615 4194304 4196468 140731431176336 139821481928816 139822003505794 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7801] ppid=7792 vsize=13978684 memory=2575436875521 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7801/stat : 7801 (java) S 7792 7792 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121712692 14314172416 19510 18446744073709551615 4194304 4196468 140731431176336 139821480874784 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7802] ppid=7792 vsize=13978684 memory=2618386548481 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7802/stat : 7802 (java) S 7792 7792 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121712692 14314172416 19510 18446744073709551615 4194304 4196468 140731431176336 139821479822448 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7803] ppid=7792 vsize=13978684 memory=2730055698177 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7803/stat : 7803 (java) S 7792 7792 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121712694 14314172416 19510 18446744073709551615 4194304 4196468 140731431176336 139821478770768 139822003513243 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7804] ppid=7792 vsize=13978684 memory=2854609749761 CPUtime=0.2 cores=0,2,4,6
/proc/7794/task/7804/stat : 7804 (java) S 7792 7792 4674 0 -1 1077944384 1719 0 0 0 20 0 0 0 20 0 15 0 121712694 14314172416 19510 18446744073709551615 4194304 4196468 140731431176336 139821477705424 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7805] ppid=7792 vsize=13978684 memory=3885401900801 CPUtime=0.17 cores=0,2,4,6
/proc/7794/task/7805/stat : 7805 (java) R 7792 7792 4674 0 -1 4202560 1027 0 0 0 17 0 0 0 20 0 15 0 121712694 14314172416 19510 18446744073709551615 4194304 4196468 140731431176336 139821476654544 139821983149840 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7806] ppid=7792 vsize=13978684 memory=3911171704321 CPUtime=0.29 cores=0,2,4,6
/proc/7794/task/7806/stat : 7806 (java) R 7792 7792 4674 0 -1 4202560 1899 0 0 0 29 0 0 0 20 0 15 0 121712694 14314172416 19510 18446744073709551615 4194304 4196468 140731431176336 139821475611512 139821603356793 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7807] ppid=7792 vsize=13978684 memory=4052905625089 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7807/stat : 7807 (java) S 7792 7792 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121712695 14314172416 19510 18446744073709551615 4194304 4196468 140731431176336 139821474560992 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7808] ppid=7792 vsize=13978684 memory=2768 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7808/stat : 7808 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712706 14314172416 19510 18446744073709551615 4194304 4196468 140731431176336 139821473507760 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 79420 KiB

[startup+1.50082 s]
/proc/loadavg: 2.52 2.17 2.01 4/215 7808
/proc/meminfo: memFree=28648248/32770624 swapFree=67108764/67108860
[pid=7792] ppid=7789 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7792/stat : 7792 (xcsp3-exec) S 7789 7792 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121712683 9740288 345 18446744073709551615 4194304 5098028 140724238430592 140724238428696 140711229436540 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 26320896 140724238434680 140724238434885 140724238434885 140724238438379 0
/proc/7792/statm: 2378 345 289 221 0 87 0
[pid=7794] ppid=7792 vsize=13980732 memory=132008 CPUtime=3.01 cores=0,2,4,6
/proc/7794/stat : 7794 (java) S 7792 7792 4674 0 -1 1077944320 17524 0 0 0 296 5 0 0 20 0 15 0 121712689 14316269568 33002 18446744073709551615 4194304 4196468 140731431176336 140731431158880 139822003494647 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
/proc/7794/statm: 3495183 33002 3196 1 0 3483476 0
[pid=7794/tid=7795] ppid=7792 vsize=13980732 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/7794/task/7795/stat : 7795 (java) R 7792 7792 4674 0 -1 4202560 8781 0 0 0 127 4 0 0 20 0 15 0 121712689 14316269568 33002 18446744073709551615 4194304 4196468 140731431176336 139822007731568 139821608364961 0 4 1 16800974 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7796] ppid=7792 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7796/stat : 7796 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 33002 18446744073709551615 4194304 4196468 140731431176336 139821603351440 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7797] ppid=7792 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7797/stat : 7797 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 33002 18446744073709551615 4194304 4196468 140731431176336 139821602298640 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7798] ppid=7792 vsize=13980732 memory=18983755451683 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7798/stat : 7798 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 33002 18446744073709551615 4194304 4196468 140731431176336 139821601246352 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7799] ppid=7792 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7799/stat : 7799 (java) S 7792 7792 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 33002 18446744073709551615 4194304 4196468 140731431176336 139821600193552 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7800] ppid=7792 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

/proc/7792/stat : 7792 (xcsp3-exec) S 7789 7792 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121712683 9740288 345 18446744073709551615 4194304 5098028 140724238430592 140724238428696 140711229436540 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 26320896 140724238434680 140724238434885 140724238434885 140724238438379 0
/proc/7792/statm: 2378 345 289 221 0 87 0
[pid=7794] ppid=7792 vsize=13980732 memory=136844 CPUtime=5.29 cores=0,2,4,6
/proc/7794/stat : 7794 (java) S 7792 7792 4674 0 -1 1077944320 20717 0 0 0 523 6 0 0 20 0 15 0 121712689 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 140731431158880 139822003494647 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
/proc/7794/statm: 3495183 34211 3196 1 0 3483476 0
[pid=7794/tid=7795] ppid=7792 vsize=13980732 memory=0 CPUtime=3.01 cores=0,2,4,6
/proc/7794/task/7795/stat : 7795 (java) R 7792 7792 4674 0 -1 4202560 8854 0 0 0 297 4 0 0 20 0 15 0 121712689 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139822007733880 139821608674865 0 4 1 16800974 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7796] ppid=7792 vsize=13980732 memory=279530565078128 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7796/stat : 7796 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821603351440 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7797] ppid=7792 vsize=13980732 memory=288230591722422566 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7797/stat : 7797 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821602298640 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7798] ppid=7792 vsize=13980732 memory=14413704909292930 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7798/stat : 7798 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821601246352 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7799] ppid=7792 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7799/stat : 7799 (java) S 7792 7792 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821600193552 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7800] ppid=7792 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7800/stat : 7800 (java) S 7792 7792 4674 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 121712691 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821481928816 139822003505794 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7801] ppid=7792 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7801/stat : 7801 (java) S 7792 7792 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121712692 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821480874784 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7802] ppid=7792 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7802/stat : 7802 (java) S 7792 7792 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121712692 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821479822448 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7803] ppid=7792 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7803/stat : 7803 (java) S 7792 7792 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121712694 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821478770768 139822003513243 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7804] ppid=7792 vsize=13980732 memory=0 CPUtime=0.9 cores=0,2,4,6
/proc/7794/task/7804/stat : 7804 (java) S 7792 7792 4674 0 -1 1077944384 4157 0 0 0 90 0 0 0 20 0 15 0 121712694 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821477718640 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7805] ppid=7792 vsize=13980732 memory=0 CPUtime=0.87 cores=0,2,4,6
/proc/7794/task/7805/stat : 7805 (java) S 7792 7792 4674 0 -1 1077944384 3595 0 0 0 87 0 0 0 20 0 15 0 121712694 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821476665840 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7806] ppid=7792 vsize=13980732 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/7794/task/7806/stat : 7806 (java) S 7792 7792 4674 0 -1 1077944384 2726 0 0 0 46 0 0 0 20 0 15 0 121712694 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821475613552 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7807] ppid=7792 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7807/stat : 7807 (java) S 7792 7792 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121712695 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821474560992 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7808] ppid=7792 vsize=13980732 memory=94540 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7808/stat : 7808 (java) S 7792 7792 4674 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 121712706 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821473507760 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
Current children cumulated CPU time: 5.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 138224 KiB

[startup+3.60071 s]
/proc/loadavg: 2.47 2.17 2.01 3/215 7808
/proc/meminfo: memFree=28640556/32770624 swapFree=67108764/67108860
[pid=7792] ppid=7789 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7792/stat : 7792 (xcsp3-exec) S 7789 7792 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121712683 9740288 345 18446744073709551615 4194304 5098028 140724238430592 140724238428696 140711229436540 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 26320896 140724238434680 140724238434885 140724238434885 140724238438379 0
/proc/7792/statm: 2378 345 289 221 0 87 0
[pid=7794] ppid=7792 vsize=13980732 memory=136844 CPUtime=5.69 cores=0,2,4,6
/proc/7794/stat : 7794 (java) S 7792 7792 4674 0 -1 1077944320 20721 0 0 0 563 6 0 0 20 0 15 0 121712689 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 140731431158880 139822003494647 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
/proc/7794/statm: 3495183 34211 3196 1 0 3483476 0
[pid=7794/tid=7795] ppid=7792 vsize=13980732 memory=-2672971631320983069 CPUtime=3.41 cores=0,2,4,6
/proc/7794/task/7795/stat : 7795 (java) R 7792 7792 4674 0 -1 4202560 8858 0 0 0 337 4 0 0 20 0 15 0 121712689 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139822007731264 139821608365254 0 4 1 16800974 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7796] ppid=7792 vsize=13980732 memory=-7812193691855986592 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7796/stat : 7796 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821603351440 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7797] ppid=7792 vsize=13980732 memory=-2672971631320983069 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7797/stat : 7797 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821602298640 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7798] ppid=7792 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7798/stat : 7798 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821601246352 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7799] ppid=7792 vsize=13980732 memory=279530564754432 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7799/stat : 7799 (java) S 7792 7792 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821600193552 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7800] ppid=7792 vsize=13980732 memory=7161819005059233008 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7800/stat : 7800 (java) S 7792 7792 4674 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 121712691 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821481928816 139822003505794 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7801] ppid=7792 vsize=13980732 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7801/stat : 7801 (java) S 7792 7792 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121712692 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821480874784 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7802] ppid=7792 vsize=13980732 memory=6944656592385698452 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7802/stat : 7802 (java) S 7792 7792 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121712692 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821479822448 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7803] ppid=7792 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7803/stat : 7803 (java) S 7792 7792 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121712694 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821478770768 139822003513243 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7804] ppid=7792 vsize=13980732 memory=0 CPUtime=0.91 cores=0,2,4,6
/proc/7794/task/7804/stat : 7804 (java) S 7792 7792 4674 0 -1 1077944384 4157 0 0 0 91 0 0 0 20 0 15 0 121712694 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821477718640 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7805] ppid=7792 vsize=13980732 memory=279530564581184 CPUtime=0.88 cores=0,2,4,6
/proc/7794/task/7805/stat : 7805 (java) S 7792 7792 4674 0 -1 1077944384 3595 0 0 0 88 0 0 0 20 0 15 0 121712694 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821476665840 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7806] ppid=7792 vsize=13980732 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/7794/task/7806/stat : 7806 (java) S 7792 7792 4674 0 -1 1077944384 2726 0 0 0 46 0 0 0 20 0 15 0 121712694 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821475613552 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7807] ppid=7792 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7807/stat : 7807 (java) S 7792 7792 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121712695 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821474560992 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7808] ppid=7792 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7808/stat : 7808 (java) S 7792 7792 4674 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 121712706 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821473507760 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
Current children cumulated CPU time: 5.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 138224 KiB

[startup+3.8007 s]
/proc/loadavg: 2.47 2.17 2.01 3/215 7808
/proc/meminfo: memFree=28640556/32770624 swapFree=67108764/67108860
[pid=7792] ppid=7789 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7792/stat : 7792 (xcsp3-exec) S 7789 7792 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121712683 9740288 345 18446744073709551615 4194304 5098028 140724238430592 140724238428696 140711229436540 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 26320896 140724238434680 140724238434885 140724238434885 140724238438379 0
/proc/7792/statm: 2378 345 289 221 0 87 0
[pid=7794] ppid=7792 vsize=13980732 memory=136844 CPUtime=5.9 cores=0,2,4,6
/proc/7794/stat : 7794 (java) S 7792 7792 4674 0 -1 1077944320 20721 0 0 0 584 6 0 0 20 0 15 0 121712689 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 140731431158880 139822003494647 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
/proc/7794/statm: 3495183 34211 3196 1 0 3483476 0
[pid=7794/tid=7795] ppid=7792 vsize=13980732 memory=-7242455096852575424 CPUtime=3.61 cores=0,2,4,6
/proc/7794/task/7795/stat : 7795 (java) R 7792 7792 4674 0 -1 4202560 8858 0 0 0 357 4 0 0 20 0 15 0 121712689 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139822007731264 139821608498813 0 4 1 16800974 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7796] ppid=7792 vsize=13980732 memory=7825734864442108491 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7796/stat : 7796 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821603351440 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7797] ppid=7792 vsize=13980732 memory=8370611207638964880 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7797/stat : 7797 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821602298640 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7798] ppid=7792 vsize=13980732 memory=-7025452035942946156 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7798/stat : 7798 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821601246352 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7799] ppid=7792 vsize=13980732 memory=-7531822216215565666 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7799/stat : 7799 (java) S 7792 7792 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821600193552 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7800] ppid=7792 vsize=13980732 memory=-6644015126993346704 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7800/stat : 7800 (java) S 7792 7792 4674 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 121712691 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821481928816 139822003505794 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7801] ppid=7792 vsize=13980732 memory=8508261139989150265 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7801/stat : 7801 (java) S 7792 7792 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121712692 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821480874784 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7802] ppid=7792 vsize=13980732 memory=7822038051842263955 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7802/stat : 7802 (java) S 7792 7792 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121712692 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821479822448 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7803] ppid=7792 vsize=13980732 memory=8108036811335805515 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7803/stat : 7803 (java) S 7792 7792 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121712694 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821478770768 139822003513243 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7804] ppid=7792 vsize=13980732 memory=6465 CPUtime=0.91 cores=0,2,4,6
/proc/7794/task/7804/stat : 7804 (java) S 7792 7792 4674 0 -1 1077944384 4157 0 0 0 91 0 0 0 20 0 15 0 121712694 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821477718640 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7805] ppid=7792 vsize=13980732 memory=3919649450166070304 CPUtime=0.88 cores=0,2,4,6
/proc/7794/task/7805/stat : 7805 (java) S 7792 7792 4674 0 -1 1077944384 3595 0 0 0 88 0 0 0 20 0 15 0 121712694 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821476665840 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7806] ppid=7792 vsize=13980732 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/7794/task/7806/stat : 7806 (java) S 7792 7792 4674 0 -1 1077944384 2726 0 0 0 46 0 0 0 20 0 15 0 121712694 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821475613552 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7807] ppid=7792 vsize=13980732 memory=62 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7807/stat : 7807 (java) S 7792 7792 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121712695 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821474560992 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7808] ppid=7792 vsize=13980732 memory=59 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7808/stat : 7808 (java) S 7792 7792 4674 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 121712706 14316269568 34211 18446744073709551615 4194304 4196468 140731431176336 139821473507760 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
Current children cumulated CPU time: 5.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 138224 KiB

[startup+3.90074 s]
/proc/loadavg: 2.47 2.17 2.01 3/215 7808
/proc/meminfo: memFree=28640556/32770624 swapFree=67108764/67108860
[pid=7792] ppid=7789 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7792/stat : 7792 (xcsp3-exec) S 7789 7792 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121712683 9740288 345 18446744073709551615 4194304 5098028 140724238430592 140724238428696 140711229436540 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 26320896 140724238434680 140724238434885 140724238434885 140724238438379 0
/proc/7792/statm: 2378 345 289 221 0 87 0
[pid=7794] ppid=7792 vsize=13980732 memory=136848 CPUtime=6 cores=0,2,4,6
/proc/7794/stat : 7794 (java) S 7792 7792 4674 0 -1 1077944320 21034 0 0 0 594 6 0 0 20 0 15 0 121712689 14316269568 34212 18446744073709551615 4194304 4196468 140731431176336 140731431158880 139822003494647 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
/proc/7794/statm: 3495183 34212 3196 1 0 3483476 0
[pid=7794/tid=7795] ppid=7792 vsize=13980732 memory=1380 CPUtime=3.71 cores=0,2,4,6
/proc/7794/task/7795/stat : 7795 (java) R 7792 7792 4674 0 -1 4202560 9133 0 0 0 367 4 0 0 20 0 15 0 121712689 14316269568 34212 18446744073709551615 4194304 4196468 140731431176336 139822007733976 139821608365114 0 4 1 16800974 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7796] ppid=7792 vsize=13980732 memory=136664 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7796/stat : 7796 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 34212 18446744073709551615 4194304 4196468 140731431176336 139821603351440 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7797] ppid=7792 vsize=13980732 memory=7589523512388969320 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7797/stat : 7797 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 34212 18446744073709551615 4194304 4196468 140731431176336 139821602298640 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7798] ppid=7792 vsize=13980732 memory=7522526863049583209 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7798/stat : 7798 (java) S 7792 7792 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 34212 18446744073709551615 4194304 4196468 140731431176336 139821601246352 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7799] ppid=7792 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7799/stat : 7799 (java) S 7792 7792 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121712690 14316269568 34212 18446744073709551615 4194304 4196468 140731431176336 139821600193552 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7800] ppid=7792 vsize=13980732 memory=136664 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7800/stat : 7800 (java) S 7792 7792 4674 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 121712691 14316269568 34212 18446744073709551615 4194304 4196468 140731431176336 139821481928816 139822003505794 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7801] ppid=7792 vsize=13980732 memory=7230341659367788624 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7801/stat : 7801 (java) S 7792 7792 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121712692 14316269568 34212 18446744073709551615 4194304 4196468 140731431176336 139821480874784 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7802] ppid=7792 vsize=13980732 memory=139765282285744 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7802/stat : 7802 (java) S 7792 7792 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121712692 14316269568 34212 18446744073709551615 4194304 4196468 140731431176336 139821479822448 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7803] ppid=7792 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7803/stat : 7803 (java) S 7792 7792 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121712694 14316269568 34212 18446744073709551615 4194304 4196468 140731431176336 139821478770768 139822003513243 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7804] ppid=7792 vsize=13980732 memory=1677 CPUtime=0.91 cores=0,2,4,6
/proc/7794/task/7804/stat : 7804 (java) S 7792 7792 4674 0 -1 1077944384 4157 0 0 0 91 0 0 0 20 0 15 0 121712694 14316269568 34212 18446744073709551615 4194304 4196468 140731431176336 139821477718640 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7805] ppid=7792 vsize=13980732 memory=2110115889568580 CPUtime=0.88 cores=0,2,4,6
/proc/7794/task/7805/stat : 7805 (java) S 7792 7792 4674 0 -1 1077944384 3595 0 0 0 88 0 0 0 20 0 15 0 121712694 14316269568 34212 18446744073709551615 4194304 4196468 140731431176336 139821476665840 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7806] ppid=7792 vsize=13980732 memory=-6153504281267117510 CPUtime=0.46 cores=0,2,4,6
/proc/7794/task/7806/stat : 7806 (java) S 7792 7792 4674 0 -1 1077944384 2730 0 0 0 46 0 0 0 20 0 15 0 121712694 14316269568 34212 18446744073709551615 4194304 4196468 140731431176336 139821475613552 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7807] ppid=7792 vsize=13980732 memory=7686721470382752105 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7807/stat : 7807 (java) S 7792 7792 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121712695 14316269568 34212 18446744073709551615 4194304 4196468 140731431176336 139821474560992 139822003504853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
[pid=7794/tid=7808] ppid=7792 vsize=13980732 memory=279530564485360 CPUtime=0 cores=0,2,4,6
/proc/7794/task/7808/stat : 7808 (java) S 7792 7792 4674 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 121712706 14316269568 34212 18446744073709551615 4194304 4196468 140731431176336 139821473507760 139822003505794 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10665984 140731431182769 140731431182945 140731431182945 140731431186383 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 138228 KiB

Child status: 0
Real time (s): 3.97061
CPU time (s): 6.08802
CPU user time (s): 6.02132
CPU system time (s): 0.066703
CPU usage (%): 153.327
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 138228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.02132
system time used= 0.066703
maximum resident set size= 139376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2057
involuntary context switches= 23


# summary of solver processes directly reported to runsolver:
#   pid: 7792
#   total CPU time (s): 6.08802
#   total CPU user time (s): 6.02132
#   total CPU system time (s): 0.066703

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042719 second user time and 0.082153 second system time

The end
Name	MagicSequence/MagicSequence-count-s1/ MagicSequence-600-co.xml
MD5SUM	c8310886daa61c46dd98a045c4929b4c
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	6.4116702
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	602
Number of domains	1
Minimum domain size	600
Maximum domain size	600
Distribution of domain sizes	[{"size":600,"count":600}]
Minimum variable degree	602
Maximum variable degree	602
Distribution of variable degrees	[{"degree":602,"count":600}]
Minimum constraint arity	600
Maximum constraint arity	600
Distribution of constraint arities	[{"arity":600,"count":602}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"count","count":600}]
Optimization problem	NO
Type of objective
Trace number 4269554

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
