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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-16	SAT	25.3122	7.31603
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 (14522 MiB free)
  memory of node 1: 16384 MiB (12024 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398938-1568694565/watcher-4398938-1568694565 -o /tmp/evaluation-result-4398938-1568694565/solver-4398938-1568694565 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568694401-32468 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 92904956 HOME/instance-4398938-1568694565.xml 

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

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


[startup+0.101477 s]*
/proc/loadavg: 6.94 3.18 1.79 8/233 2811
/proc/meminfo: memFree=27167380/32770624 swapFree=66939908/67108860
[pid=2795] ppid=2792 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2795/stat : 2795 (xcsp3-exec) S 2792 2795 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445371331 115843072 363 33554432000 4194304 5098028 140724061157408 140724061155512 139795613618812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26058752 140724061160316 140724061160557 140724061160557 140724061163466 0
/proc/2795/statm: 28282 363 304 221 0 87 0
[pid=2797] ppid=2795 vsize=15144776 memory=29620 CPUtime=0.12 cores=0,2,4,6
/proc/2797/stat : 2797 (java) S 2795 2795 32437 0 -1 1077944320 5807 0 0 0 11 1 0 0 20 0 15 0 445371332 15508250624 7405 33554432000 4194304 4196468 140733429659728 140733429642272 140311359500023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
/proc/2797/statm: 3786194 7405 3149 1 0 3748377 0
[pid=2797/tid=2798] ppid=2795 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/2797/task/2798/stat : 2798 (java) R 2795 2795 32437 0 -1 4202560 3736 0 0 0 8 1 0 0 20 0 15 0 445371332 15508250624 7405 33554432000 4194304 4196468 140733429659728 140311363723024 140311359521949 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2799] ppid=2795 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2799/stat : 2799 (java) S 2795 2795 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445371333 15508250624 7405 33554432000 4194304 4196468 140733429659728 140311287540240 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2800] ppid=2795 vsize=15144776 memory=140679812331136 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2800/stat : 2800 (java) S 2795 2795 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371333 15508250624 7405 33554432000 4194304 4196468 140733429659728 140311286487696 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2801] ppid=2795 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2801/stat : 2801 (java) S 2795 2795 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371333 15508250624 7405 33554432000 4194304 4196468 140733429659728 140311285434640 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2802] ppid=2795 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2802/stat : 2802 (java) S 2795 2795 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445371333 15508250624 7405 33554432000 4194304 4196468 140733429659728 140311284382096 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2803] ppid=2795 vsize=15144776 memory=140679812331136 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2803/stat : 2803 (java) S 2795 2795 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445371334 15508250624 7405 33554432000 4194304 4196468 140733429659728 140310827662064 140311359511170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2804] ppid=2795 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2804/stat : 2804 (java) S 2795 2795 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445371334 15508250624 7405 33554432000 4194304 4196468 140733429659728 140310826608288 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2805] ppid=2795 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2805/stat : 2805 (java) S 2795 2795 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445371335 15508250624 7405 33554432000 4194304 4196468 140733429659728 140310825555184 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2806] ppid=2795 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2806/stat : 2806 (java) S 2795 2795 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445371337 15508250624 7405 33554432000 4194304 4196468 140733429659728 140310824503760 140311359518619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2807] ppid=2795 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2807/stat : 2807 (java) R 2795 2795 32437 0 -1 4202560 455 0 0 0 0 0 0 0 20 0 15 0 445371337 15508250624 7405 33554432000 4194304 4196468 140733429659728 140310823450864 140311337430624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2808] ppid=2795 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2808/stat : 2808 (java) R 2795 2795 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445371337 15508250624 7405 33554432000 4194304 4196468 140733429659728 140310822398320 140311359511170 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2809] ppid=2795 vsize=15144776 memory=140679812331136 CPUtime=0.02 cores=0,2,4,6
/proc/2797/task/2809/stat : 2809 (java) R 2795 2795 32437 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 445371337 15508250624 7405 33554432000 4194304 4196468 140733429659728 140310821345264 140311351737150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2810] ppid=2795 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2810/stat : 2810 (java) S 2795 2795 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445371337 15508250624 7405 33554432000 4194304 4196468 140733429659728 140310820292960 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2811] ppid=2795 vsize=15144776 memory=140679812331136 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2811/stat : 2811 (java) S 2795 2795 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371338 15508250624 7405 33554432000 4194304 4196468 140733429659728 140310819241008 140311359511170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31072 KiB

