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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-18)	SAT (TO)	62	2520.1201	2490.52
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 (15379 MiB free)
  memory of node 1: 16384 MiB (12194 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281862-1503109231/watcher-4281862-1503109231 -o /tmp/evaluation-result-4281862-1503109231/solver-4281862-1503109231 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17350 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1347860974 HOME/instance-4281862-1503109231.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=19315, runsolver pid=19312

[startup+0.100151 s]*
/proc/loadavg: 1.34 1.56 1.61 2/199 19318
/proc/meminfo: memFree=28234796/32770624 swapFree=67108860/67108860
[pid=19315] ppid=19312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19315/stat : 19315 (xcsp3-exec) S 19312 19315 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9332299 9740288 345 18446744073709551615 4194304 5098028 140733569609824 140733569607928 140418654356092 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 35147776 140733569614201 140733569614406 140733569614406 140733569617899 0
/proc/19315/statm: 2378 345 289 221 0 87 0
[pid=19317] ppid=19315 vsize=13358712 memory=13984 CPUtime=0 cores=0,2,4,6
/proc/19317/stat : 19317 (java) S 19315 19315 17292 0 -1 1077944320 3304 0 0 0 0 0 0 0 20 0 6 0 9332308 13679321088 3496 18446744073709551615 4194304 4196468 140730704458368 140730704440912 140553303363319 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
/proc/19317/statm: 3339678 3496 1867 1 0 3329175 0
[pid=19317/tid=19318] ppid=19315 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19318/stat : 19318 (java) R 19315 19315 17292 0 -1 4202560 2064 0 0 0 0 0 0 0 20 0 6 0 9332308 13679321088 3496 18446744073709551615 4194304 4196468 140730704458368 140553307599440 140553303385245 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19319] ppid=19315 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19319/stat : 19319 (java) S 19315 19315 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 9332309 13679321088 3562 18446744073709551615 4194304 4196468 140730704458368 140552903322128 140553303373525 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19320] ppid=19315 vsize=13358712 memory=140270673299072 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19320/stat : 19320 (java) S 19315 19315 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 9332309 13679321088 3562 18446744073709551615 4194304 4196468 140730704458368 140552902269584 140553303373525 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19321] ppid=19315 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19321/stat : 19321 (java) S 19315 19315 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 9332309 13679321088 3562 18446744073709551615 4194304 4196468 140730704458368 140552901216528 140553303373525 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19322] ppid=19315 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19322/stat : 19322 (java) S 19315 19315 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 9332309 13679321088 3562 18446744073709551615 4194304 4196468 140730704458368 140552900163984 140553303373525 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15364 KiB

[startup+0.210108 s]*
/proc/loadavg: 1.34 1.56 1.61 4/212 19331
/proc/meminfo: memFree=28221204/32770624 swapFree=67108860/67108860
[pid=19315] ppid=19312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19315/stat : 19315 (xcsp3-exec) S 19312 19315 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9332299 9740288 345 18446744073709551615 4194304 5098028 140733569609824 140733569607928 140418654356092 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 35147776 140733569614201 140733569614406 140733569614406 140733569617899 0
/proc/19315/statm: 2378 345 289 221 0 87 0
[pid=19317] ppid=19315 vsize=13974352 memory=28364 CPUtime=0.09 cores=0,2,4,6
/proc/19317/stat : 19317 (java) S 19315 19315 17292 0 -1 1077944320 4985 0 0 0 8 1 0 0 20 0 15 0 9332308 14309736448 7091 18446744073709551615 4194304 4196468 140730704458368 140730704440912 140553303363319 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
/proc/19317/statm: 3493588 7091 2752 1 0 3482964 0
[pid=19317/tid=19318] ppid=19315 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=0,2,4,6
/proc/19317/task/19318/stat : 19318 (java) R 19315 19315 17292 0 -1 4202560 3126 0 0 0 6 1 0 0 20 0 15 0 9332308 14309736448 7091 18446744073709551615 4194304 4196468 140730704458368 140553307559504 140553303385245 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19319] ppid=19315 vsize=13974352 memory=10613 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19319/stat : 19319 (java) S 19315 19315 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9332309 14309736448 7091 18446744073709551615 4194304 4196468 140730704458368 140552903322128 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19320] ppid=19315 vsize=13974352 memory=140270673399787 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19320/stat : 19320 (java) S 19315 19315 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9332309 14309736448 7091 18446744073709551615 4194304 4196468 140730704458368 140552902269584 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19321] ppid=19315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19321/stat : 19321 (java) S 19315 19315 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9332309 14309736448 7091 18446744073709551615 4194304 4196468 140730704458368 140552901216528 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19322] ppid=19315 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19322/stat : 19322 (java) S 19315 19315 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9332309 14309736448 7091 18446744073709551615 4194304 4196468 140730704458368 140552900163984 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19323] ppid=19315 vsize=13974352 memory=140270673299072 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19323/stat : 19323 (java) S 19315 19315 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9332310 14309736448 7091 18446744073709551615 4194304 4196468 140730704458368 140552781630192 140553303374466 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19324] ppid=19315 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19324/stat : 19324 (java) S 19315 19315 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9332311 14309736448 7091 18446744073709551615 4194304 4196468 140730704458368 140552780576416 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19325] ppid=19315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19325/stat : 19325 (java) S 19315 19315 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9332311 14309736448 7091 18446744073709551615 4194304 4196468 140730704458368 140552779523312 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19326] ppid=19315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19326/stat : 19326 (java) S 19315 19315 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9332313 14309736448 7091 18446744073709551615 4194304 4196468 140730704458368 140552778471888 140553303381915 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19327] ppid=19315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19327/stat : 19327 (java) S 19315 19315 17292 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 9332313 14309736448 7091 18446744073709551615 4194304 4196468 140730704458368 140552777418992 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19328] ppid=19315 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19328/stat : 19328 (java) S 19315 19315 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9332313 14309736448 7091 18446744073709551615 4194304 4196468 140730704458368 140552776366448 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19329] ppid=19315 vsize=13974352 memory=140270673299072 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19329/stat : 19329 (java) S 19315 19315 17292 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 9332314 14309736448 7091 18446744073709551615 4194304 4196468 140730704458368 140552775313392 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19330] ppid=19315 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19330/stat : 19330 (java) S 19315 19315 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9332314 14309736448 7091 18446744073709551615 4194304 4196468 140730704458368 140552774261088 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19331] ppid=19315 vsize=13974352 memory=140270673299072 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19331/stat : 19331 (java) S 19315 19315 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9332318 14309736448 7091 18446744073709551615 4194304 4196468 140730704458368 140552773209136 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29744 KiB

