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.7515	5.5601602
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-4262617-1502432633/watcher-4262617-1502432633 -o /tmp/evaluation-result-4262617-1502432633/solver-4262617-1502432633 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13071 --watchdog 2580 bin/concrete HOME/instance-4262617-1502432633.xml 

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


[startup+0 s]
/proc/loadavg: 2.25 1.75 1.54 2/198 18872
/proc/meminfo: memFree=30661236/32770624 swapFree=0/459232
[pid=18872] ppid=18869 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/18872/stat : 18872 (runsolver) D 18869 18872 13007 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 85174470 24240128 107 18446744073709551615 4194304 4338465 140733392405680 140733392403320 140123533570775 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 24473600 140733392412880 140733392413257 140733392413257 140733392416714 0
/proc/18872/statm: 5918 107 54 36 0 2156 0

[startup+0.100167 s]
/proc/loadavg: 2.25 1.75 1.54 2/198 18872
/proc/meminfo: memFree=30661236/32770624 swapFree=0/459232
[pid=18872] ppid=18869 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/18872/stat : 18872 (bash) S 18869 18872 13007 0 -1 4202496 897 6473 0 0 0 0 0 1 20 0 1 0 85174470 9867264 377 18446744073709551615 4194304 5098028 140726491322448 140726491316456 140032283810816 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 6 0 0 7196144 7232144 20860928 140726491324948 140726491325033 140726491325033 140726491328490 0
/proc/18872/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200359 s]
/proc/loadavg: 2.25 1.75 1.54 2/198 18872
/proc/meminfo: memFree=30661236/32770624 swapFree=0/459232
[pid=18872] ppid=18869 vsize=13356508 CPUtime=0.08 cores=0,2,4,6
/proc/18872/stat : 18872 (java) S 18869 18872 13007 0 -1 1077944320 3403 12292 0 0 0 0 6 2 20 0 6 0 85174470 13677064192 2732 18446744073709551615 4194304 4196468 140734796156912 140734796139456 139622299361015 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
/proc/18872/statm: 3339127 2732 1263 1 0 3329097 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13356508

[startup+0.303413 s]
/proc/loadavg: 2.25 1.75 1.54 2/198 18872
/proc/meminfo: memFree=30661236/32770624 swapFree=0/459232
[pid=18872] ppid=18869 vsize=13974356 CPUtime=0.2 cores=0,2,4,6
/proc/18872/stat : 18872 (java) S 18869 18872 13007 0 -1 1077944320 7015 12292 0 0 11 1 6 2 20 0 15 0 85174470 14309740544 7673 18446744073709551615 4194304 4196468 140734796156912 140734796139456 139622299361015 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
/proc/18872/statm: 3493589 7673 2908 1 0 3482965 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 13974356

[startup+0.700325 s]
/proc/loadavg: 2.25 1.75 1.54 2/198 18872
/proc/meminfo: memFree=30661236/32770624 swapFree=0/459232
[pid=18872] ppid=18869 vsize=13974784 CPUtime=0.73 cores=0,2,4,6
/proc/18872/stat : 18872 (java) S 18869 18872 13007 0 -1 1077944320 14137 12292 0 0 62 3 6 2 20 0 15 0 85174470 14310178816 15090 18446744073709551615 4194304 4196468 140734796156912 140734796139456 139622299361015 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
/proc/18872/statm: 3493696 15090 3107 1 0 3482965 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 13974784