[startup+0.210803 s]*
/proc/loadavg: 6.94 3.18 1.79 6/233 2811
/proc/meminfo: memFree=27155156/32770624 swapFree=66939908/67108860
[pid=2795] ppid=2792 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2795/stat : 2795 (xcsp3-exec) S 2792 2795 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445371331 115843072 363 33554432000 4194304 5098028 140724061157408 140724061155512 139795613618812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26058752 140724061160316 140724061160557 140724061160557 140724061163466 0
/proc/2795/statm: 28282 363 304 221 0 87 0
[pid=2797] ppid=2795 vsize=15144776 memory=41004 CPUtime=0.33 cores=0,2,4,6
/proc/2797/stat : 2797 (java) S 2795 2795 32437 0 -1 1077944320 9488 0 0 0 30 3 0 0 20 0 15 0 445371332 15508250624 10251 33554432000 4194304 4196468 140733429659728 140733429642272 140311359500023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
/proc/2797/statm: 3786194 10251 3303 1 0 3748377 0
[pid=2797/tid=2798] ppid=2795 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/2797/task/2798/stat : 2798 (java) R 2795 2795 32437 0 -1 4202560 6636 0 0 0 17 3 0 0 20 0 15 0 445371332 15508250624 10251 33554432000 4194304 4196468 140733429659728 140311363729744 140311343580510 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2799] ppid=2795 vsize=15144776 memory=4294977831 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2799/stat : 2799 (java) S 2795 2795 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445371333 15508250624 10251 33554432000 4194304 4196468 140733429659728 140311287540240 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2800] ppid=2795 vsize=15144776 memory=140679812361302 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2800/stat : 2800 (java) S 2795 2795 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371333 15508250624 10251 33554432000 4194304 4196468 140733429659728 140311286487696 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2801] ppid=2795 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2801/stat : 2801 (java) S 2795 2795 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371333 15508250624 10251 33554432000 4194304 4196468 140733429659728 140311285434640 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2802] ppid=2795 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2802/stat : 2802 (java) S 2795 2795 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445371333 15508250624 10251 33554432000 4194304 4196468 140733429659728 140311284382096 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2803] ppid=2795 vsize=15144776 memory=140679812331136 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2803/stat : 2803 (java) S 2795 2795 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445371334 15508250624 10251 33554432000 4194304 4196468 140733429659728 140310827662064 140311359511170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2804] ppid=2795 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2804/stat : 2804 (java) S 2795 2795 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445371334 15508250624 10251 33554432000 4194304 4196468 140733429659728 140310826608288 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2805] ppid=2795 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2805/stat : 2805 (java) S 2795 2795 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445371335 15508250624 10251 33554432000 4194304 4196468 140733429659728 140310825555184 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2806] ppid=2795 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2806/stat : 2806 (java) S 2795 2795 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445371337 15508250624 10251 33554432000 4194304 4196468 140733429659728 140310824503760 140311359518619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2807] ppid=2795 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2797/task/2807/stat : 2807 (java) S 2795 2795 32437 0 -1 1077944384 512 0 0 0 2 0 0 0 20 0 15 0 445371337 15508250624 10251 33554432000 4194304 4196468 140733429659728 140310823450864 140311359511170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2808] ppid=2795 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2797/task/2808/stat : 2808 (java) S 2795 2795 32437 0 -1 1077944384 333 0 0 0 2 0 0 0 20 0 15 0 445371337 15508250624 10251 33554432000 4194304 4196468 140733429659728 140310822398320 140311359511170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2809] ppid=2795 vsize=15144776 memory=140679812331136 CPUtime=0.08 cores=0,2,4,6
/proc/2797/task/2809/stat : 2809 (java) R 2795 2795 32437 0 -1 4202560 707 0 0 0 8 0 0 0 20 0 15 0 445371337 15508250624 10251 33554432000 4194304 4196468 140733429659728 140310821345264 140311344665598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2810] ppid=2795 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2810/stat : 2810 (java) S 2795 2795 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445371337 15508250624 10251 33554432000 4194304 4196468 140733429659728 140310820292960 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2811] ppid=2795 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2811/stat : 2811 (java) S 2795 2795 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371338 15508250624 10251 33554432000 4194304 4196468 140733429659728 140310819241008 140311359511170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42456 KiB