[startup+0.310272 s]*
/proc/loadavg: 1.34 1.56 1.61 3/195 19333
/proc/meminfo: memFree=31794968/32770624 swapFree=67108860/67108860
[pid=19315] ppid=19312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19315/stat : 19315 (xcsp3-exec) S 19312 19315 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9332299 9740288 345 18446744073709551615 4194304 5098028 140733569609824 140733569607928 140418654356092 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 35147776 140733569614201 140733569614406 140733569614406 140733569617899 0
/proc/19315/statm: 2378 345 289 221 0 87 0
[pid=19317] ppid=19315 vsize=13974352 memory=37736 CPUtime=0.28 cores=0,2,4,6
/proc/19317/stat : 19317 (java) S 19315 19315 17292 0 -1 1077944320 8539 0 0 0 25 3 0 0 20 0 15 0 9332308 14309736448 9434 18446744073709551615 4194304 4196468 140730704458368 140730704440912 140553303363319 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
/proc/19317/statm: 3493588 9434 2975 1 0 3482964 0
[pid=19317/tid=19318] ppid=19315 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/19317/task/19318/stat : 19318 (java) R 19315 19315 17292 0 -1 4202560 5737 0 0 0 15 2 0 0 20 0 15 0 9332308 14309736448 9434 18446744073709551615 4194304 4196468 140730704458368 140553307592816 140553303385245 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19319] ppid=19315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19319/stat : 19319 (java) S 19315 19315 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9332309 14309736448 9434 18446744073709551615 4194304 4196468 140730704458368 140552903322128 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19320] ppid=19315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19320/stat : 19320 (java) S 19315 19315 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9332309 14309736448 9434 18446744073709551615 4194304 4196468 140730704458368 140552902269584 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19321] ppid=19315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19321/stat : 19321 (java) S 19315 19315 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9332309 14309736448 9434 18446744073709551615 4194304 4196468 140730704458368 140552901216528 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19322] ppid=19315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19322/stat : 19322 (java) S 19315 19315 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9332309 14309736448 9434 18446744073709551615 4194304 4196468 140730704458368 140552900163984 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19323] ppid=19315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19323/stat : 19323 (java) S 19315 19315 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9332310 14309736448 9434 18446744073709551615 4194304 4196468 140730704458368 140552781630192 140553303374466 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19324] ppid=19315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19324/stat : 19324 (java) S 19315 19315 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9332311 14309736448 9434 18446744073709551615 4194304 4196468 140730704458368 140552780576416 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19325] ppid=19315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19325/stat : 19325 (java) S 19315 19315 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9332311 14309736448 9434 18446744073709551615 4194304 4196468 140730704458368 140552779523312 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19326] ppid=19315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19326/stat : 19326 (java) S 19315 19315 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9332313 14309736448 9434 18446744073709551615 4194304 4196468 140730704458368 140552778471888 140553303381915 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19327] ppid=19315 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19317/task/19327/stat : 19327 (java) R 19315 19315 17292 0 -1 1077944384 698 0 0 0 1 0 0 0 20 0 15 0 9332313 14309736448 9434 18446744073709551615 4194304 4196468 140730704458368 140552777418992 140553303374466 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19328] ppid=19315 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19317/task/19328/stat : 19328 (java) S 19315 19315 17292 0 -1 1077944384 97 0 0 0 2 0 0 0 20 0 15 0 9332313 14309736448 9434 18446744073709551615 4194304 4196468 140730704458368 140552776366448 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19329] ppid=19315 vsize=13974352 memory=140270673299072 CPUtime=0.05 cores=0,2,4,6
/proc/19317/task/19329/stat : 19329 (java) R 19315 19315 17292 0 -1 4202560 703 0 0 0 5 0 0 0 20 0 15 0 9332314 14309736448 9434 18446744073709551615 4194304 4196468 140730704458368 140552775313392 140553286733541 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19330] ppid=19315 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19330/stat : 19330 (java) S 19315 19315 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9332314 14309736448 9434 18446744073709551615 4194304 4196468 140730704458368 140552774261088 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19331] ppid=19315 vsize=13974352 memory=140270673299072 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19331/stat : 19331 (java) S 19315 19315 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9332318 14309736448 9434 18446744073709551615 4194304 4196468 140730704458368 140552773209136 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 39116 KiB

