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

Solver Name	Answer	CPU time	Wall clock time
Concrete 3.4	SAT	12.8313	5.6636701
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262618-1502432638/watcher-4262618-1502432638 -o /tmp/evaluation-result-4262618-1502432638/solver-4262618-1502432638 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4885 --watchdog 2580 bin/concrete HOME/instance-4262618-1502432638.xml 

pid=10700
running on 4 cores: 1,3,5,7

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.35 3.30 2.61 2/198 10703
/proc/meminfo: memFree=28280248/32770624 swapFree=0/432072
[pid=10703] ppid=10700 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10703/stat : 10703 (runsolver) D 10700 10703 4821 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 91078997 24240128 108 18446744073709551615 4194304 4338465 140737449381872 140737449379512 140441281585879 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 35487744 140737449390289 140737449390665 140737449390665 140737449394122 0
/proc/10703/statm: 5918 108 54 36 0 2156 0

[startup+0.100133 s]
/proc/loadavg: 2.35 3.30 2.61 2/198 10703
/proc/meminfo: memFree=28280248/32770624 swapFree=0/432072
[pid=10703] ppid=10700 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10703/stat : 10703 (runsolver) D 10700 10703 4821 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 91078997 24240128 108 18446744073709551615 4194304 4338465 140737449381872 140737449379512 140441281585879 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 35487744 140737449390289 140737449390665 140737449390665 140737449394122 0
/proc/10703/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200311 s]
/proc/loadavg: 2.35 3.30 2.61 2/198 10703
/proc/meminfo: memFree=28280248/32770624 swapFree=0/432072
[pid=10703] ppid=10700 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/10703/stat : 10703 (bash) S 10700 10703 4821 0 -1 4202496 897 6477 0 0 0 0 0 1 20 0 1 0 91078997 9867264 377 18446744073709551615 4194304 5098028 140727101716336 140727101710344 140489037630464 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 10 0 0 7196144 7232144 17838080 140727101719060 140727101719145 140727101719145 140727101722602 0
/proc/10703/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.306901 s]
/proc/loadavg: 2.35 3.30 2.61 2/198 10703
/proc/meminfo: memFree=28280248/32770624 swapFree=0/432072
[pid=10703] ppid=10700 vsize=13575516 CPUtime=0.13 cores=1,3,5,7
/proc/10703/stat : 10703 (java) S 10700 10703 4821 0 -1 1077944320 5217 12345 0 0 4 1 5 3 20 0 10 0 91078997 13901328384 4971 18446744073709551615 4194304 4196468 140729076190576 140729076173120 140048798277367 0 0 1 16800970 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
/proc/10703/statm: 3393879 4971 2145 1 0 3383376 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13575516

[startup+0.700264 s]
/proc/loadavg: 2.35 3.30 2.61 2/198 10703
/proc/meminfo: memFree=28280248/32770624 swapFree=0/432072
[pid=10703] ppid=10700 vsize=13974784 CPUtime=0.61 cores=1,3,5,7
/proc/10703/stat : 10703 (java) S 10700 10703 4821 0 -1 1077944320 13776 12345 0 0 49 4 5 3 20 0 15 0 91078997 14310178816 14213 18446744073709551615 4194304 4196468 140729076190576 140729076173120 140048798277367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
/proc/10703/statm: 3493696 14213 3070 1 0 3482965 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 13974784