[startup+0.311302 s]*
/proc/loadavg: 6.94 3.18 1.79 7/233 2811
/proc/meminfo: memFree=27147876/32770624 swapFree=66939908/67108860
[pid=2795] ppid=2792 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2795/stat : 2795 (xcsp3-exec) S 2792 2795 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445371331 115843072 363 33554432000 4194304 5098028 140724061157408 140724061155512 139795613618812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26058752 140724061160316 140724061160557 140724061160557 140724061163466 0
/proc/2795/statm: 28282 363 304 221 0 87 0
[pid=2797] ppid=2795 vsize=15149032 memory=49808 CPUtime=0.52 cores=0,2,4,6
/proc/2797/stat : 2797 (java) S 2795 2795 32437 0 -1 1077944320 10819 0 0 0 48 4 0 0 20 0 15 0 445371332 15512608768 12452 33554432000 4194304 4196468 140733429659728 140733429642272 140311359500023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
/proc/2797/statm: 3787258 12452 3351 1 0 3748377 0
[pid=2797/tid=2798] ppid=2795 vsize=15149032 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/2797/task/2798/stat : 2798 (java) R 2795 2795 32437 0 -1 4202560 7775 0 0 0 26 3 0 0 20 0 15 0 445371332 15512608768 12481 33554432000 4194304 4196468 140733429659728 140311363739848 140311343580510 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2799] ppid=2795 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2799/stat : 2799 (java) S 2795 2795 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445371333 15512608768 12481 33554432000 4194304 4196468 140733429659728 140311287540240 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2800] ppid=2795 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2800/stat : 2800 (java) S 2795 2795 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371333 15512608768 12481 33554432000 4194304 4196468 140733429659728 140311286487696 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2801] ppid=2795 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2801/stat : 2801 (java) S 2795 2795 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371333 15512608768 12481 33554432000 4194304 4196468 140733429659728 140311285434640 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2802] ppid=2795 vsize=15149032 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2802/stat : 2802 (java) S 2795 2795 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445371333 15512608768 12481 33554432000 4194304 4196468 140733429659728 140311284382096 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2803] ppid=2795 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2803/stat : 2803 (java) S 2795 2795 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445371334 15512608768 12481 33554432000 4194304 4196468 140733429659728 140310827662064 140311359511170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2804] ppid=2795 vsize=15149032 memory=4211821575712250496 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2804/stat : 2804 (java) S 2795 2795 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445371334 15512608768 12481 33554432000 4194304 4196468 140733429659728 140310826608288 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2805] ppid=2795 vsize=15149032 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2805/stat : 2805 (java) S 2795 2795 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445371335 15512608768 12481 33554432000 4194304 4196468 140733429659728 140310825555184 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2806] ppid=2795 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2806/stat : 2806 (java) S 2795 2795 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445371337 15512608768 12481 33554432000 4194304 4196468 140733429659728 140310824503760 140311359518619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2807] ppid=2795 vsize=15149032 memory=6944656592455097440 CPUtime=0.04 cores=0,2,4,6
/proc/2797/task/2807/stat : 2807 (java) S 2795 2795 32437 0 -1 1077944384 525 0 0 0 4 0 0 0 20 0 15 0 445371337 15512608768 12481 33554432000 4194304 4196468 140733429659728 140310823450864 140311359511170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2808] ppid=2795 vsize=15149032 memory=-6935123839545469842 CPUtime=0.05 cores=0,2,4,6
/proc/2797/task/2808/stat : 2808 (java) R 2795 2795 32437 0 -1 4202560 459 0 0 0 5 0 0 0 20 0 15 0 445371337 15512608768 12481 33554432000 4194304 4196468 140733429659728 140310822379336 140311344626238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2809] ppid=2795 vsize=15149032 memory=7438357367570802579 CPUtime=0.12 cores=0,2,4,6
/proc/2797/task/2809/stat : 2809 (java) S 2795 2795 32437 0 -1 1077944384 783 0 0 0 12 0 0 0 20 0 15 0 445371337 15512608768 12481 33554432000 4194304 4196468 140733429659728 140310821345264 140311359511170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2810] ppid=2795 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2810/stat : 2810 (java) S 2795 2795 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445371337 15512608768 12481 33554432000 4194304 4196468 140733429659728 140310820292960 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2811] ppid=2795 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2811/stat : 2811 (java) S 2795 2795 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371338 15512608768 12481 33554432000 4194304 4196468 140733429659728 140310819241008 140311359511170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51260 KiB