[startup+0.703093 s]
/proc/loadavg: 1.34 1.56 1.61 5/196 19347
/proc/meminfo: memFree=31777972/32770624 swapFree=67108860/67108860
[pid=19315] ppid=19312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19315/stat : 19315 (xcsp3-exec) S 19312 19315 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9332299 9740288 345 18446744073709551615 4194304 5098028 140733569609824 140733569607928 140418654356092 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 35147776 140733569614201 140733569614406 140733569614406 140733569617899 0
/proc/19315/statm: 2378 345 289 221 0 87 0
[pid=19317] ppid=19315 vsize=13978684 memory=86988 CPUtime=1.27 cores=0,2,4,6
/proc/19317/stat : 19317 (java) S 19315 19315 17292 0 -1 1077944320 12354 0 0 0 121 6 0 0 20 0 15 0 9332308 14314172416 21747 18446744073709551615 4194304 4196468 140730704458368 140730704440912 140553303363319 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
/proc/19317/statm: 3494671 21747 3148 1 0 3482964 0
[pid=19317/tid=19318] ppid=19315 vsize=13978684 memory=1292 CPUtime=0.55 cores=0,2,4,6
/proc/19317/task/19318/stat : 19318 (java) R 19315 19315 17292 0 -1 4202560 7396 0 0 0 52 3 0 0 20 0 15 0 9332308 14314172416 21747 18446744073709551615 4194304 4196468 140730704458368 140553307599520 140552944844032 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19319] ppid=19315 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19319/stat : 19319 (java) S 19315 19315 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9332309 14314172416 21747 18446744073709551615 4194304 4196468 140730704458368 140552903322128 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19320] ppid=19315 vsize=13978684 memory=8929 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19320/stat : 19320 (java) S 19315 19315 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9332309 14314172416 21747 18446744073709551615 4194304 4196468 140730704458368 140552902269584 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19321] ppid=19315 vsize=13978684 memory=140273631887938 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19321/stat : 19321 (java) S 19315 19315 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9332309 14314172416 21747 18446744073709551615 4194304 4196468 140730704458368 140552901216528 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19322] ppid=19315 vsize=13978684 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19322/stat : 19322 (java) S 19315 19315 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9332309 14314172416 21747 18446744073709551615 4194304 4196468 140730704458368 140552900163984 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19323] ppid=19315 vsize=13978684 memory=7308591578289366336 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19323/stat : 19323 (java) S 19315 19315 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9332310 14314172416 21747 18446744073709551615 4194304 4196468 140730704458368 140552781630192 140553303374466 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19324] ppid=19315 vsize=13978684 memory=3 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19324/stat : 19324 (java) S 19315 19315 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9332311 14314172416 21747 18446744073709551615 4194304 4196468 140730704458368 140552780576416 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19325] ppid=19315 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19325/stat : 19325 (java) S 19315 19315 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9332311 14314172416 21747 18446744073709551615 4194304 4196468 140730704458368 140552779523312 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19326] ppid=19315 vsize=13978684 memory=49 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19326/stat : 19326 (java) S 19315 19315 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9332313 14314172416 21747 18446744073709551615 4194304 4196468 140730704458368 140552778471888 140553303381915 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19327] ppid=19315 vsize=13978684 memory=20 CPUtime=0.22 cores=0,2,4,6
/proc/19317/task/19327/stat : 19327 (java) S 19315 19315 17292 0 -1 1077944384 1409 0 0 0 22 0 0 0 20 0 15 0 9332313 14314172416 21747 18446744073709551615 4194304 4196468 140730704458368 140552777418992 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19328] ppid=19315 vsize=13978684 memory=12 CPUtime=0.22 cores=0,2,4,6
/proc/19317/task/19328/stat : 19328 (java) R 19315 19315 17292 0 -1 4202560 944 0 0 0 22 0 0 0 20 0 15 0 9332313 14314172416 21747 18446744073709551615 4194304 4196468 140730704458368 140552776357280 140553286863435 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19329] ppid=19315 vsize=13978684 memory=2 CPUtime=0.24 cores=0,2,4,6
/proc/19317/task/19329/stat : 19329 (java) R 19315 19315 17292 0 -1 4202560 1299 0 0 0 23 1 0 0 20 0 15 0 9332314 14314172416 21747 18446744073709551615 4194304 4196468 140730704458368 140552775312576 140553288503552 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19330] ppid=19315 vsize=13978684 memory=50 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19330/stat : 19330 (java) S 19315 19315 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9332314 14314172416 21747 18446744073709551615 4194304 4196468 140730704458368 140552774261088 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19331] ppid=19315 vsize=13978684 memory=6416681141440 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19331/stat : 19331 (java) S 19315 19315 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9332318 14314172416 21747 18446744073709551615 4194304 4196468 140730704458368 140552773209136 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 88368 KiB