[startup+1.50056 s]
/proc/loadavg: 2.31 1.77 1.55 3/213 18935
/proc/meminfo: memFree=30562668/32770624 swapFree=0/459220
[pid=18872] ppid=18869 vsize=13985408 CPUtime=1.97 cores=0,2,4,6
/proc/18872/stat : 18872 (java) S 18869 18872 13007 0 -1 1077944320 29420 12292 0 0 180 9 6 2 20 0 15 0 85174470 14321057792 43216 18446744073709551615 4194304 4196468 140734796156912 140734796139456 139622299361015 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
/proc/18872/statm: 3496352 43216 3371 1 0 3485525 0
[pid=18872/tid=18922] ppid=18869 vsize=13985408 CPUtime=1.32 cores=0,2,4,6
/proc/18872/task/18922/stat : 18922 (java) R 18869 18872 13007 0 -1 4202560 22942 12292 0 0 118 6 6 2 20 0 15 0 85174489 14321057792 43216 18446744073709551615 4194304 4196468 140734796156912 139622303590672 139622260309066 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18923] ppid=18869 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18923/stat : 18923 (java) S 18869 18872 13007 0 -1 1077944384 222 12292 0 0 0 0 6 2 20 0 15 0 85174490 14321057792 43216 18446744073709551615 4194304 4196468 140734796156912 139622218775696 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18924] ppid=18869 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/18872/task/18924/stat : 18924 (java) S 18869 18872 13007 0 -1 1077944384 31 12292 0 0 1 0 6 2 20 0 15 0 85174490 14321057792 43216 18446744073709551615 4194304 4196468 140734796156912 139622217722896 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18925] ppid=18869 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/18872/task/18925/stat : 18925 (java) S 18869 18872 13007 0 -1 1077944384 38 12292 0 0 1 0 6 2 20 0 15 0 85174490 14321057792 43216 18446744073709551615 4194304 4196468 140734796156912 139622216670096 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18926] ppid=18869 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/18872/task/18926/stat : 18926 (java) S 18869 18872 13007 0 -1 1077944384 65 12292 0 0 1 0 6 2 20 0 15 0 85174490 14321057792 43216 18446744073709551615 4194304 4196468 140734796156912 139622215617296 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18927] ppid=18869 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/18872/task/18927/stat : 18927 (java) S 18869 18872 13007 0 -1 1077944384 737 12292 0 0 1 0 6 2 20 0 15 0 85174491 14321057792 43216 18446744073709551615 4194304 4196468 140734796156912 139621777799536 139622299372162 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18928] ppid=18869 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18928/stat : 18928 (java) S 18869 18872 13007 0 -1 1077944384 56 12292 0 0 0 0 6 2 20 0 15 0 85174492 14321057792 43216 18446744073709551615 4194304 4196468 140734796156912 139621776745504 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18929] ppid=18869 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18929/stat : 18929 (java) S 18869 18872 13007 0 -1 1077944384 44 12292 0 0 0 0 6 2 20 0 15 0 85174492 14321057792 43216 18446744073709551615 4194304 4196468 140734796156912 139621775692656 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18930] ppid=18869 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18930/stat : 18930 (java) S 18869 18872 13007 0 -1 1077944384 3 12292 0 0 0 0 6 2 20 0 15 0 85174494 14321057792 43216 18446744073709551615 4194304 4196468 140734796156912 139621774640976 139622299379611 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18931] ppid=18869 vsize=13985408 CPUtime=0.26 cores=0,2,4,6
/proc/18872/task/18931/stat : 18931 (java) R 18869 18872 13007 0 -1 4202560 1210 12292 0 0 18 0 6 2 20 0 15 0 85174494 14321057792 43216 18446744073709551615 4194304 4196468 140734796156912 139621773589360 139622279023008 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18932] ppid=18869 vsize=13985408 CPUtime=0.19 cores=0,2,4,6
/proc/18872/task/18932/stat : 18932 (java) S 18869 18872 13007 0 -1 1077944384 543 12292 0 0 11 0 6 2 20 0 15 0 85174494 14321057792 43216 18446744073709551615 4194304 4196468 140734796156912 139621772536560 139622299372162 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18933] ppid=18869 vsize=13985408 CPUtime=0.33 cores=0,2,4,6
/proc/18872/task/18933/stat : 18933 (java) S 18869 18872 13007 0 -1 1077944384 1362 12292 0 0 25 0 6 2 20 0 15 0 85174494 14321057792 43216 18446744073709551615 4194304 4196468 140734796156912 139621771483760 139622299372162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18934] ppid=18869 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18934/stat : 18934 (java) S 18869 18872 13007 0 -1 1077944384 3 12292 0 0 0 0 6 2 20 0 15 0 85174495 14321057792 43216 18446744073709551615 4194304 4196468 140734796156912 139621770431200 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18935] ppid=18869 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18935/stat : 18935 (java) S 18869 18872 13007 0 -1 1077944384 10 12292 0 0 0 0 6 2 20 0 15 0 85174497 14321057792 43216 18446744073709551615 4194304 4196468 140734796156912 139621769378480 139622299372162 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 13985408