[startup+0.70097 s]
/proc/loadavg: 6.94 3.18 1.79 8/233 2811
/proc/meminfo: memFree=27126132/32770624 swapFree=66939908/67108860
[pid=2795] ppid=2792 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2795/stat : 2795 (xcsp3-exec) S 2792 2795 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445371331 115843072 363 33554432000 4194304 5098028 140724061157408 140724061155512 139795613618812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26058752 140724061160316 140724061160557 140724061160557 140724061163466 0
/proc/2795/statm: 28282 363 304 221 0 87 0
[pid=2797] ppid=2795 vsize=15151156 memory=106744 CPUtime=1.7 cores=0,2,4,6
/proc/2797/stat : 2797 (java) S 2795 2795 32437 0 -1 1077944320 14235 0 0 0 163 7 0 0 20 0 15 0 445371332 15514783744 26686 33554432000 4194304 4196468 140733429659728 140733429642272 140311359500023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
/proc/2797/statm: 3787789 26686 3441 1 0 3748889 0
[pid=2797/tid=2798] ppid=2795 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/2797/task/2798/stat : 2798 (java) R 2795 2795 32437 0 -1 4202560 8438 0 0 0 63 5 0 0 20 0 15 0 445371332 15514783744 26686 33554432000 4194304 4196468 140733429659728 140311363737024 140310961270424 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2799] ppid=2795 vsize=15151156 memory=148 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2799/stat : 2799 (java) S 2795 2795 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445371333 15514783744 26686 33554432000 4194304 4196468 140733429659728 140311287540240 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2800] ppid=2795 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2800/stat : 2800 (java) S 2795 2795 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371333 15514783744 26686 33554432000 4194304 4196468 140733429659728 140311286487696 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2801] ppid=2795 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2801/stat : 2801 (java) S 2795 2795 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371333 15514783744 26686 33554432000 4194304 4196468 140733429659728 140311285434640 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2802] ppid=2795 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2802/stat : 2802 (java) S 2795 2795 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445371333 15514783744 26686 33554432000 4194304 4196468 140733429659728 140311284382096 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2803] ppid=2795 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2803/stat : 2803 (java) S 2795 2795 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445371334 15514783744 26686 33554432000 4194304 4196468 140733429659728 140310827662064 140311359511170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2804] ppid=2795 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2804/stat : 2804 (java) S 2795 2795 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445371334 15514783744 26686 33554432000 4194304 4196468 140733429659728 140310826608288 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2805] ppid=2795 vsize=15151156 memory=47992 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2805/stat : 2805 (java) S 2795 2795 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445371335 15514783744 26686 33554432000 4194304 4196468 140733429659728 140310825555184 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2806] ppid=2795 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2806/stat : 2806 (java) S 2795 2795 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445371337 15514783744 26686 33554432000 4194304 4196468 140733429659728 140310824503760 140311359518619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2807] ppid=2795 vsize=15151156 memory=2008 CPUtime=0.35 cores=0,2,4,6
/proc/2797/task/2807/stat : 2807 (java) R 2795 2795 32437 0 -1 4202560 1551 0 0 0 35 0 0 0 20 0 15 0 445371337 15514783744 26686 33554432000 4194304 4196468 140733429659728 140310823450864 140311345111184 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2808] ppid=2795 vsize=15151156 memory=1436 CPUtime=0.31 cores=0,2,4,6
/proc/2797/task/2808/stat : 2808 (java) R 2795 2795 32437 0 -1 4202560 1108 0 0 0 31 0 0 0 20 0 15 0 445371337 15514783744 26686 33554432000 4194304 4196468 140733429659728 140310822384416 140311341018414 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2809] ppid=2795 vsize=15151156 memory=4152 CPUtime=0.32 cores=0,2,4,6
/proc/2797/task/2809/stat : 2809 (java) R 2795 2795 32437 0 -1 4202560 1832 0 0 0 32 0 0 0 20 0 15 0 445371337 15514783744 26686 33554432000 4194304 4196468 140733429659728 140310821345264 140311352596859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2810] ppid=2795 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2810/stat : 2810 (java) S 2795 2795 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445371337 15514783744 26686 33554432000 4194304 4196468 140733429659728 140310820292960 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2811] ppid=2795 vsize=15151156 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2811/stat : 2811 (java) S 2795 2795 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371338 15514783744 26686 33554432000 4194304 4196468 140733429659728 140310819241008 140311359511170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 108196 KiB

[startup+1.50094 s]
/proc/loadavg: 6.94 3.18 1.79 6/233 2811
/proc/meminfo: memFree=27016104/32770624 swapFree=66939908/67108860
[pid=2795] ppid=2792 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2795/stat : 2795 (xcsp3-exec) S 2792 2795 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445371331 115843072 363 33554432000 4194304 5098028 140724061157408 140724061155512 139795613618812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26058752 140724061160316 140724061160557 140724061160557 140724061163466 0
/proc/2795/statm: 28282 363 304 221 0 87 0

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