[startup+1.50162 s]
/proc/loadavg: 1.39 1.57 1.61 6/213 19365
/proc/meminfo: memFree=31613268/32770624 swapFree=67108860/67108860
[pid=19315] ppid=19312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19315/stat : 19315 (xcsp3-exec) S 19312 19315 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9332299 9740288 345 18446744073709551615 4194304 5098028 140733569609824 140733569607928 140418654356092 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 35147776 140733569614201 140733569614406 140733569614406 140733569617899 0
/proc/19315/statm: 2378 345 289 221 0 87 0
[pid=19317] ppid=19315 vsize=13980732 memory=242636 CPUtime=3.72 cores=0,2,4,6
/proc/19317/stat : 19317 (java) S 19315 19315 17292 0 -1 1077944320 17079 0 0 0 358 14 0 0 20 0 15 0 9332308 14316269568 60659 18446744073709551615 4194304 4196468 140730704458368 140730704440912 140553303363319 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
/proc/19317/statm: 3495183 60659 3208 1 0 3483476 0
[pid=19317/tid=19318] ppid=19315 vsize=13980732 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/19317/task/19318/stat : 19318 (java) R 19315 19315 17292 0 -1 4202560 8069 0 0 0 122 5 0 0 20 0 15 0 9332308 14316269568 60659 18446744073709551615 4194304 4196468 140730704458368 140553307599416 140553287571079 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19319] ppid=19315 vsize=13980732 memory=49 CPUtime=0.03 cores=0,2,4,6
/proc/19317/task/19319/stat : 19319 (java) S 19315 19315 17292 0 -1 1077944384 67 0 0 0 2 1 0 0 20 0 15 0 9332309 14316269568 60659 18446744073709551615 4194304 4196468 140730704458368 140552903322128 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19320] ppid=19315 vsize=13980732 memory=20 CPUtime=0.04 cores=0,2,4,6
/proc/19317/task/19320/stat : 19320 (java) S 19315 19315 17292 0 -1 1077944384 139 0 0 0 3 1 0 0 20 0 15 0 9332309 14316269568 60659 18446744073709551615 4194304 4196468 140730704458368 140552902269584 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19321] ppid=19315 vsize=13980732 memory=12 CPUtime=0.03 cores=0,2,4,6
/proc/19317/task/19321/stat : 19321 (java) S 19315 19315 17292 0 -1 1077944384 55 0 0 0 2 1 0 0 20 0 15 0 9332309 14316269568 60659 18446744073709551615 4194304 4196468 140730704458368 140552901216528 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19322] ppid=19315 vsize=13980732 memory=4124 CPUtime=0.04 cores=0,2,4,6
/proc/19317/task/19322/stat : 19322 (java) S 19315 19315 17292 0 -1 1077944384 74 0 0 0 3 1 0 0 20 0 15 0 9332309 14316269568 60659 18446744073709551615 4194304 4196468 140730704458368 140552900163984 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19323] ppid=19315 vsize=13980732 memory=6416681141440 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19323/stat : 19323 (java) S 19315 19315 17292 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 9332310 14316269568 60659 18446744073709551615 4194304 4196468 140730704458368 140552781630192 140553303374466 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19324] ppid=19315 vsize=13980732 memory=288230604624101684 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19324/stat : 19324 (java) S 19315 19315 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9332311 14316269568 60659 18446744073709551615 4194304 4196468 140730704458368 140552780576416 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19325] ppid=19315 vsize=13980732 memory=288285597502801155 CPUtime=0 cores=0,2,4,6

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