[startup+3.10073 s]
/proc/loadavg: 2.31 1.77 1.55 5/213 18935
/proc/meminfo: memFree=30488784/32770624 swapFree=0/459220
[pid=18872] ppid=18869 vsize=13995836 CPUtime=6.08 cores=0,2,4,6
/proc/18872/stat : 18872 (java) S 18869 18872 13007 0 -1 1077944320 43584 12292 0 0 585 15 6 2 20 0 15 0 85174470 14331736064 57451 18446744073709551615 4194304 4196468 140734796156912 140734796139456 139622299361015 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
/proc/18872/statm: 3498959 57451 3445 1 0 3487573 0
[pid=18872/tid=18922] ppid=18869 vsize=13995836 CPUtime=2.9 cores=0,2,4,6
/proc/18872/task/18922/stat : 18922 (java) R 18869 18872 13007 0 -1 4202560 30636 12292 0 0 273 9 6 2 20 0 15 0 85174489 14331736064 57451 18446744073709551615 4194304 4196468 140734796156912 139622303589272 139621887454490 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18923] ppid=18869 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18923/stat : 18923 (java) S 18869 18872 13007 0 -1 1077944384 222 12292 0 0 0 0 6 2 20 0 15 0 85174490 14331736064 57451 18446744073709551615 4194304 4196468 140734796156912 139622218775696 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18924] ppid=18869 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/18872/task/18924/stat : 18924 (java) S 18869 18872 13007 0 -1 1077944384 31 12292 0 0 1 0 6 2 20 0 15 0 85174490 14331736064 57451 18446744073709551615 4194304 4196468 140734796156912 139622217722896 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18925] ppid=18869 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/18872/task/18925/stat : 18925 (java) S 18869 18872 13007 0 -1 1077944384 38 12292 0 0 1 0 6 2 20 0 15 0 85174490 14331736064 57451 18446744073709551615 4194304 4196468 140734796156912 139622216670096 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18926] ppid=18869 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/18872/task/18926/stat : 18926 (java) S 18869 18872 13007 0 -1 1077944384 65 12292 0 0 1 0 6 2 20 0 15 0 85174490 14331736064 57451 18446744073709551615 4194304 4196468 140734796156912 139622215617296 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18927] ppid=18869 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/18872/task/18927/stat : 18927 (java) S 18869 18872 13007 0 -1 1077944384 763 12292 0 0 1 0 6 2 20 0 15 0 85174491 14331736064 57451 18446744073709551615 4194304 4196468 140734796156912 139621777799536 139622299372162 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18928] ppid=18869 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18928/stat : 18928 (java) S 18869 18872 13007 0 -1 1077944384 56 12292 0 0 0 0 6 2 20 0 15 0 85174492 14331736064 57451 18446744073709551615 4194304 4196468 140734796156912 139621776745504 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18929] ppid=18869 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18929/stat : 18929 (java) S 18869 18872 13007 0 -1 1077944384 44 12292 0 0 0 0 6 2 20 0 15 0 85174492 14331736064 57451 18446744073709551615 4194304 4196468 140734796156912 139621775692656 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18930] ppid=18869 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18930/stat : 18930 (java) S 18869 18872 13007 0 -1 1077944384 3 12292 0 0 0 0 6 2 20 0 15 0 85174494 14331736064 57451 18446744073709551615 4194304 4196468 140734796156912 139621774640976 139622299379611 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18931] ppid=18869 vsize=13995836 CPUtime=1.17 cores=0,2,4,6
/proc/18872/task/18931/stat : 18931 (java) R 18869 18872 13007 0 -1 4202560 4065 12292 0 0 109 0 6 2 20 0 15 0 85174494 14331736064 57451 18446744073709551615 4194304 4196468 140734796156912 139621773571072 139622280905233 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18932] ppid=18869 vsize=13995836 CPUtime=1.01 cores=0,2,4,6
/proc/18872/task/18932/stat : 18932 (java) R 18869 18872 13007 0 -1 4202560 2003 12292 0 0 92 1 6 2 20 0 15 0 85174494 14331736064 57451 18446744073709551615 4194304 4196468 140734796156912 139621772520032 139622280905365 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18933] ppid=18869 vsize=13995836 CPUtime=1.11 cores=0,2,4,6
/proc/18872/task/18933/stat : 18933 (java) S 18869 18872 13007 0 -1 1077944384 3490 12292 0 0 102 1 6 2 20 0 15 0 85174494 14331736064 57451 18446744073709551615 4194304 4196468 140734796156912 139621771483760 139622299372162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18934] ppid=18869 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18934/stat : 18934 (java) S 18869 18872 13007 0 -1 1077944384 3 12292 0 0 0 0 6 2 20 0 15 0 85174495 14331736064 57451 18446744073709551615 4194304 4196468 140734796156912 139621770431200 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18935] ppid=18869 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18935/stat : 18935 (java) S 18869 18872 13007 0 -1 1077944384 11 12292 0 0 0 0 6 2 20 0 15 0 85174497 14331736064 57451 18446744073709551615 4194304 4196468 140734796156912 139621769378480 139622299372162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 13995836

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