/proc/meminfo: memFree=26915188/32770624 swapFree=66939908/67108860
[pid=2795] ppid=2792 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2795/stat : 2795 (xcsp3-exec) S 2792 2795 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445371331 115843072 363 33554432000 4194304 5098028 140724061157408 140724061155512 139795613618812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26058752 140724061160316 140724061160557 140724061160557 140724061163466 0
/proc/2795/statm: 28282 363 304 221 0 87 0
[pid=2797] ppid=2795 vsize=15417412 memory=281776 CPUtime=21.43 cores=0,2,4,6
/proc/2797/stat : 2797 (java) S 2795 2795 32437 0 -1 1077944320 25450 0 0 0 2125 18 0 0 20 0 19 0 445371332 15787429888 70444 33554432000 4194304 4196468 140733429659728 140733429642272 140311359500023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
/proc/2797/statm: 3854353 70444 3519 1 0 3815453 0
[pid=2797/tid=2798] ppid=2795 vsize=15417412 memory=7022364632946311227 CPUtime=1.34 cores=0,2,4,6
/proc/2797/task/2798/stat : 2798 (java) S 2795 2795 32437 0 -1 1077944384 9230 0 0 0 128 6 0 0 20 0 19 0 445371332 15787429888 70444 33554432000 4194304 4196468 140733429659728 140311363740800 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2799] ppid=2795 vsize=15417412 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/2797/task/2799/stat : 2799 (java) S 2795 2795 32437 0 -1 1077944384 152 0 0 0 3 2 0 0 20 0 19 0 445371333 15787429888 70444 33554432000 4194304 4196468 140733429659728 140311287540240 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2800] ppid=2795 vsize=15417412 memory=140679812360664 CPUtime=0.05 cores=0,2,4,6
/proc/2797/task/2800/stat : 2800 (java) S 2795 2795 32437 0 -1 1077944384 173 0 0 0 3 2 0 0 20 0 19 0 445371333 15787429888 70444 33554432000 4194304 4196468 140733429659728 140311286487696 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2801] ppid=2795 vsize=15417412 memory=3474162249733367968 CPUtime=0.03 cores=0,2,4,6
/proc/2797/task/2801/stat : 2801 (java) S 2795 2795 32437 0 -1 1077944384 193 0 0 0 2 1 0 0 20 0 19 0 445371333 15787429888 70444 33554432000 4194304 4196468 140733429659728 140311285434640 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2802] ppid=2795 vsize=15417412 memory=170926130 CPUtime=0.03 cores=0,2,4,6
/proc/2797/task/2802/stat : 2802 (java) S 2795 2795 32437 0 -1 1077944384 126 0 0 0 2 1 0 0 20 0 19 0 445371333 15787429888 70444 33554432000 4194304 4196468 140733429659728 140311284382096 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2803] ppid=2795 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2803/stat : 2803 (java) S 2795 2795 32437 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 19 0 445371334 15787429888 70444 33554432000 4194304 4196468 140733429659728 140310827662064 140311359511170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 43 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2804] ppid=2795 vsize=15417412 memory=4569845203944 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2804/stat : 2804 (java) S 2795 2795 32437 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445371334 15787429888 70444 33554432000 4194304 4196468 140733429659728 140310826608352 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2805] ppid=2795 vsize=15417412 memory=2986701742012180974 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2805/stat : 2805 (java) S 2795 2795 32437 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445371335 15787429888 70444 33554432000 4194304 4196468 140733429659728 140310825555200 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2806] ppid=2795 vsize=15417412 memory=3544649811761573941 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2806/stat : 2806 (java) S 2795 2795 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445371337 15787429888 70444 33554432000 4194304 4196468 140733429659728 140310824503760 140311359518619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2807] ppid=2795 vsize=15417412 memory=0 CPUtime=1.59 cores=0,2,4,6
/proc/2797/task/2807/stat : 2807 (java) S 2795 2795 32437 0 -1 1077944384 4591 0 0 0 159 0 0 0 20 0 19 0 445371337 15787429888 70444 33554432000 4194304 4196468 140733429659728 140310823450864 140311359511170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2808] ppid=2795 vsize=15417412 memory=2319952179468709919 CPUtime=1.55 cores=0,2,4,6
/proc/2797/task/2808/stat : 2808 (java) S 2795 2795 32437 0 -1 1077944384 4636 0 0 0 154 1 0 0 20 0 19 0 445371337 15787429888 70444 33554432000 4194304 4196468 140733429659728 140310822398320 140311359511170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2809] ppid=2795 vsize=15417412 memory=4640770713788629089 CPUtime=0.59 cores=0,2,4,6
/proc/2797/task/2809/stat : 2809 (java) S 2795 2795 32437 0 -1 1077944384 2904 0 0 0 58 1 0 0 20 0 19 0 445371337 15787429888 70444 33554432000 4194304 4196468 140733429659728 140310821345264 140311359511170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2810] ppid=2795 vsize=15417412 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2810/stat : 2810 (java) S 2795 2795 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445371337 15787429888 70444 33554432000 4194304 4196468 140733429659728 140310820292960 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2811] ppid=2795 vsize=15417412 memory=8025788814078207340 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2811/stat : 2811 (java) S 2795 2795 32437 0 -1 1077944384 396 0 0 0 0 0 0 0 20 0 19 0 445371338 15787429888 70444 33554432000 4194304 4196468 140733429659728 140310819241008 140311359511170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2812] ppid=2795 vsize=15417412 memory=0 CPUtime=3.92 cores=0,2,4,6
/proc/2797/task/2812/stat : 2812 (java) R 2795 2795 32437 0 -1 4202560 416 0 0 0 392 0 0 0 20 0 19 0 445371517 15787429888 70444 33554432000 4194304 4196468 140733429659728 140310743076568 140310967513011 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2813] ppid=2795 vsize=15417412 memory=0 CPUtime=3.97 cores=0,2,4,6
/proc/2797/task/2813/stat : 2813 (java) R 2795 2795 32437 0 -1 4202560 648 0 0 0 397 0 0 0 20 0 19 0 445371517 15787429888 70444 33554432000 4194304 4196468 140733429659728 140310742024488 140310967512897 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2814] ppid=2795 vsize=15417412 memory=0 CPUtime=4.06 cores=0,2,4,6
/proc/2797/task/2814/stat : 2814 (java) R 2795 2795 32437 0 -1 4202560 260 0 0 0 406 0 0 0 20 0 19 0 445371517 15787429888 70444 33554432000 4194304 4196468 140733429659728 140310740973976 140310967512819 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2815] ppid=2795 vsize=15417412 memory=0 CPUtime=4.15 cores=0,2,4,6
/proc/2797/task/2815/stat : 2815 (java) R 2795 2795 32437 0 -1 4202560 140 0 0 0 415 0 0 0 20 0 19 0 445371517 15787429888 70444 33554432000 4194304 4196468 140733429659728 140310739918952 140310967512768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
Current children cumulated CPU time: 21.43 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 283228 KiB