/proc/19317/task/19325/stat : 19325 (java) S 19315 19315 17292 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 9332311 14316269568 806898 18446744073709551615 4194304 4196468 140730704458368 140552779523328 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19326] ppid=19315 vsize=13980732 memory=3227592 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19326/stat : 19326 (java) S 19315 19315 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9332313 14316269568 806898 18446744073709551615 4194304 4196468 140730704458368 140552778471888 140553303381915 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19327] ppid=19315 vsize=13980732 memory=1380 CPUtime=2.44 cores=0,2,4,6
/proc/19317/task/19327/stat : 19327 (java) S 19315 19315 17292 0 -1 1077944384 13781 0 0 0 242 2 0 0 20 0 15 0 9332313 14316269568 806898 18446744073709551615 4194304 4196468 140730704458368 140552777418992 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19328] ppid=19315 vsize=13980732 memory=14181982013714 CPUtime=2.67 cores=0,2,4,6
/proc/19317/task/19328/stat : 19328 (java) S 19315 19315 17292 0 -1 1077944384 12584 0 0 0 265 2 0 0 20 0 15 0 9332313 14316269568 806898 18446744073709551615 4194304 4196468 140730704458368 140552776366448 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19329] ppid=19315 vsize=13980732 memory=1380 CPUtime=0.7 cores=0,2,4,6
/proc/19317/task/19329/stat : 19329 (java) S 19315 19315 17292 0 -1 1077944384 10434 0 0 0 67 3 0 0 20 0 15 0 9332314 14316269568 806898 18446744073709551615 4194304 4196468 140730704458368 140552775313392 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19330] ppid=19315 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19330/stat : 19330 (java) S 19315 19315 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9332314 14316269568 806898 18446744073709551615 4194304 4196468 140730704458368 140552774261088 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19331] ppid=19315 vsize=13980732 memory=12980 CPUtime=1.34 cores=0,2,4,6
/proc/19317/task/19331/stat : 19331 (java) S 19315 19315 17292 0 -1 1077944384 2368 0 0 0 70 64 0 0 20 0 15 0 9332318 14316269568 806898 18446744073709551615 4194304 4196468 140730704458368 140552773209136 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
Current children cumulated CPU time: 2410.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3228972 KiB