[startup+3.20074 s]
/proc/loadavg: 2.31 1.77 1.55 5/213 18935
/proc/meminfo: memFree=30488784/32770624 swapFree=0/459220
[pid=18872] ppid=18869 vsize=13997884 CPUtime=6.4 cores=0,2,4,6
/proc/18872/stat : 18872 (java) S 18869 18872 13007 0 -1 1077944320 43935 12292 0 0 616 16 6 2 20 0 15 0 85174470 14333833216 59259 18446744073709551615 4194304 4196468 140734796156912 140734796139456 139622299361015 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
/proc/18872/statm: 3499471 59259 3445 1 0 3488085 0
[pid=18872/tid=18922] ppid=18869 vsize=13997884 CPUtime=3.01 cores=0,2,4,6
/proc/18872/task/18922/stat : 18922 (java) R 18869 18872 13007 0 -1 4202560 30825 12292 0 0 283 10 6 2 20 0 15 0 85174489 14333833216 59259 18446744073709551615 4194304 4196468 140734796156912 139622303591720 139621898105845 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18923] ppid=18869 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18923/stat : 18923 (java) S 18869 18872 13007 0 -1 1077944384 222 12292 0 0 0 0 6 2 20 0 15 0 85174490 14333833216 59259 18446744073709551615 4194304 4196468 140734796156912 139622218775696 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18924] ppid=18869 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/18872/task/18924/stat : 18924 (java) S 18869 18872 13007 0 -1 1077944384 31 12292 0 0 1 0 6 2 20 0 15 0 85174490 14333833216 59259 18446744073709551615 4194304 4196468 140734796156912 139622217722896 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18925] ppid=18869 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/18872/task/18925/stat : 18925 (java) S 18869 18872 13007 0 -1 1077944384 38 12292 0 0 1 0 6 2 20 0 15 0 85174490 14333833216 59259 18446744073709551615 4194304 4196468 140734796156912 139622216670096 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18926] ppid=18869 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/18872/task/18926/stat : 18926 (java) S 18869 18872 13007 0 -1 1077944384 65 12292 0 0 1 0 6 2 20 0 15 0 85174490 14333833216 59259 18446744073709551615 4194304 4196468 140734796156912 139622215617296 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18927] ppid=18869 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/18872/task/18927/stat : 18927 (java) S 18869 18872 13007 0 -1 1077944384 763 12292 0 0 1 0 6 2 20 0 15 0 85174491 14333833216 59259 18446744073709551615 4194304 4196468 140734796156912 139621777799536 139622299372162 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18928] ppid=18869 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18928/stat : 18928 (java) S 18869 18872 13007 0 -1 1077944384 56 12292 0 0 0 0 6 2 20 0 15 0 85174492 14333833216 59259 18446744073709551615 4194304 4196468 140734796156912 139621776745504 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18929] ppid=18869 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18929/stat : 18929 (java) S 18869 18872 13007 0 -1 1077944384 44 12292 0 0 0 0 6 2 20 0 15 0 85174492 14333833216 59259 18446744073709551615 4194304 4196468 140734796156912 139621775692656 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18930] ppid=18869 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18930/stat : 18930 (java) S 18869 18872 13007 0 -1 1077944384 3 12292 0 0 0 0 6 2 20 0 15 0 85174494 14333833216 59259 18446744073709551615 4194304 4196468 140734796156912 139621774640976 139622299379611 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18931] ppid=18869 vsize=13997884 CPUtime=1.26 cores=0,2,4,6
/proc/18872/task/18931/stat : 18931 (java) R 18869 18872 13007 0 -1 4202560 4089 12292 0 0 118 0 6 2 20 0 15 0 85174494 14333833216 59259 18446744073709551615 4194304 4196468 140734796156912 139621773569472 139622280905653 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18932] ppid=18869 vsize=13997884 CPUtime=1.09 cores=0,2,4,6
/proc/18872/task/18932/stat : 18932 (java) R 18869 18872 13007 0 -1 4202560 2021 12292 0 0 100 1 6 2 20 0 15 0 85174494 14333833216 59259 18446744073709551615 4194304 4196468 140734796156912 139621772525360 139622283271701 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18933] ppid=18869 vsize=13997884 CPUtime=1.16 cores=0,2,4,6
/proc/18872/task/18933/stat : 18933 (java) S 18869 18872 13007 0 -1 1077944384 3610 12292 0 0 107 1 6 2 20 0 15 0 85174494 14333833216 59259 18446744073709551615 4194304 4196468 140734796156912 139621771483760 139622299372162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18934] ppid=18869 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18934/stat : 18934 (java) S 18869 18872 13007 0 -1 1077944384 3 12292 0 0 0 0 6 2 20 0 15 0 85174495 14333833216 59259 18446744073709551615 4194304 4196468 140734796156912 139621770431200 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18935] ppid=18869 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18935/stat : 18935 (java) R 18869 18872 13007 0 -1 1077944384 11 12292 0 0 0 0 6 2 20 0 15 0 85174497 14333833216 59259 18446744073709551615 4194304 4196468 140734796156912 139621769378480 139622299372162 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 13997884