[startup+7.316 s]
# the end of solver process 2795 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=25.1163 s, system=0.195854 s

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

[startup+6.70083 s]
/proc/loadavg: 7.11 3.28 1.83 9/237 2815
/proc/meminfo: memFree=26915188/32770624 swapFree=66939908/67108860
[pid=2795] ppid=2792 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2795/stat : 2795 (xcsp3-exec) S 2792 2795 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445371331 115843072 363 33554432000 4194304 5098028 140724061157408 140724061155512 139795613618812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26058752 140724061160316 140724061160557 140724061160557 140724061163466 0
/proc/2795/statm: 28282 363 304 221 0 87 0
[pid=2797] ppid=2795 vsize=15417412 memory=281800 CPUtime=22.99 cores=0,2,4,6
/proc/2797/stat : 2797 (java) S 2795 2795 32437 0 -1 1077944320 25774 0 0 0 2281 18 0 0 20 0 19 0 445371332 15787429888 70450 33554432000 4194304 4196468 140733429659728 140733429642272 140311359500023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
/proc/2797/statm: 3854353 70450 3519 1 0 3815453 0
[pid=2797/tid=2798] ppid=2795 vsize=15417412 memory=15960155081 CPUtime=1.34 cores=0,2,4,6
/proc/2797/task/2798/stat : 2798 (java) S 2795 2795 32437 0 -1 1077944384 9230 0 0 0 128 6 0 0 20 0 19 0 445371332 15787429888 70450 33554432000 4194304 4196468 140733429659728 140311363740800 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2799] ppid=2795 vsize=15417412 memory=281359415695856 CPUtime=0.05 cores=0,2,4,6
/proc/2797/task/2799/stat : 2799 (java) S 2795 2795 32437 0 -1 1077944384 152 0 0 0 3 2 0 0 20 0 19 0 445371333 15787429888 70450 33554432000 4194304 4196468 140733429659728 140311287540240 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2800] ppid=2795 vsize=15417412 memory=281359415413768 CPUtime=0.05 cores=0,2,4,6
/proc/2797/task/2800/stat : 2800 (java) S 2795 2795 32437 0 -1 1077944384 173 0 0 0 3 2 0 0 20 0 19 0 445371333 15787429888 70450 33554432000 4194304 4196468 140733429659728 140311286487696 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2801] ppid=2795 vsize=15417412 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2797/task/2801/stat : 2801 (java) S 2795 2795 32437 0 -1 1077944384 193 0 0 0 2 1 0 0 20 0 19 0 445371333 15787429888 70450 33554432000 4194304 4196468 140733429659728 140311285434640 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2802] ppid=2795 vsize=15417412 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2797/task/2802/stat : 2802 (java) S 2795 2795 32437 0 -1 1077944384 126 0 0 0 2 1 0 0 20 0 19 0 445371333 15787429888 70450 33554432000 4194304 4196468 140733429659728 140311284382096 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2803] ppid=2795 vsize=15417412 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2803/stat : 2803 (java) S 2795 2795 32437 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 19 0 445371334 15787429888 70450 33554432000 4194304 4196468 140733429659728 140310827662064 140311359511170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 43 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2804] ppid=2795 vsize=15417412 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2804/stat : 2804 (java) S 2795 2795 32437 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445371334 15787429888 70450 33554432000 4194304 4196468 140733429659728 140310826608352 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2805] ppid=2795 vsize=15417412 memory=4152 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2805/stat : 2805 (java) S 2795 2795 32437 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445371335 15787429888 70450 33554432000 4194304 4196468 140733429659728 140310825555200 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2806] ppid=2795 vsize=15417412 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2806/stat : 2806 (java) S 2795 2795 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445371337 15787429888 70450 33554432000 4194304 4196468 140733429659728 140310824503760 140311359518619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2807] ppid=2795 vsize=15417412 memory=1728 CPUtime=1.62 cores=0,2,4,6
/proc/2797/task/2807/stat : 2807 (java) R 2795 2795 32437 0 -1 4202560 4894 0 0 0 162 0 0 0 20 0 19 0 445371337 15787429888 70450 33554432000 4194304 4196468 140733429659728 140310823451160 140311339197787 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2808] ppid=2795 vsize=15417412 memory=8072 CPUtime=1.55 cores=0,2,4,6
/proc/2797/task/2808/stat : 2808 (java) R 2795 2795 32437 0 -1 1077944384 4636 0 0 0 154 1 0 0 20 0 19 0 445371337 15787429888 70450 33554432000 4194304 4196468 140733429659728 140310822398320 140311359511170 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2809] ppid=2795 vsize=15417412 memory=9580 CPUtime=0.6 cores=0,2,4,6
/proc/2797/task/2809/stat : 2809 (java) S 2795 2795 32437 0 -1 1077944384 2904 0 0 0 59 1 0 0 20 0 19 0 445371337 15787429888 70450 33554432000 4194304 4196468 140733429659728 140310821345264 140311359511170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2810] ppid=2795 vsize=15417412 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2810/stat : 2810 (java) S 2795 2795 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445371337 15787429888 70450 33554432000 4194304 4196468 140733429659728 140310820292960 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2811] ppid=2795 vsize=15417412 memory=776 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2811/stat : 2811 (java) S 2795 2795 32437 0 -1 1077944384 396 0 0 0 0 0 0 0 20 0 19 0 445371338 15787429888 70450 33554432000 4194304 4196468 140733429659728 140310819241008 140311359511170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2812] ppid=2795 vsize=15417412 memory=2832 CPUtime=4.28 cores=0,2,4,6
/proc/2797/task/2812/stat : 2812 (java) R 2795 2795 32437 0 -1 4202560 421 0 0 0 428 0 0 0 20 0 19 0 445371517 15787429888 70450 33554432000 4194304 4196468 140733429659728 140310743076632 140310967512946 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2813] ppid=2795 vsize=15417412 memory=1452 CPUtime=4.35 cores=0,2,4,6
/proc/2797/task/2813/stat : 2813 (java) R 2795 2795 32437 0 -1 4202560 657 0 0 0 435 0 0 0 20 0 19 0 445371517 15787429888 70450 33554432000 4194304 4196468 140733429659728 140310742026536 140310961330768 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2814] ppid=2795 vsize=15417412 memory=281776 CPUtime=4.45 cores=0,2,4,6
/proc/2797/task/2814/stat : 2814 (java) R 2795 2795 32437 0 -1 4202560 264 0 0 0 445 0 0 0 20 0 19 0 445371517 15787429888 70450 33554432000 4194304 4196468 140733429659728 140310740971832 140310967512946 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2815] ppid=2795 vsize=15417412 memory=281359416010944 CPUtime=4.54 cores=0,2,4,6
/proc/2797/task/2815/stat : 2815 (java) R 2795 2795 32437 0 -1 4202560 143 0 0 0 454 0 0 0 20 0 19 0 445371517 15787429888 70450 33554432000 4194304 4196468 140733429659728 140310739920712 140310967513085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
Current children cumulated CPU time: 22.99 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 283252 KiB