[startup+2442.3 s]
/proc/loadavg: 1.36 1.30 1.40 3/211 19552
/proc/meminfo: memFree=27290976/32770624 swapFree=67108860/67108860
[pid=19315] ppid=19312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19315/stat : 19315 (xcsp3-exec) S 19312 19315 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9332299 9740288 345 18446744073709551615 4194304 5098028 140733569609824 140733569607928 140418654356092 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 35147776 140733569614201 140733569614406 140733569614406 140733569617899 0
/proc/19315/statm: 2378 345 289 221 0 87 0
[pid=19317] ppid=19315 vsize=13980732 memory=3233736 CPUtime=2471.14 cores=0,2,4,6
/proc/19317/stat : 19317 (java) S 19315 19315 17292 0 -1 1077944320 207659 0 0 0 246861 253 0 0 20 0 15 0 9332308 14316269568 808434 18446744073709551615 4194304 4196468 140730704458368 140730704440912 140553303363319 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
/proc/19317/statm: 3495183 808434 3248 1 0 3483476 0
[pid=19317/tid=19318] ppid=19315 vsize=13980732 memory=3233736 CPUtime=2428.06 cores=0,2,4,6
/proc/19317/task/19318/stat : 19318 (java) R 19315 19315 17292 0 -1 4202560 79747 0 0 0 242741 65 0 0 20 0 15 0 9332308 14316269568 808434 18446744073709551615 4194304 4196468 140730704458368 140553307602880 140552952403783 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19319] ppid=19315 vsize=13980732 memory=3233736 CPUtime=8.04 cores=0,2,4,6
/proc/19317/task/19319/stat : 19319 (java) S 19315 19315 17292 0 -1 1077944384 18740 0 0 0 773 31 0 0 20 0 15 0 9332309 14316269568 808434 18446744073709551615 4194304 4196468 140730704458368 140552903322128 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19320] ppid=19315 vsize=13980732 memory=1380 CPUtime=8.08 cores=0,2,4,6
/proc/19317/task/19320/stat : 19320 (java) S 19315 19315 17292 0 -1 1077944384 12991 0 0 0 778 30 0 0 20 0 15 0 9332309 14316269568 808434 18446744073709551615 4194304 4196468 140730704458368 140552902269584 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19321] ppid=19315 vsize=13980732 memory=3231688 CPUtime=8.07 cores=0,2,4,6
/proc/19317/task/19321/stat : 19321 (java) S 19315 19315 17292 0 -1 1077944384 17081 0 0 0 779 28 0 0 20 0 15 0 9332309 14316269568 808434 18446744073709551615 4194304 4196468 140730704458368 140552901216528 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19322] ppid=19315 vsize=13980732 memory=3231688 CPUtime=8.06 cores=0,2,4,6
/proc/19317/task/19322/stat : 19322 (java) S 19315 19315 17292 0 -1 1077944384 14875 0 0 0 775 31 0 0 20 0 15 0 9332309 14316269568 808434 18446744073709551615 4194304 4196468 140730704458368 140552900163984 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19323] ppid=19315 vsize=13980732 memory=3229640 CPUtime=3.54 cores=0,2,4,6
/proc/19317/task/19323/stat : 19323 (java) S 19315 19315 17292 0 -1 1077944384 23678 0 0 0 329 25 0 0 20 0 15 0 9332310 14316269568 808434 18446744073709551615 4194304 4196468 140730704458368 140552781630192 140553303374466 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19324] ppid=19315 vsize=13980732 memory=3229640 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19324/stat : 19324 (java) S 19315 19315 17292 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 9332311 14316269568 808434 18446744073709551615 4194304 4196468 140730704458368 140552780576480 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19325] ppid=19315 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19325/stat : 19325 (java) S 19315 19315 17292 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 9332311 14316269568 808434 18446744073709551615 4194304 4196468 140730704458368 140552779523328 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19326] ppid=19315 vsize=13980732 memory=3231688 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19326/stat : 19326 (java) S 19315 19315 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9332313 14316269568 808434 18446744073709551615 4194304 4196468 140730704458368 140552778471888 140553303381915 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19327] ppid=19315 vsize=13980732 memory=3231688 CPUtime=2.44 cores=0,2,4,6
/proc/19317/task/19327/stat : 19327 (java) S 19315 19315 17292 0 -1 1077944384 13790 0 0 0 242 2 0 0 20 0 15 0 9332313 14316269568 808434 18446744073709551615 4194304 4196468 140730704458368 140552777418992 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19328] ppid=19315 vsize=13980732 memory=3233736 CPUtime=2.67 cores=0,2,4,6
/proc/19317/task/19328/stat : 19328 (java) S 19315 19315 17292 0 -1 1077944384 12592 0 0 0 265 2 0 0 20 0 15 0 9332313 14316269568 808434 18446744073709551615 4194304 4196468 140730704458368 140552776366448 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19329] ppid=19315 vsize=13980732 memory=3233736 CPUtime=0.7 cores=0,2,4,6
/proc/19317/task/19329/stat : 19329 (java) S 19315 19315 17292 0 -1 1077944384 10442 0 0 0 67 3 0 0 20 0 15 0 9332314 14316269568 808434 18446744073709551615 4194304 4196468 140730704458368 140552775313392 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19330] ppid=19315 vsize=13980732 memory=3233736 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19330/stat : 19330 (java) S 19315 19315 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9332314 14316269568 808434 18446744073709551615 4194304 4196468 140730704458368 140552774261088 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19331] ppid=19315 vsize=13980732 memory=1380 CPUtime=1.38 cores=0,2,4,6
/proc/19317/task/19331/stat : 19331 (java) S 19315 19315 17292 0 -1 1077944384 2412 0 0 0 72 66 0 0 20 0 15 0 9332318 14316269568 808434 18446744073709551615 4194304 4196468 140730704458368 140552773209136 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
Current children cumulated CPU time: 2471.14 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3235116 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2490.5 s]
/proc/loadavg: 1.45 1.34 1.41 3/211 19554
/proc/meminfo: memFree=27287128/32770624 swapFree=67108860/67108860
[pid=19315] ppid=19312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19315/stat : 19315 (xcsp3-exec) S 19312 19315 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9332299 9740288 345 18446744073709551615 4194304 5098028 140733569609824 140733569607928 140418654356092 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 35147776 140733569614201 140733569614406 140733569614406 140733569617899 0
/proc/19315/statm: 2378 345 289 221 0 87 0
[pid=19317] ppid=19315 vsize=13980732 memory=3237832 CPUtime=2520.08 cores=0,2,4,6
/proc/19317/stat : 19317 (java) S 19315 19315 17292 0 -1 1077944320 210913 0 0 0 251752 256 0 0 20 0 15 0 9332308 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140730704440912 140553303363319 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
/proc/19317/statm: 3495183 809458 3248 1 0 3483476 0
[pid=19317/tid=19318] ppid=19315 vsize=13980732 memory=3237832 CPUtime=2475.87 cores=0,2,4,6
/proc/19317/task/19318/stat : 19318 (java) R 19315 19315 17292 0 -1 4202560 81021 0 0 0 247522 65 0 0 20 0 15 0 9332308 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140553307602880 140552951602328 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19319] ppid=19315 vsize=13980732 memory=3235784 CPUtime=8.3 cores=0,2,4,6
/proc/19317/task/19319/stat : 19319 (java) S 19315 19315 17292 0 -1 1077944384 19048 0 0 0 799 31 0 0 20 0 15 0 9332309 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552903322128 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19320] ppid=19315 vsize=13980732 memory=3235784 CPUtime=8.33 cores=0,2,4,6
/proc/19317/task/19320/stat : 19320 (java) S 19315 19315 17292 0 -1 1077944384 13935 0 0 0 803 30 0 0 20 0 15 0 9332309 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552902269584 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19321] ppid=19315 vsize=13980732 memory=3237832 CPUtime=8.32 cores=0,2,4,6
/proc/19317/task/19321/stat : 19321 (java) S 19315 19315 17292 0 -1 1077944384 17358 0 0 0 803 29 0 0 20 0 15 0 9332309 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552901216528 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19322] ppid=19315 vsize=13980732 memory=3237832 CPUtime=8.31 cores=0,2,4,6
/proc/19317/task/19322/stat : 19322 (java) S 19315 19315 17292 0 -1 1077944384 14922 0 0 0 800 31 0 0 20 0 15 0 9332309 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552900163984 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19323] ppid=19315 vsize=13980732 memory=1380 CPUtime=3.64 cores=0,2,4,6
/proc/19317/task/19323/stat : 19323 (java) S 19315 19315 17292 0 -1 1077944384 24044 0 0 0 338 26 0 0 20 0 15 0 9332310 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552781630192 140553303374466 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19324] ppid=19315 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19324/stat : 19324 (java) S 19315 19315 17292 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 9332311 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552780576480 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19325] ppid=19315 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19325/stat : 19325 (java) S 19315 19315 17292 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 9332311 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552779523328 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19326] ppid=19315 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19326/stat : 19326 (java) S 19315 19315 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9332313 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552778471888 140553303381915 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19327] ppid=19315 vsize=13980732 memory=1380 CPUtime=2.44 cores=0,2,4,6
/proc/19317/task/19327/stat : 19327 (java) S 19315 19315 17292 0 -1 1077944384 13794 0 0 0 242 2 0 0 20 0 15 0 9332313 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552777418992 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19328] ppid=19315 vsize=13980732 memory=1380 CPUtime=2.67 cores=0,2,4,6
/proc/19317/task/19328/stat : 19328 (java) S 19315 19315 17292 0 -1 1077944384 12596 0 0 0 265 2 0 0 20 0 15 0 9332313 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552776366448 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19329] ppid=19315 vsize=13980732 memory=3237832 CPUtime=0.7 cores=0,2,4,6
/proc/19317/task/19329/stat : 19329 (java) S 19315 19315 17292 0 -1 1077944384 10446 0 0 0 67 3 0 0 20 0 15 0 9332314 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552775313392 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19330] ppid=19315 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19330/stat : 19330 (java) S 19315 19315 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9332314 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552774261088 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19331] ppid=19315 vsize=13980732 memory=3237832 CPUtime=1.41 cores=0,2,4,6
/proc/19317/task/19331/stat : 19331 (java) S 19315 19315 17292 0 -1 1077944384 2438 0 0 0 73 68 0 0 20 0 15 0 9332318 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552773209136 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3239212 KiB

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

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