[startup+1.50053 s]
/proc/loadavg: 2.35 3.30 2.61 3/213 10766
/proc/meminfo: memFree=28188720/32770624 swapFree=0/432176
[pid=10703] ppid=10700 vsize=13985408 CPUtime=1.81 cores=1,3,5,7
/proc/10703/stat : 10703 (java) S 10700 10703 4821 0 -1 1077944320 27707 12345 0 0 166 7 5 3 20 0 15 0 91078997 14321057792 33992 18446744073709551615 4194304 4196468 140729076190576 140729076173120 140048798277367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
/proc/10703/statm: 3496352 33992 3341 1 0 3485525 0
[pid=10703/tid=10753] ppid=10700 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/10703/task/10753/stat : 10753 (java) R 10700 10703 4821 0 -1 4202560 22489 12345 0 0 114 6 5 3 20 0 15 0 91079023 14321057792 33992 18446744073709551615 4194304 4196468 140729076190576 140048802499424 140048782357854 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10754] ppid=10700 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10754/stat : 10754 (java) S 10700 10703 4821 0 -1 1077944384 1 12345 0 0 0 0 5 3 20 0 15 0 91079023 14321057792 33992 18446744073709551615 4194304 4196468 140729076190576 140048755243280 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10755] ppid=10700 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10755/stat : 10755 (java) S 10700 10703 4821 0 -1 1077944384 1 12345 0 0 0 0 5 3 20 0 15 0 91079023 14321057792 33992 18446744073709551615 4194304 4196468 140729076190576 140048754190736 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10756] ppid=10700 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10756/stat : 10756 (java) S 10700 10703 4821 0 -1 1077944384 1 12345 0 0 0 0 5 3 20 0 15 0 91079023 14321057792 33992 18446744073709551615 4194304 4196468 140729076190576 140048753138192 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10757] ppid=10700 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10757/stat : 10757 (java) S 10700 10703 4821 0 -1 1077944384 2 12345 0 0 0 0 5 3 20 0 15 0 91079023 14321057792 33992 18446744073709551615 4194304 4196468 140729076190576 140048752085648 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10758] ppid=10700 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10758/stat : 10758 (java) S 10700 10703 4821 0 -1 1077944384 5 12345 0 0 0 0 5 3 20 0 15 0 91079025 14321057792 33992 18446744073709551615 4194304 4196468 140729076190576 140048276105712 140048798288514 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10759] ppid=10700 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10759/stat : 10759 (java) S 10700 10703 4821 0 -1 1077944384 33 12345 0 0 0 0 5 3 20 0 15 0 91079025 14321057792 33992 18446744073709551615 4194304 4196468 140729076190576 140048275051936 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10760] ppid=10700 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10760/stat : 10760 (java) S 10700 10703 4821 0 -1 1077944384 21 12345 0 0 0 0 5 3 20 0 15 0 91079025 14321057792 33992 18446744073709551615 4194304 4196468 140729076190576 140048273999344 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10761] ppid=10700 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10761/stat : 10761 (java) S 10700 10703 4821 0 -1 1077944384 3 12345 0 0 0 0 5 3 20 0 15 0 91079028 14321057792 33992 18446744073709551615 4194304 4196468 140729076190576 140048272947920 140048798295963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10762] ppid=10700 vsize=13985408 CPUtime=0.19 cores=1,3,5,7
/proc/10703/task/10762/stat : 10762 (java) S 10700 10703 4821 0 -1 1077944384 975 12345 0 0 11 0 5 3 20 0 15 0 91079028 14321057792 33992 18446744073709551615 4194304 4196468 140729076190576 140048271894512 140048798288514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10763] ppid=10700 vsize=13985408 CPUtime=0.25 cores=1,3,5,7
/proc/10703/task/10763/stat : 10763 (java) S 10700 10703 4821 0 -1 1077944384 703 12345 0 0 17 0 5 3 20 0 15 0 91079028 14321057792 33992 18446744073709551615 4194304 4196468 140729076190576 140048270841968 140048798288514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10764] ppid=10700 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/10703/task/10764/stat : 10764 (java) S 10700 10703 4821 0 -1 1077944384 1309 12345 0 0 22 0 5 3 20 0 15 0 91079028 14321057792 33992 18446744073709551615 4194304 4196468 140729076190576 140048269789424 140048798288514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10765] ppid=10700 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10765/stat : 10765 (java) S 10700 10703 4821 0 -1 1077944384 3 12345 0 0 0 0 5 3 20 0 15 0 91079028 14321057792 33992 18446744073709551615 4194304 4196468 140729076190576 140048268737120 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10766] ppid=10700 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10766/stat : 10766 (java) S 10700 10703 4821 0 -1 1077944384 8 12345 0 0 0 0 5 3 20 0 15 0 91079032 14321057792 33992 18446744073709551615 4194304 4196468 140729076190576 140048267684656 140048798288514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 13985408