[startup+7.10697 s]
/proc/loadavg: 7.11 3.28 1.83 9/237 2815
/proc/meminfo: memFree=26915188/32770624 swapFree=66939908/67108860
[pid=2795] ppid=2792 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2795/stat : 2795 (xcsp3-exec) S 2792 2795 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445371331 115843072 363 33554432000 4194304 5098028 140724061157408 140724061155512 139795613618812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26058752 140724061160316 140724061160557 140724061160557 140724061163466 0
/proc/2795/statm: 28282 363 304 221 0 87 0
[pid=2797] ppid=2795 vsize=15417412 memory=281820 CPUtime=24.61 cores=0,2,4,6
/proc/2797/stat : 2797 (java) S 2795 2795 32437 0 -1 1077944320 25979 0 0 0 2443 18 0 0 20 0 19 0 445371332 15787429888 70455 33554432000 4194304 4196468 140733429659728 140733429642272 140311359500023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
/proc/2797/statm: 3854353 70455 3519 1 0 3815453 0
[pid=2797/tid=2798] ppid=2795 vsize=15417412 memory=7019467087973267506 CPUtime=1.34 cores=0,2,4,6
/proc/2797/task/2798/stat : 2798 (java) S 2795 2795 32437 0 -1 1077944384 9230 0 0 0 128 6 0 0 20 0 19 0 445371332 15787429888 70455 33554432000 4194304 4196468 140733429659728 140311363740800 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2799] ppid=2795 vsize=15417412 memory=7019467087990044722 CPUtime=0.05 cores=0,2,4,6
/proc/2797/task/2799/stat : 2799 (java) S 2795 2795 32437 0 -1 1077944384 152 0 0 0 3 2 0 0 20 0 19 0 445371333 15787429888 70455 33554432000 4194304 4196468 140733429659728 140311287540240 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2800] ppid=2795 vsize=15417412 memory=7019467088006821938 CPUtime=0.05 cores=0,2,4,6
/proc/2797/task/2800/stat : 2800 (java) S 2795 2795 32437 0 -1 1077944384 173 0 0 0 3 2 0 0 20 0 19 0 445371333 15787429888 70455 33554432000 4194304 4196468 140733429659728 140311286487696 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2801] ppid=2795 vsize=15417412 memory=11281 CPUtime=0.03 cores=0,2,4,6
/proc/2797/task/2801/stat : 2801 (java) S 2795 2795 32437 0 -1 1077944384 193 0 0 0 2 1 0 0 20 0 19 0 445371333 15787429888 70455 33554432000 4194304 4196468 140733429659728 140311285434640 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2802] ppid=2795 vsize=15417412 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2797/task/2802/stat : 2802 (java) S 2795 2795 32437 0 -1 1077944384 126 0 0 0 2 1 0 0 20 0 19 0 445371333 15787429888 70455 33554432000 4194304 4196468 140733429659728 140311284382096 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2803] ppid=2795 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2803/stat : 2803 (java) S 2795 2795 32437 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 19 0 445371334 15787429888 70455 33554432000 4194304 4196468 140733429659728 140310827662064 140311359511170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 43 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2804] ppid=2795 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2804/stat : 2804 (java) S 2795 2795 32437 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445371334 15787429888 70455 33554432000 4194304 4196468 140733429659728 140310826608352 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2805] ppid=2795 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2805/stat : 2805 (java) S 2795 2795 32437 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445371335 15787429888 70455 33554432000 4194304 4196468 140733429659728 140310825555200 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2806] ppid=2795 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2806/stat : 2806 (java) S 2795 2795 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445371337 15787429888 70455 33554432000 4194304 4196468 140733429659728 140310824503760 140311359518619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2807] ppid=2795 vsize=15417412 memory=0 CPUtime=1.64 cores=0,2,4,6
/proc/2797/task/2807/stat : 2807 (java) S 2795 2795 32437 0 -1 1077944384 4988 0 0 0 164 0 0 0 20 0 19 0 445371337 15787429888 70455 33554432000 4194304 4196468 140733429659728 140310823450864 140311359511170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2808] ppid=2795 vsize=15417412 memory=0 CPUtime=1.57 cores=0,2,4,6
/proc/2797/task/2808/stat : 2808 (java) S 2795 2795 32437 0 -1 1077944384 4736 0 0 0 156 1 0 0 20 0 19 0 445371337 15787429888 70455 33554432000 4194304 4196468 140733429659728 140310822398320 140311359511170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2809] ppid=2795 vsize=15417412 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/2797/task/2809/stat : 2809 (java) S 2795 2795 32437 0 -1 1077944384 2904 0 0 0 59 1 0 0 20 0 19 0 445371337 15787429888 70455 33554432000 4194304 4196468 140733429659728 140310821345264 140311359511170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2810] ppid=2795 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2810/stat : 2810 (java) S 2795 2795 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445371337 15787429888 70455 33554432000 4194304 4196468 140733429659728 140310820292960 140311359510229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2811] ppid=2795 vsize=15417412 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/2797/task/2811/stat : 2811 (java) S 2795 2795 32437 0 -1 1077944384 396 0 0 0 0 0 0 0 20 0 19 0 445371338 15787429888 70455 33554432000 4194304 4196468 140733429659728 140310819241008 140311359511170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2812] ppid=2795 vsize=15417412 memory=0 CPUtime=4.67 cores=0,2,4,6
/proc/2797/task/2812/stat : 2812 (java) R 2795 2795 32437 0 -1 4202560 422 0 0 0 467 0 0 0 20 0 19 0 445371517 15787429888 70455 33554432000 4194304 4196468 140733429659728 140310743076632 140310967512813 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2813] ppid=2795 vsize=15417412 memory=0 CPUtime=4.74 cores=0,2,4,6
/proc/2797/task/2813/stat : 2813 (java) R 2795 2795 32437 0 -1 4202560 660 0 0 0 474 0 0 0 20 0 19 0 445371517 15787429888 70455 33554432000 4194304 4196468 140733429659728 140310742024968 140310967513021 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2814] ppid=2795 vsize=15417412 memory=0 CPUtime=4.85 cores=0,2,4,6
/proc/2797/task/2814/stat : 2814 (java) R 2795 2795 32437 0 -1 4202560 270 0 0 0 485 0 0 0 20 0 19 0 445371517 15787429888 70455 33554432000 4194304 4196468 140733429659728 140310740971832 140310967512972 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
[pid=2797/tid=2815] ppid=2795 vsize=15417412 memory=0 CPUtime=4.94 cores=0,2,4,6
/proc/2797/task/2815/stat : 2815 (java) R 2795 2795 32437 0 -1 4202560 144 0 0 0 494 0 0 0 20 0 19 0 445371517 15787429888 70455 33554432000 4194304 4196468 140733429659728 140310739920920 140310967976068 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140733429662703 140733429662874 140733429662874 140733429665743 0
Current children cumulated CPU time: 24.61 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 283272 KiB

[startup+7.3062 s]*
/proc/loadavg: 7.18 3.36 1.87 6/218 2815
/proc/meminfo: memFree=27183372/32770624 swapFree=66939908/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 7.31603
CPU time (s): 25.3122
CPU user time (s): 25.1163
CPU system time (s): 0.195854
CPU usage (%): 345.983
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 283272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.1163
system time used= 0.195854
maximum resident set size= 282560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27176
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= 2500
involuntary context switches= 793


# summary of solver processes directly reported to runsolver:
#   pid: 2795
#   total CPU time (s): 25.3122
#   total CPU user time (s): 25.1163
#   total CPU system time (s): 0.195854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069781 second user time and 0.114614 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	7.06352
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 4398938

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