[startup+4.80969 s]
/proc/loadavg: 2.31 1.77 1.55 6/217 18951
/proc/meminfo: memFree=30377304/32770624 swapFree=0/459208
[pid=18872] ppid=18869 vsize=14067516 CPUtime=10.68 cores=0,2,4,6
/proc/18872/stat : 18872 (java) S 18869 18872 13007 0 -1 1077944320 64095 12292 0 0 1038 22 6 2 20 0 15 0 85174470 14405136384 88881 18446744073709551615 4194304 4196468 140734796156912 140734796139456 139622299361015 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
/proc/18872/statm: 3516879 88881 3463 1 0 3505493 0
[pid=18872/tid=18922] ppid=18869 vsize=14067516 CPUtime=4.53 cores=0,2,4,6
/proc/18872/task/18922/stat : 18922 (java) R 18869 18872 13007 0 -1 4202560 44901 12292 0 0 433 12 6 2 20 0 15 0 85174489 14405136384 88881 18446744073709551615 4194304 4196468 140734796156912 139622303594144 139621904996671 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18923] ppid=18869 vsize=14067516 CPUtime=0.13 cores=0,2,4,6
/proc/18872/task/18923/stat : 18923 (java) S 18869 18872 13007 0 -1 1077944384 248 12292 0 0 4 1 6 2 20 0 15 0 85174490 14405136384 88881 18446744073709551615 4194304 4196468 140734796156912 139622218775696 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18924] ppid=18869 vsize=14067516 CPUtime=0.13 cores=0,2,4,6
/proc/18872/task/18924/stat : 18924 (java) S 18869 18872 13007 0 -1 1077944384 76 12292 0 0 5 0 6 2 20 0 15 0 85174490 14405136384 88881 18446744073709551615 4194304 4196468 140734796156912 139622217722896 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18925] ppid=18869 vsize=14067516 CPUtime=0.12 cores=0,2,4,6
/proc/18872/task/18925/stat : 18925 (java) S 18869 18872 13007 0 -1 1077944384 70 12292 0 0 4 0 6 2 20 0 15 0 85174490 14405136384 88881 18446744073709551615 4194304 4196468 140734796156912 139622216670096 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18926] ppid=18869 vsize=14067516 CPUtime=0.12 cores=0,2,4,6
/proc/18872/task/18926/stat : 18926 (java) S 18869 18872 13007 0 -1 1077944384 147 12292 0 0 4 0 6 2 20 0 15 0 85174490 14405136384 88881 18446744073709551615 4194304 4196468 140734796156912 139622215617296 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18927] ppid=18869 vsize=14067516 CPUtime=0.12 cores=0,2,4,6
/proc/18872/task/18927/stat : 18927 (java) S 18869 18872 13007 0 -1 1077944384 1781 12292 0 0 4 0 6 2 20 0 15 0 85174491 14405136384 88881 18446744073709551615 4194304 4196468 140734796156912 139621777799536 139622299372162 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18928] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18928/stat : 18928 (java) S 18869 18872 13007 0 -1 1077944384 56 12292 0 0 0 0 6 2 20 0 15 0 85174492 14405136384 88881 18446744073709551615 4194304 4196468 140734796156912 139621776745568 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18929] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18929/stat : 18929 (java) S 18869 18872 13007 0 -1 1077944384 45 12292 0 0 0 0 6 2 20 0 15 0 85174492 14405136384 88881 18446744073709551615 4194304 4196468 140734796156912 139621775692672 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18930] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18930/stat : 18930 (java) S 18869 18872 13007 0 -1 1077944384 3 12292 0 0 0 0 6 2 20 0 15 0 85174494 14405136384 88881 18446744073709551615 4194304 4196468 140734796156912 139621774640976 139622299379611 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18931] ppid=18869 vsize=14067516 CPUtime=2.36 cores=0,2,4,6
/proc/18872/task/18931/stat : 18931 (java) R 18869 18872 13007 0 -1 4202560 6634 12292 0 0 227 1 6 2 20 0 15 0 85174494 14405136384 88881 18446744073709551615 4194304 4196468 140734796156912 139621773570376 139622279054115 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18932] ppid=18869 vsize=14067516 CPUtime=1.89 cores=0,2,4,6
/proc/18872/task/18932/stat : 18932 (java) R 18869 18872 13007 0 -1 4202560 2357 12292 0 0 180 1 6 2 20 0 15 0 85174494 14405136384 88881 18446744073709551615 4194304 4196468 140734796156912 139621772523232 139622279549553 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18933] ppid=18869 vsize=14067516 CPUtime=1.8 cores=0,2,4,6
/proc/18872/task/18933/stat : 18933 (java) R 18869 18872 13007 0 -1 4202560 5608 12292 0 0 170 2 6 2 20 0 15 0 85174494 14405136384 88881 18446744073709551615 4194304 4196468 140734796156912 139621771483760 139622283441502 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18934] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18934/stat : 18934 (java) S 18869 18872 13007 0 -1 1077944384 3 12292 0 0 0 0 6 2 20 0 15 0 85174495 14405136384 88881 18446744073709551615 4194304 4196468 140734796156912 139621770431200 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18935] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18935/stat : 18935 (java) R 18869 18872 13007 0 -1 1077944384 12 12292 0 0 0 0 6 2 20 0 15 0 85174497 14405136384 88881 18446744073709551615 4194304 4196468 140734796156912 139621769378480 139622299372162 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
Current children cumulated CPU time (s) 10.68
Current children cumulated vsize (KiB) 14067516