[startup+2490.52 s]
# the end of solver process 19317 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.54 s, system=2.58147 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+2490.5 s]
/proc/loadavg: 1.45 1.34 1.41 3/211 19554
/proc/meminfo: memFree=27287128/32770624 swapFree=67108860/67108860
[pid=19315] ppid=19312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19315/stat : 19315 (xcsp3-exec) S 19312 19315 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9332299 9740288 345 18446744073709551615 4194304 5098028 140733569609824 140733569607928 140418654356092 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 35147776 140733569614201 140733569614406 140733569614406 140733569617899 0
/proc/19315/statm: 2378 345 289 221 0 87 0
[pid=19317] ppid=19315 vsize=13980732 memory=3237832 CPUtime=2520.08 cores=0,2,4,6
/proc/19317/stat : 19317 (java) S 19315 19315 17292 0 -1 1077944320 210913 0 0 0 251752 256 0 0 20 0 15 0 9332308 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140730704440912 140553303363319 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
/proc/19317/statm: 3495183 809458 3248 1 0 3483476 0
[pid=19317/tid=19318] ppid=19315 vsize=13980732 memory=3237832 CPUtime=2475.87 cores=0,2,4,6
/proc/19317/task/19318/stat : 19318 (java) R 19315 19315 17292 0 -1 4202560 81021 0 0 0 247522 65 0 0 20 0 15 0 9332308 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140553307602880 140552951602328 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19319] ppid=19315 vsize=13980732 memory=3235784 CPUtime=8.3 cores=0,2,4,6
/proc/19317/task/19319/stat : 19319 (java) S 19315 19315 17292 0 -1 1077944384 19048 0 0 0 799 31 0 0 20 0 15 0 9332309 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552903322128 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19320] ppid=19315 vsize=13980732 memory=3235784 CPUtime=8.33 cores=0,2,4,6
/proc/19317/task/19320/stat : 19320 (java) S 19315 19315 17292 0 -1 1077944384 13935 0 0 0 803 30 0 0 20 0 15 0 9332309 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552902269584 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19321] ppid=19315 vsize=13980732 memory=3237832 CPUtime=8.32 cores=0,2,4,6
/proc/19317/task/19321/stat : 19321 (java) S 19315 19315 17292 0 -1 1077944384 17358 0 0 0 803 29 0 0 20 0 15 0 9332309 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552901216528 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19322] ppid=19315 vsize=13980732 memory=3237832 CPUtime=8.31 cores=0,2,4,6
/proc/19317/task/19322/stat : 19322 (java) S 19315 19315 17292 0 -1 1077944384 14922 0 0 0 800 31 0 0 20 0 15 0 9332309 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552900163984 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19323] ppid=19315 vsize=13980732 memory=1380 CPUtime=3.64 cores=0,2,4,6
/proc/19317/task/19323/stat : 19323 (java) S 19315 19315 17292 0 -1 1077944384 24044 0 0 0 338 26 0 0 20 0 15 0 9332310 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552781630192 140553303374466 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19324] ppid=19315 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19324/stat : 19324 (java) S 19315 19315 17292 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 9332311 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552780576480 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19325] ppid=19315 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19325/stat : 19325 (java) S 19315 19315 17292 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 9332311 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552779523328 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19326] ppid=19315 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19326/stat : 19326 (java) S 19315 19315 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9332313 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552778471888 140553303381915 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19327] ppid=19315 vsize=13980732 memory=1380 CPUtime=2.44 cores=0,2,4,6
/proc/19317/task/19327/stat : 19327 (java) S 19315 19315 17292 0 -1 1077944384 13794 0 0 0 242 2 0 0 20 0 15 0 9332313 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552777418992 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19328] ppid=19315 vsize=13980732 memory=1380 CPUtime=2.67 cores=0,2,4,6
/proc/19317/task/19328/stat : 19328 (java) S 19315 19315 17292 0 -1 1077944384 12596 0 0 0 265 2 0 0 20 0 15 0 9332313 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552776366448 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19329] ppid=19315 vsize=13980732 memory=3237832 CPUtime=0.7 cores=0,2,4,6
/proc/19317/task/19329/stat : 19329 (java) S 19315 19315 17292 0 -1 1077944384 10446 0 0 0 67 3 0 0 20 0 15 0 9332314 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552775313392 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19330] ppid=19315 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/19317/task/19330/stat : 19330 (java) S 19315 19315 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9332314 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552774261088 140553303373525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
[pid=19317/tid=19331] ppid=19315 vsize=13980732 memory=3237832 CPUtime=1.41 cores=0,2,4,6
/proc/19317/task/19331/stat : 19331 (java) S 19315 19315 17292 0 -1 1077944384 2438 0 0 0 73 68 0 0 20 0 15 0 9332318 14316269568 809458 18446744073709551615 4194304 4196468 140730704458368 140552773209136 140553303374466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140730704462258 140730704462434 140730704462434 140730704465871 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3239212 KiB