[startup+3.10158 s]
/proc/loadavg: 2.56 3.33 2.62 6/213 10766
/proc/meminfo: memFree=28110632/32770624 swapFree=0/432176
[pid=10703] ppid=10700 vsize=13995836 CPUtime=5.96 cores=1,3,5,7
/proc/10703/stat : 10703 (java) S 10700 10703 4821 0 -1 1077944320 43581 12345 0 0 575 13 5 3 20 0 15 0 91078997 14331736064 54821 18446744073709551615 4194304 4196468 140729076190576 140729076173120 140048798277367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
/proc/10703/statm: 3498959 54821 3447 1 0 3487573 0
[pid=10703/tid=10753] ppid=10700 vsize=13995836 CPUtime=2.83 cores=1,3,5,7
/proc/10703/task/10753/stat : 10753 (java) R 10700 10703 4821 0 -1 4202560 28725 12345 0 0 267 8 5 3 20 0 15 0 91079023 14331736064 54821 18446744073709551615 4194304 4196468 140729076190576 140048802505528 140048441386716 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10754] ppid=10700 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10754/stat : 10754 (java) S 10700 10703 4821 0 -1 1077944384 209 12345 0 0 0 0 5 3 20 0 15 0 91079023 14331736064 54821 18446744073709551615 4194304 4196468 140729076190576 140048755243280 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10755] ppid=10700 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/10703/task/10755/stat : 10755 (java) S 10700 10703 4821 0 -1 1077944384 51 12345 0 0 1 0 5 3 20 0 15 0 91079023 14331736064 54821 18446744073709551615 4194304 4196468 140729076190576 140048754190736 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10756] ppid=10700 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/10703/task/10756/stat : 10756 (java) S 10700 10703 4821 0 -1 1077944384 55 12345 0 0 1 0 5 3 20 0 15 0 91079023 14331736064 54821 18446744073709551615 4194304 4196468 140729076190576 140048753138192 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10757] ppid=10700 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/10703/task/10757/stat : 10757 (java) S 10700 10703 4821 0 -1 1077944384 43 12345 0 0 1 0 5 3 20 0 15 0 91079023 14331736064 54821 18446744073709551615 4194304 4196468 140729076190576 140048752085648 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10758] ppid=10700 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/10703/task/10758/stat : 10758 (java) S 10700 10703 4821 0 -1 1077944384 1719 12345 0 0 1 0 5 3 20 0 15 0 91079025 14331736064 54821 18446744073709551615 4194304 4196468 140729076190576 140048276105712 140048798288514 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10759] ppid=10700 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10759/stat : 10759 (java) S 10700 10703 4821 0 -1 1077944384 55 12345 0 0 0 0 5 3 20 0 15 0 91079025 14331736064 54821 18446744073709551615 4194304 4196468 140729076190576 140048275052000 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10760] ppid=10700 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10760/stat : 10760 (java) S 10700 10703 4821 0 -1 1077944384 44 12345 0 0 0 0 5 3 20 0 15 0 91079025 14331736064 54821 18446744073709551615 4194304 4196468 140729076190576 140048273999360 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10761] ppid=10700 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10761/stat : 10761 (java) S 10700 10703 4821 0 -1 1077944384 3 12345 0 0 0 0 5 3 20 0 15 0 91079028 14331736064 54821 18446744073709551615 4194304 4196468 140729076190576 140048272947920 140048798295963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10762] ppid=10700 vsize=13995836 CPUtime=1 cores=1,3,5,7
/proc/10703/task/10762/stat : 10762 (java) S 10700 10703 4821 0 -1 1077944384 2454 12345 0 0 92 0 5 3 20 0 15 0 91079028 14331736064 54821 18446744073709551615 4194304 4196468 140729076190576 140048271894512 140048798288514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10763] ppid=10700 vsize=13995836 CPUtime=1.16 cores=1,3,5,7
/proc/10703/task/10763/stat : 10763 (java) S 10700 10703 4821 0 -1 1077944384 4145 12345 0 0 107 1 5 3 20 0 15 0 91079028 14331736064 54821 18446744073709551615 4194304 4196468 140729076190576 140048270841968 140048798288514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10764] ppid=10700 vsize=13995836 CPUtime=1.1 cores=1,3,5,7
/proc/10703/task/10764/stat : 10764 (java) S 10700 10703 4821 0 -1 1077944384 3910 12345 0 0 101 1 5 3 20 0 15 0 91079028 14331736064 54821 18446744073709551615 4194304 4196468 140729076190576 140048269789424 140048798288514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10765] ppid=10700 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10765/stat : 10765 (java) S 10700 10703 4821 0 -1 1077944384 3 12345 0 0 0 0 5 3 20 0 15 0 91079028 14331736064 54821 18446744073709551615 4194304 4196468 140729076190576 140048268737120 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10766] ppid=10700 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10766/stat : 10766 (java) S 10700 10703 4821 0 -1 1077944384 11 12345 0 0 0 0 5 3 20 0 15 0 91079032 14331736064 54821 18446744073709551615 4194304 4196468 140729076190576 140048267684656 140048798288514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 13995836

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10703 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20296 s]
/proc/loadavg: 2.56 3.33 2.62 6/213 10766
/proc/meminfo: memFree=28110632/32770624 swapFree=0/432176
[pid=10703] ppid=10700 vsize=13997884 CPUtime=6.26 cores=1,3,5,7
/proc/10703/stat : 10703 (java) S 10700 10703 4821 0 -1 1077944320 43805 12345 0 0 604 14 5 3 20 0 15 0 91078997 14333833216 58092 18446744073709551615 4194304 4196468 140729076190576 140729076173120 140048798277367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
/proc/10703/statm: 3499471 58092 3447 1 0 3488085 0
[pid=10703/tid=10753] ppid=10700 vsize=13997884 CPUtime=2.93 cores=1,3,5,7
/proc/10703/task/10753/stat : 10753 (java) R 10700 10703 4821 0 -1 4202560 28878 12345 0 0 277 8 5 3 20 0 15 0 91079023 14333833216 58092 18446744073709551615 4194304 4196468 140729076190576 140048802499840 140048798289302 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10754] ppid=10700 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10754/stat : 10754 (java) S 10700 10703 4821 0 -1 1077944384 209 12345 0 0 0 0 5 3 20 0 15 0 91079023 14333833216 58092 18446744073709551615 4194304 4196468 140729076190576 140048755243280 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10755] ppid=10700 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/10703/task/10755/stat : 10755 (java) S 10700 10703 4821 0 -1 1077944384 51 12345 0 0 1 0 5 3 20 0 15 0 91079023 14333833216 58092 18446744073709551615 4194304 4196468 140729076190576 140048754190736 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10756] ppid=10700 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/10703/task/10756/stat : 10756 (java) S 10700 10703 4821 0 -1 1077944384 55 12345 0 0 1 0 5 3 20 0 15 0 91079023 14333833216 58092 18446744073709551615 4194304 4196468 140729076190576 140048753138192 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10757] ppid=10700 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/10703/task/10757/stat : 10757 (java) S 10700 10703 4821 0 -1 1077944384 43 12345 0 0 1 0 5 3 20 0 15 0 91079023 14333833216 58092 18446744073709551615 4194304 4196468 140729076190576 140048752085648 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10758] ppid=10700 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/10703/task/10758/stat : 10758 (java) S 10700 10703 4821 0 -1 1077944384 1719 12345 0 0 1 0 5 3 20 0 15 0 91079025 14333833216 58092 18446744073709551615 4194304 4196468 140729076190576 140048276105712 140048798288514 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10759] ppid=10700 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10759/stat : 10759 (java) S 10700 10703 4821 0 -1 1077944384 55 12345 0 0 0 0 5 3 20 0 15 0 91079025 14333833216 58092 18446744073709551615 4194304 4196468 140729076190576 140048275052000 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10760] ppid=10700 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10760/stat : 10760 (java) S 10700 10703 4821 0 -1 1077944384 44 12345 0 0 0 0 5 3 20 0 15 0 91079025 14333833216 58092 18446744073709551615 4194304 4196468 140729076190576 140048273999360 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10761] ppid=10700 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10761/stat : 10761 (java) S 10700 10703 4821 0 -1 1077944384 3 12345 0 0 0 0 5 3 20 0 15 0 91079028 14333833216 58092 18446744073709551615 4194304 4196468 140729076190576 140048272947920 140048798295963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10762] ppid=10700 vsize=13997884 CPUtime=1.09 cores=1,3,5,7
/proc/10703/task/10762/stat : 10762 (java) R 10700 10703 4821 0 -1 4202560 2477 12345 0 0 101 0 5 3 20 0 15 0 91079028 14333833216 58092 18446744073709551615 4194304 4196468 140729076190576 140048271875744 140048798289302 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10763] ppid=10700 vsize=13997884 CPUtime=1.25 cores=1,3,5,7
/proc/10703/task/10763/stat : 10763 (java) R 10700 10703 4821 0 -1 4202560 4163 12345 0 0 116 1 5 3 20 0 15 0 91079028 14333833216 58092 18446744073709551615 4194304 4196468 140729076190576 140048270822688 140048778913300 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10764] ppid=10700 vsize=13997884 CPUtime=1.11 cores=1,3,5,7
/proc/10703/task/10764/stat : 10764 (java) R 10700 10703 4821 0 -1 1077944384 3940 12345 0 0 102 1 5 3 20 0 15 0 91079028 14333833216 58092 18446744073709551615 4194304 4196468 140729076190576 140048269789424 140048798288514 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10765] ppid=10700 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10765/stat : 10765 (java) S 10700 10703 4821 0 -1 1077944384 3 12345 0 0 0 0 5 3 20 0 15 0 91079028 14333833216 58092 18446744073709551615 4194304 4196468 140729076190576 140048268737120 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10766] ppid=10700 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10766/stat : 10766 (java) S 10700 10703 4821 0 -1 1077944384 11 12345 0 0 0 0 5 3 20 0 15 0 91079032 14333833216 58092 18446744073709551615 4194304 4196468 140729076190576 140048267684656 140048798288514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 13997884