[startup+5.20065 s]
/proc/loadavg: 2.31 1.77 1.55 6/217 18951
/proc/meminfo: memFree=30377304/32770624 swapFree=0/459208
[pid=18872] ppid=18869 vsize=14067516 CPUtime=11.78 cores=0,2,4,6
/proc/18872/stat : 18872 (java) S 18869 18872 13007 0 -1 1077944320 66782 12292 0 0 1148 22 6 2 20 0 15 0 85174470 14405136384 96500 18446744073709551615 4194304 4196468 140734796156912 140734796139456 139622299361015 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
/proc/18872/statm: 3516879 96500 3464 1 0 3505493 0
[pid=18872/tid=18922] ppid=18869 vsize=14067516 CPUtime=4.91 cores=0,2,4,6
/proc/18872/task/18922/stat : 18922 (java) R 18869 18872 13007 0 -1 4202560 44928 12292 0 0 471 12 6 2 20 0 15 0 85174489 14405136384 96500 18446744073709551615 4194304 4196468 140734796156912 139622303595104 139621905251657 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18923] ppid=18869 vsize=14067516 CPUtime=0.13 cores=0,2,4,6
/proc/18872/task/18923/stat : 18923 (java) S 18869 18872 13007 0 -1 1077944384 249 12292 0 0 4 1 6 2 20 0 15 0 85174490 14405136384 96500 18446744073709551615 4194304 4196468 140734796156912 139622218775696 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18924] ppid=18869 vsize=14067516 CPUtime=0.13 cores=0,2,4,6
/proc/18872/task/18924/stat : 18924 (java) S 18869 18872 13007 0 -1 1077944384 77 12292 0 0 5 0 6 2 20 0 15 0 85174490 14405136384 96500 18446744073709551615 4194304 4196468 140734796156912 139622217722896 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18925] ppid=18869 vsize=14067516 CPUtime=0.13 cores=0,2,4,6
/proc/18872/task/18925/stat : 18925 (java) S 18869 18872 13007 0 -1 1077944384 71 12292 0 0 5 0 6 2 20 0 15 0 85174490 14405136384 96500 18446744073709551615 4194304 4196468 140734796156912 139622216670096 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18926] ppid=18869 vsize=14067516 CPUtime=0.13 cores=0,2,4,6
/proc/18872/task/18926/stat : 18926 (java) S 18869 18872 13007 0 -1 1077944384 153 12292 0 0 5 0 6 2 20 0 15 0 85174490 14405136384 96500 18446744073709551615 4194304 4196468 140734796156912 139622215617296 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18927] ppid=18869 vsize=14067516 CPUtime=0.12 cores=0,2,4,6
/proc/18872/task/18927/stat : 18927 (java) S 18869 18872 13007 0 -1 1077944384 1813 12292 0 0 4 0 6 2 20 0 15 0 85174491 14405136384 96500 18446744073709551615 4194304 4196468 140734796156912 139621777799536 139622299372162 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18928] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18928/stat : 18928 (java) S 18869 18872 13007 0 -1 1077944384 56 12292 0 0 0 0 6 2 20 0 15 0 85174492 14405136384 96500 18446744073709551615 4194304 4196468 140734796156912 139621776745568 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18929] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18929/stat : 18929 (java) S 18869 18872 13007 0 -1 1077944384 45 12292 0 0 0 0 6 2 20 0 15 0 85174492 14405136384 96500 18446744073709551615 4194304 4196468 140734796156912 139621775692672 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18930] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18930/stat : 18930 (java) S 18869 18872 13007 0 -1 1077944384 3 12292 0 0 0 0 6 2 20 0 15 0 85174494 14405136384 96500 18446744073709551615 4194304 4196468 140734796156912 139621774640976 139622299379611 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18931] ppid=18869 vsize=14067516 CPUtime=2.75 cores=0,2,4,6
/proc/18872/task/18931/stat : 18931 (java) R 18869 18872 13007 0 -1 4202560 9118 12292 0 0 265 2 6 2 20 0 15 0 85174494 14405136384 96500 18446744073709551615 4194304 4196468 140734796156912 139621773575520 139622284285302 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18932] ppid=18869 vsize=14067516 CPUtime=2.17 cores=0,2,4,6
/proc/18872/task/18932/stat : 18932 (java) S 18869 18872 13007 0 -1 1077944384 2424 12292 0 0 208 1 6 2 20 0 15 0 85174494 14405136384 96500 18446744073709551615 4194304 4196468 140734796156912 139621772536560 139622299372162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18933] ppid=18869 vsize=14067516 CPUtime=1.85 cores=0,2,4,6
/proc/18872/task/18933/stat : 18933 (java) S 18869 18872 13007 0 -1 1077944384 5676 12292 0 0 175 2 6 2 20 0 15 0 85174494 14405136384 96500 18446744073709551615 4194304 4196468 140734796156912 139621771483760 139622299372162 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18934] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18934/stat : 18934 (java) S 18869 18872 13007 0 -1 1077944384 3 12292 0 0 0 0 6 2 20 0 15 0 85174495 14405136384 96500 18446744073709551615 4194304 4196468 140734796156912 139621770431200 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18935] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18935/stat : 18935 (java) S 18869 18872 13007 0 -1 1077944384 12 12292 0 0 0 0 6 2 20 0 15 0 85174497 14405136384 96500 18446744073709551615 4194304 4196468 140734796156912 139621769378480 139622299372162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
Current children cumulated CPU time (s) 11.78
Current children cumulated vsize (KiB) 14067516