Child status: 143
Real time (s): 2490.52
CPU time (s): 2520.12
CPU user time (s): 2517.54
CPU system time (s): 2.58147
CPU usage (%): 101.189
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 3452344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.54
system time used= 2.58147
maximum resident set size= 3454640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211728
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151816
involuntary context switches= 7048


# summary of solver processes directly reported to runsolver:
#   pid: 19315,19317
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2517.54
#   total CPU system time (s): 2.58147

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6293 second user time and 24.9802 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml
MD5SUM	3c0366ff4baa9e19aea1ffc9dac5e4aa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	57
Best CPU time to get the best result obtained on this benchmark	2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	500
Number of constraints	62624
Number of domains	1
Minimum domain size	500
Maximum domain size	500
Distribution of domain sizes	[{"size":500,"count":500}]
Minimum variable degree	221
Maximum variable degree	287
Distribution of variable degrees	[{"degree":221,"count":2},{"degree":222,"count":1},{"degree":223,"count":2},{"degree":224,"count":1},{"degree":225,"count":1},{"degree":227,"count":1},{"degree":228,"count":2},{"degree":230,"count":1},{"degree":231,"count":4},{"degree":232,"count":4},{"degree":233,"count":3},{"degree":234,"count":4},{"degree":235,"count":8},{"degree":236,"count":17},{"degree":237,"count":4},{"degree":238,"count":11},{"degree":239,"count":6},{"degree":240,"count":11},{"degree":241,"count":9},{"degree":242,"count":14},{"degree":243,"count":14},{"degree":244,"count":12},{"degree":245,"count":13},{"degree":246,"count":17},{"degree":247,"count":14},"...",{"degree":257,"count":16}, {"degree":258,"count":9}, {"degree":259,"count":19}, {"degree":260,"count":19}, {"degree":261,"count":19}, {"degree":262,"count":14}, {"degree":263,"count":12}, {"degree":264,"count":6}, {"degree":265,"count":7}, {"degree":266,"count":8}, {"degree":267,"count":4}, {"degree":268,"count":6}, {"degree":269,"count":5}, {"degree":270,"count":8}, {"degree":271,"count":4}, {"degree":272,"count":2}, {"degree":273,"count":2}, {"degree":274,"count":1}, {"degree":275,"count":1}, {"degree":276,"count":1}, {"degree":277,"count":2}, {"degree":278,"count":1}, {"degree":280,"count":2}, {"degree":281,"count":1}, {"degree":287,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":62624}]
Number of extensional constraints	0
Number of intensional constraints	62624
Distribution of constraint types	[{"type":"intension","count":62624}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4281862

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