[startup+4.80057 s]
/proc/loadavg: 2.56 3.33 2.62 6/213 10766
/proc/meminfo: memFree=28003988/32770624 swapFree=0/432176
[pid=10703] ppid=10700 vsize=14067516 CPUtime=10.57 cores=1,3,5,7
/proc/10703/stat : 10703 (java) S 10700 10703 4821 0 -1 1077944320 66757 12345 0 0 1031 18 5 3 20 0 15 0 91078997 14405136384 88630 18446744073709551615 4194304 4196468 140729076190576 140729076173120 140048798277367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
/proc/10703/statm: 3516879 88630 3457 1 0 3505493 0
[pid=10703/tid=10753] ppid=10700 vsize=14067516 CPUtime=4.45 cores=1,3,5,7
/proc/10703/task/10753/stat : 10753 (java) R 10700 10703 4821 0 -1 4202560 43755 12345 0 0 426 11 5 3 20 0 15 0 91079023 14405136384 88630 18446744073709551615 4194304 4196468 140729076190576 140048802512656 140048431348380 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10754] ppid=10700 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/10703/task/10754/stat : 10754 (java) S 10700 10703 4821 0 -1 1077944384 229 12345 0 0 4 0 5 3 20 0 15 0 91079023 14405136384 88630 18446744073709551615 4194304 4196468 140729076190576 140048755243280 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10755] ppid=10700 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/10703/task/10755/stat : 10755 (java) S 10700 10703 4821 0 -1 1077944384 87 12345 0 0 5 0 5 3 20 0 15 0 91079023 14405136384 88630 18446744073709551615 4194304 4196468 140729076190576 140048754190736 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10756] ppid=10700 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/10703/task/10756/stat : 10756 (java) S 10700 10703 4821 0 -1 1077944384 138 12345 0 0 5 0 5 3 20 0 15 0 91079023 14405136384 88630 18446744073709551615 4194304 4196468 140729076190576 140048753138192 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10757] ppid=10700 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/10703/task/10757/stat : 10757 (java) S 10700 10703 4821 0 -1 1077944384 55 12345 0 0 5 0 5 3 20 0 15 0 91079023 14405136384 88630 18446744073709551615 4194304 4196468 140729076190576 140048752085648 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10758] ppid=10700 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/10703/task/10758/stat : 10758 (java) S 10700 10703 4821 0 -1 1077944384 2328 12345 0 0 4 0 5 3 20 0 15 0 91079025 14405136384 88630 18446744073709551615 4194304 4196468 140729076190576 140048276105712 140048798288514 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10759] ppid=10700 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10759/stat : 10759 (java) S 10700 10703 4821 0 -1 1077944384 55 12345 0 0 0 0 5 3 20 0 15 0 91079025 14405136384 88630 18446744073709551615 4194304 4196468 140729076190576 140048275052000 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10760] ppid=10700 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10760/stat : 10760 (java) S 10700 10703 4821 0 -1 1077944384 44 12345 0 0 0 0 5 3 20 0 15 0 91079025 14405136384 88630 18446744073709551615 4194304 4196468 140729076190576 140048273999360 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10761] ppid=10700 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10761/stat : 10761 (java) S 10700 10703 4821 0 -1 1077944384 3 12345 0 0 0 0 5 3 20 0 15 0 91079028 14405136384 88630 18446744073709551615 4194304 4196468 140729076190576 140048272947920 140048798295963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10762] ppid=10700 vsize=14067516 CPUtime=1.96 cores=1,3,5,7
/proc/10703/task/10762/stat : 10762 (java) R 10700 10703 4821 0 -1 1077944384 3195 12345 0 0 188 0 5 3 20 0 15 0 91079028 14405136384 88630 18446744073709551615 4194304 4196468 140729076190576 140048271894512 140048798288514 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10763] ppid=10700 vsize=14067516 CPUtime=2.33 cores=1,3,5,7
/proc/10703/task/10763/stat : 10763 (java) R 10700 10703 4821 0 -1 4202560 7925 12345 0 0 224 1 5 3 20 0 15 0 91079028 14405136384 88630 18446744073709551615 4194304 4196468 140729076190576 140048270822984 140048782183372 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10764] ppid=10700 vsize=14067516 CPUtime=1.76 cores=1,3,5,7
/proc/10703/task/10764/stat : 10764 (java) R 10700 10703 4821 0 -1 4202560 6776 12345 0 0 166 2 5 3 20 0 15 0 91079028 14405136384 88630 18446744073709551615 4194304 4196468 140729076190576 140048269789424 140048791374203 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10765] ppid=10700 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10765/stat : 10765 (java) S 10700 10703 4821 0 -1 1077944384 3 12345 0 0 0 0 5 3 20 0 15 0 91079028 14405136384 88630 18446744073709551615 4194304 4196468 140729076190576 140048268737120 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10766] ppid=10700 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10766/stat : 10766 (java) S 10700 10703 4821 0 -1 1077944384 12 12345 0 0 0 0 5 3 20 0 15 0 91079032 14405136384 88630 18446744073709551615 4194304 4196468 140729076190576 140048267684656 140048798288514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
Current children cumulated CPU time (s) 10.57
Current children cumulated vsize (KiB) 14067516