[startup+5.40063 s]
/proc/loadavg: 2.31 1.77 1.55 6/217 18951
/proc/meminfo: memFree=30377304/32770624 swapFree=0/459208
[pid=18872] ppid=18869 vsize=14067516 CPUtime=12.36 cores=0,2,4,6
/proc/18872/stat : 18872 (java) S 18869 18872 13007 0 -1 1077944320 66936 12292 0 0 1205 23 6 2 20 0 15 0 85174470 14405136384 98152 18446744073709551615 4194304 4196468 140734796156912 140734796139456 139622299361015 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
/proc/18872/statm: 3516879 98152 3465 1 0 3505493 0
[pid=18872/tid=18922] ppid=18869 vsize=14067516 CPUtime=4.94 cores=0,2,4,6
/proc/18872/task/18922/stat : 18922 (java) S 18869 18872 13007 0 -1 1077944384 44971 12292 0 0 474 12 6 2 20 0 15 0 85174489 14405136384 98152 18446744073709551615 4194304 4196468 140734796156912 139622303598736 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18923] ppid=18869 vsize=14067516 CPUtime=0.24 cores=0,2,4,6
/proc/18872/task/18923/stat : 18923 (java) S 18869 18872 13007 0 -1 1077944384 252 12292 0 0 15 1 6 2 20 0 15 0 85174490 14405136384 98152 18446744073709551615 4194304 4196468 140734796156912 139622218775696 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18924] ppid=18869 vsize=14067516 CPUtime=0.22 cores=0,2,4,6
/proc/18872/task/18924/stat : 18924 (java) S 18869 18872 13007 0 -1 1077944384 88 12292 0 0 14 0 6 2 20 0 15 0 85174490 14405136384 98152 18446744073709551615 4194304 4196468 140734796156912 139622217722896 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18925] ppid=18869 vsize=14067516 CPUtime=0.23 cores=0,2,4,6
/proc/18872/task/18925/stat : 18925 (java) S 18869 18872 13007 0 -1 1077944384 72 12292 0 0 15 0 6 2 20 0 15 0 85174490 14405136384 98152 18446744073709551615 4194304 4196468 140734796156912 139622216670096 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18926] ppid=18869 vsize=14067516 CPUtime=0.24 cores=0,2,4,6
/proc/18872/task/18926/stat : 18926 (java) S 18869 18872 13007 0 -1 1077944384 182 12292 0 0 16 0 6 2 20 0 15 0 85174490 14405136384 98152 18446744073709551615 4194304 4196468 140734796156912 139622215617296 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18927] ppid=18869 vsize=14067516 CPUtime=0.18 cores=0,2,4,6
/proc/18872/task/18927/stat : 18927 (java) R 18869 18872 13007 0 -1 1077944384 1851 12292 0 0 10 0 6 2 20 0 15 0 85174491 14405136384 98152 18446744073709551615 4194304 4196468 140734796156912 139621777799536 139622299372162 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18928] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18928/stat : 18928 (java) S 18869 18872 13007 0 -1 1077944384 56 12292 0 0 0 0 6 2 20 0 15 0 85174492 14405136384 98152 18446744073709551615 4194304 4196468 140734796156912 139621776745104 139622299372162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18929] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18929/stat : 18929 (java) S 18869 18872 13007 0 -1 1077944384 45 12292 0 0 0 0 6 2 20 0 15 0 85174492 14405136384 98152 18446744073709551615 4194304 4196468 140734796156912 139621775692672 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18930] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18930/stat : 18930 (java) S 18869 18872 13007 0 -1 1077944384 3 12292 0 0 0 0 6 2 20 0 15 0 85174494 14405136384 98152 18446744073709551615 4194304 4196468 140734796156912 139621774640976 139622299379611 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18931] ppid=18869 vsize=14067516 CPUtime=2.79 cores=0,2,4,6
/proc/18872/task/18931/stat : 18931 (java) R 18869 18872 13007 0 -1 4202560 9131 12292 0 0 269 2 6 2 20 0 15 0 85174494 14405136384 98152 18446744073709551615 4194304 4196468 140734796156912 139621773573520 139622284045434 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18932] ppid=18869 vsize=14067516 CPUtime=2.18 cores=0,2,4,6
/proc/18872/task/18932/stat : 18932 (java) R 18869 18872 13007 0 -1 4202560 2428 12292 0 0 209 1 6 2 20 0 15 0 85174494 14405136384 98152 18446744073709551615 4194304 4196468 140734796156912 139621772516800 139622279197353 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18933] ppid=18869 vsize=14067516 CPUtime=1.86 cores=0,2,4,6
/proc/18872/task/18933/stat : 18933 (java) S 18869 18872 13007 0 -1 1077944384 5688 12292 0 0 176 2 6 2 20 0 15 0 85174494 14405136384 98152 18446744073709551615 4194304 4196468 140734796156912 139621771483760 139622299372162 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18934] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18934/stat : 18934 (java) S 18869 18872 13007 0 -1 1077944384 3 12292 0 0 0 0 6 2 20 0 15 0 85174495 14405136384 98152 18446744073709551615 4194304 4196468 140734796156912 139621770431200 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18935] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18935/stat : 18935 (java) S 18869 18872 13007 0 -1 1077944384 12 12292 0 0 0 0 6 2 20 0 15 0 85174497 14405136384 98152 18446744073709551615 4194304 4196468 140734796156912 139621769378480 139622299372162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 14067516