[startup+5.20067 s]
/proc/loadavg: 2.56 3.33 2.62 6/213 10766
/proc/meminfo: memFree=28003988/32770624 swapFree=0/432176
[pid=10703] ppid=10700 vsize=14067516 CPUtime=11.73 cores=1,3,5,7
/proc/10703/stat : 10703 (java) S 10700 10703 4821 0 -1 1077944320 73912 12345 0 0 1146 19 5 3 20 0 15 0 91078997 14405136384 93012 18446744073709551615 4194304 4196468 140729076190576 140729076173120 140048798277367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
/proc/10703/statm: 3516879 93012 3468 1 0 3505493 0
[pid=10703/tid=10753] ppid=10700 vsize=14067516 CPUtime=4.84 cores=1,3,5,7
/proc/10703/task/10753/stat : 10753 (java) R 10700 10703 4821 0 -1 4202560 43912 12345 0 0 465 11 5 3 20 0 15 0 91079023 14405136384 93012 18446744073709551615 4194304 4196468 140729076190576 140048802510848 140048448561239 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10754] ppid=10700 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/10703/task/10754/stat : 10754 (java) S 10700 10703 4821 0 -1 1077944384 270 12345 0 0 4 0 5 3 20 0 15 0 91079023 14405136384 93012 18446744073709551615 4194304 4196468 140729076190576 140048755243280 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10755] ppid=10700 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/10703/task/10755/stat : 10755 (java) S 10700 10703 4821 0 -1 1077944384 690 12345 0 0 5 0 5 3 20 0 15 0 91079023 14405136384 93012 18446744073709551615 4194304 4196468 140729076190576 140048754190736 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10756] ppid=10700 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/10703/task/10756/stat : 10756 (java) S 10700 10703 4821 0 -1 1077944384 161 12345 0 0 5 0 5 3 20 0 15 0 91079023 14405136384 93012 18446744073709551615 4194304 4196468 140729076190576 140048753138192 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10757] ppid=10700 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/10703/task/10757/stat : 10757 (java) S 10700 10703 4821 0 -1 1077944384 79 12345 0 0 5 0 5 3 20 0 15 0 91079023 14405136384 93012 18446744073709551615 4194304 4196468 140729076190576 140048752085648 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10758] ppid=10700 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/10703/task/10758/stat : 10758 (java) S 10700 10703 4821 0 -1 1077944384 2347 12345 0 0 4 0 5 3 20 0 15 0 91079025 14405136384 93012 18446744073709551615 4194304 4196468 140729076190576 140048276105712 140048798288514 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10759] ppid=10700 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10759/stat : 10759 (java) S 10700 10703 4821 0 -1 1077944384 55 12345 0 0 0 0 5 3 20 0 15 0 91079025 14405136384 93012 18446744073709551615 4194304 4196468 140729076190576 140048275052000 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10760] ppid=10700 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10760/stat : 10760 (java) S 10700 10703 4821 0 -1 1077944384 44 12345 0 0 0 0 5 3 20 0 15 0 91079025 14405136384 93012 18446744073709551615 4194304 4196468 140729076190576 140048273999360 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10761] ppid=10700 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10761/stat : 10761 (java) S 10700 10703 4821 0 -1 1077944384 3 12345 0 0 0 0 5 3 20 0 15 0 91079028 14405136384 93012 18446744073709551615 4194304 4196468 140729076190576 140048272947920 140048798295963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10762] ppid=10700 vsize=14067516 CPUtime=2.25 cores=1,3,5,7
/proc/10703/task/10762/stat : 10762 (java) R 10700 10703 4821 0 -1 4202560 4852 12345 0 0 217 0 5 3 20 0 15 0 91079028 14405136384 93012 18446744073709551615 4194304 4196468 140729076190576 140048271894512 140048798298714 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10763] ppid=10700 vsize=14067516 CPUtime=2.73 cores=1,3,5,7
/proc/10703/task/10763/stat : 10763 (java) R 10700 10703 4821 0 -1 4202560 11550 12345 0 0 264 1 5 3 20 0 15 0 91079028 14405136384 93012 18446744073709551615 4194304 4196468 140729076190576 140048270827760 140048781661967 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10764] ppid=10700 vsize=14067516 CPUtime=1.83 cores=1,3,5,7
/proc/10703/task/10764/stat : 10764 (java) S 10700 10703 4821 0 -1 1077944384 7780 12345 0 0 173 2 5 3 20 0 15 0 91079028 14405136384 93012 18446744073709551615 4194304 4196468 140729076190576 140048269789424 140048798288514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10765] ppid=10700 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10765/stat : 10765 (java) S 10700 10703 4821 0 -1 1077944384 3 12345 0 0 0 0 5 3 20 0 15 0 91079028 14405136384 93012 18446744073709551615 4194304 4196468 140729076190576 140048268737120 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10766] ppid=10700 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10766/stat : 10766 (java) S 10700 10703 4821 0 -1 1077944384 12 12345 0 0 0 0 5 3 20 0 15 0 91079032 14405136384 93012 18446744073709551615 4194304 4196468 140729076190576 140048267684656 140048798288514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
Current children cumulated CPU time (s) 11.73
Current children cumulated vsize (KiB) 14067516