[startup+5.50237 s]
/proc/loadavg: 2.31 1.77 1.55 6/217 18951
/proc/meminfo: memFree=30288372/32770624 swapFree=0/459208
[pid=18872] ppid=18869 vsize=14067516 CPUtime=12.62 cores=0,2,4,6
/proc/18872/stat : 18872 (java) S 18869 18872 13007 0 -1 1077944320 67236 12292 0 0 1231 23 6 2 20 0 15 0 85174470 14405136384 97126 18446744073709551615 4194304 4196468 140734796156912 140734796139456 139622299361015 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
/proc/18872/statm: 3516879 97126 3466 1 0 3505493 0
[pid=18872/tid=18922] ppid=18869 vsize=14067516 CPUtime=4.99 cores=0,2,4,6
/proc/18872/task/18922/stat : 18922 (java) R 18869 18872 13007 0 -1 4202560 45023 12292 0 0 478 13 6 2 20 0 15 0 85174489 14405136384 97126 18446744073709551615 4194304 4196468 140734796156912 139622303593600 139621887509520 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18923] ppid=18869 vsize=14067516 CPUtime=0.27 cores=0,2,4,6
/proc/18872/task/18923/stat : 18923 (java) S 18869 18872 13007 0 -1 1077944384 255 12292 0 0 18 1 6 2 20 0 15 0 85174490 14405136384 97126 18446744073709551615 4194304 4196468 140734796156912 139622218775696 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18924] ppid=18869 vsize=14067516 CPUtime=0.25 cores=0,2,4,6
/proc/18872/task/18924/stat : 18924 (java) S 18869 18872 13007 0 -1 1077944384 88 12292 0 0 17 0 6 2 20 0 15 0 85174490 14405136384 97126 18446744073709551615 4194304 4196468 140734796156912 139622217722896 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18925] ppid=18869 vsize=14067516 CPUtime=0.26 cores=0,2,4,6
/proc/18872/task/18925/stat : 18925 (java) S 18869 18872 13007 0 -1 1077944384 77 12292 0 0 18 0 6 2 20 0 15 0 85174490 14405136384 97126 18446744073709551615 4194304 4196468 140734796156912 139622216670096 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18926] ppid=18869 vsize=14067516 CPUtime=0.27 cores=0,2,4,6
/proc/18872/task/18926/stat : 18926 (java) S 18869 18872 13007 0 -1 1077944384 193 12292 0 0 19 0 6 2 20 0 15 0 85174490 14405136384 97126 18446744073709551615 4194304 4196468 140734796156912 139622215617296 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18927] ppid=18869 vsize=14067516 CPUtime=0.21 cores=0,2,4,6
/proc/18872/task/18927/stat : 18927 (java) S 18869 18872 13007 0 -1 1077944384 1939 12292 0 0 13 0 6 2 20 0 15 0 85174491 14405136384 97126 18446744073709551615 4194304 4196468 140734796156912 139621777799536 139622299372162 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18928] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18928/stat : 18928 (java) S 18869 18872 13007 0 -1 1077944384 56 12292 0 0 0 0 6 2 20 0 15 0 85174492 14405136384 97126 18446744073709551615 4194304 4196468 140734796156912 139621776745568 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18929] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18929/stat : 18929 (java) S 18869 18872 13007 0 -1 1077944384 45 12292 0 0 0 0 6 2 20 0 15 0 85174492 14405136384 97126 18446744073709551615 4194304 4196468 140734796156912 139621775692672 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18930] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18930/stat : 18930 (java) S 18869 18872 13007 0 -1 1077944384 3 12292 0 0 0 0 6 2 20 0 15 0 85174494 14405136384 97126 18446744073709551615 4194304 4196468 140734796156912 139621774640976 139622299379611 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18931] ppid=18869 vsize=14067516 CPUtime=2.81 cores=0,2,4,6
/proc/18872/task/18931/stat : 18931 (java) R 18869 18872 13007 0 -1 4202560 9171 12292 0 0 271 2 6 2 20 0 15 0 85174494 14405136384 97126 18446744073709551615 4194304 4196468 140734796156912 139621773589360 139622280888695 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18932] ppid=18869 vsize=14067516 CPUtime=2.23 cores=0,2,4,6
/proc/18872/task/18932/stat : 18932 (java) R 18869 18872 13007 0 -1 4202560 2527 12292 0 0 214 1 6 2 20 0 15 0 85174494 14405136384 97126 18446744073709551615 4194304 4196468 140734796156912 139621772527840 139622284478123 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18933] ppid=18869 vsize=14067516 CPUtime=1.87 cores=0,2,4,6
/proc/18872/task/18933/stat : 18933 (java) R 18869 18872 13007 0 -1 1077944384 5690 12292 0 0 177 2 6 2 20 0 15 0 85174494 14405136384 97126 18446744073709551615 4194304 4196468 140734796156912 139621771475360 139622299371221 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18934] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18934/stat : 18934 (java) S 18869 18872 13007 0 -1 1077944384 3 12292 0 0 0 0 6 2 20 0 15 0 85174495 14405136384 97126 18446744073709551615 4194304 4196468 140734796156912 139621770431200 139622299371221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
[pid=18872/tid=18935] ppid=18869 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/18872/task/18935/stat : 18935 (java) S 18869 18872 13007 0 -1 1077944384 12 12292 0 0 0 0 6 2 20 0 15 0 85174497 14405136384 97126 18446744073709551615 4194304 4196468 140734796156912 139621769378480 139622299372162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11251712 140734796158928 140734796161713 140734796161713 140734796165071 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 14067516

Child status: 0
Real time (s): 5.56016
CPU time (s): 12.7515
CPU user time (s): 12.4778
CPU system time (s): 0.273733
CPU usage (%): 229.337
Max. virtual memory (cumulated for all children) (KiB): 14069952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4778
system time used= 0.273733
maximum resident set size= 393008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79808
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= 7476
involuntary context switches= 102

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024256 second user time and 0.042449 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-23-sum.xml
MD5SUM	0997a7a078e28dc29749c8fbf3dd0f9a
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.484846
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	4
Maximum variable degree	11
Distribution of variable degrees	[{"degree":4,"count":12},{"degree":5,"count":81},{"degree":6,"count":72},{"degree":7,"count":105},{"degree":8,"count":111},{"degree":9,"count":84},{"degree":10,"count":75},{"degree":11,"count":60}]
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 4262617

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