[startup+5.61264 s]
/proc/loadavg: 2.56 3.33 2.62 3/213 10766
/proc/meminfo: memFree=27925124/32770624 swapFree=0/432176
[pid=10703] ppid=10700 vsize=14067516 CPUtime=12.73 cores=1,3,5,7
/proc/10703/stat : 10703 (java) S 10700 10703 4821 0 -1 1077944320 75572 12345 0 0 1245 20 5 3 20 0 15 0 91078997 14405136384 95182 18446744073709551615 4194304 4196468 140729076190576 140729076173120 140048798277367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
/proc/10703/statm: 3516879 95182 3470 1 0 3505493 0
[pid=10703/tid=10753] ppid=10700 vsize=14067516 CPUtime=5.03 cores=1,3,5,7
/proc/10703/task/10753/stat : 10753 (java) R 10700 10703 4821 0 -1 4202560 44097 12345 0 0 484 11 5 3 20 0 15 0 91079023 14405136384 95182 18446744073709551615 4194304 4196468 140729076190576 140048802513136 140048439088958 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10754] ppid=10700 vsize=14067516 CPUtime=0.24 cores=1,3,5,7
/proc/10703/task/10754/stat : 10754 (java) S 10700 10703 4821 0 -1 1077944384 294 12345 0 0 15 1 5 3 20 0 15 0 91079023 14405136384 95182 18446744073709551615 4194304 4196468 140729076190576 140048755243280 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10755] ppid=10700 vsize=14067516 CPUtime=0.26 cores=1,3,5,7
/proc/10703/task/10755/stat : 10755 (java) S 10700 10703 4821 0 -1 1077944384 729 12345 0 0 18 0 5 3 20 0 15 0 91079023 14405136384 95182 18446744073709551615 4194304 4196468 140729076190576 140048754190736 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10756] ppid=10700 vsize=14067516 CPUtime=0.25 cores=1,3,5,7
/proc/10703/task/10756/stat : 10756 (java) S 10700 10703 4821 0 -1 1077944384 190 12345 0 0 17 0 5 3 20 0 15 0 91079023 14405136384 95182 18446744073709551615 4194304 4196468 140729076190576 140048753138192 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10757] ppid=10700 vsize=14067516 CPUtime=0.25 cores=1,3,5,7
/proc/10703/task/10757/stat : 10757 (java) S 10700 10703 4821 0 -1 1077944384 87 12345 0 0 17 0 5 3 20 0 15 0 91079023 14405136384 95182 18446744073709551615 4194304 4196468 140729076190576 140048752085648 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10758] ppid=10700 vsize=14067516 CPUtime=0.21 cores=1,3,5,7
/proc/10703/task/10758/stat : 10758 (java) S 10700 10703 4821 0 -1 1077944384 2498 12345 0 0 13 0 5 3 20 0 15 0 91079025 14405136384 95182 18446744073709551615 4194304 4196468 140729076190576 140048276105712 140048798288514 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10759] ppid=10700 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10759/stat : 10759 (java) S 10700 10703 4821 0 -1 1077944384 55 12345 0 0 0 0 5 3 20 0 15 0 91079025 14405136384 95182 18446744073709551615 4194304 4196468 140729076190576 140048275052000 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10760] ppid=10700 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10760/stat : 10760 (java) S 10700 10703 4821 0 -1 1077944384 45 12345 0 0 0 0 5 3 20 0 15 0 91079025 14405136384 95182 18446744073709551615 4194304 4196468 140729076190576 140048273999360 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10761] ppid=10700 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10761/stat : 10761 (java) S 10700 10703 4821 0 -1 1077944384 3 12345 0 0 0 0 5 3 20 0 15 0 91079028 14405136384 95182 18446744073709551615 4194304 4196468 140729076190576 140048272947920 140048798295963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10762] ppid=10700 vsize=14067516 CPUtime=2.27 cores=1,3,5,7
/proc/10703/task/10762/stat : 10762 (java) R 10700 10703 4821 0 -1 1077944384 4904 12345 0 0 219 0 5 3 20 0 15 0 91079028 14405136384 95182 18446744073709551615 4194304 4196468 140729076190576 140048271884304 140048798287573 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10763] ppid=10700 vsize=14067516 CPUtime=2.9 cores=1,3,5,7
/proc/10703/task/10763/stat : 10763 (java) R 10700 10703 4821 0 -1 4202560 12549 12345 0 0 280 2 5 3 20 0 15 0 91079028 14405136384 95182 18446744073709551615 4194304 4196468 140729076190576 140048270821408 140048779822657 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10764] ppid=10700 vsize=14067516 CPUtime=1.86 cores=1,3,5,7
/proc/10703/task/10764/stat : 10764 (java) R 10700 10703 4821 0 -1 4202560 7906 12345 0 0 176 2 5 3 20 0 15 0 91079028 14405136384 95182 18446744073709551615 4194304 4196468 140729076190576 140048269787824 140048798289302 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10765] ppid=10700 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10765/stat : 10765 (java) S 10700 10703 4821 0 -1 1077944384 3 12345 0 0 0 0 5 3 20 0 15 0 91079028 14405136384 95182 18446744073709551615 4194304 4196468 140729076190576 140048268737120 140048798287573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
[pid=10703/tid=10766] ppid=10700 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10703/task/10766/stat : 10766 (java) S 10700 10703 4821 0 -1 1077944384 58 12345 0 0 0 0 5 3 20 0 15 0 91079032 14405136384 95182 18446744073709551615 4194304 4196468 140729076190576 140048267684656 140048798288514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16826368 140729076193232 140729076196017 140729076196017 140729076199375 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 14067516

Child status: 0
Real time (s): 5.66367
CPU time (s): 12.8313
CPU user time (s): 12.5803
CPU system time (s): 0.251061
CPU usage (%): 226.555
Max. virtual memory (cumulated for all children) (KiB): 14070016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.5803
system time used= 0.251061
maximum resident set size= 381536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88131
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7424
involuntary context switches= 73

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031041 second user time and 0.035475 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-24-sum.xml
MD5SUM	e3989d840e6da5d4ed83bf18c49d4f4f
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	0.131742
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	2237
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":600}]
Minimum variable degree	3
Maximum variable degree	11
Distribution of variable degrees	[{"degree":3,"count":3},{"degree":4,"count":21},{"degree":5,"count":45},{"degree":6,"count":90},{"degree":7,"count":90},{"degree":8,"count":129},{"degree":9,"count":111},{"degree":10,"count":66},{"degree":11,"count":45}]
Minimum constraint arity	2
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":2,"count":2037},{"arity":3,"count":200}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2237}]
Optimization problem	NO
Type of objective
Trace number 4262618

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
