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.6945	5.4570599
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-4262616-1502432630/watcher-4262616-1502432630 -o /tmp/evaluation-result-4262616-1502432630/solver-4262616-1502432630 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4885 --watchdog 2580 bin/concrete HOME/instance-4262616-1502432630.xml 

pid=10576
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.38 3.32 2.61 3/198 10579
/proc/meminfo: memFree=28267916/32770624 swapFree=0/431672
[pid=10579] ppid=10576 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10579/stat : 10579 (runsolver) D 10576 10579 4821 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 91078279 24240128 107 18446744073709551615 4194304 4338465 140731005571712 140731005569352 140379530777303 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 37502976 140731005579473 140731005579849 140731005579849 140731005583306 0
/proc/10579/statm: 5918 107 54 36 0 2156 0

[startup+0.100134 s]
/proc/loadavg: 2.38 3.32 2.61 3/198 10579
/proc/meminfo: memFree=28267916/32770624 swapFree=0/431672
[pid=10579] ppid=10576 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/10579/stat : 10579 (bash) S 10576 10579 4821 0 -1 4202496 891 6477 0 0 0 0 0 1 20 0 1 0 91078279 9867264 377 18446744073709551615 4194304 5098028 140722651025952 140722651019960 140237128449024 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 5 0 0 7196144 7232144 18022400 140722651030036 140722651030121 140722651030121 140722651033578 0
/proc/10579/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200327 s]
/proc/loadavg: 2.38 3.32 2.61 3/198 10579
/proc/meminfo: memFree=28267916/32770624 swapFree=0/431672
[pid=10579] ppid=10576 vsize=356956 CPUtime=0.08 cores=1,3,5,7
/proc/10579/stat : 10579 (java) S 10576 10579 4821 0 -1 1077944320 2591 12452 0 0 0 0 5 3 20 0 2 0 91078279 365522944 1882 18446744073709551615 4194304 4196468 140722810048864 140722810031408 139683528773367 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
/proc/10579/statm: 89239 1946 1089 1 0 79209 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 356956

[startup+0.300293 s]
/proc/loadavg: 2.38 3.32 2.61 3/198 10579
/proc/meminfo: memFree=28267916/32770624 swapFree=0/431672
[pid=10579] ppid=10576 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/10579/stat : 10579 (java) S 10576 10579 4821 0 -1 1077944320 5820 12452 0 0 5 1 5 3 20 0 14 0 91078279 14241083392 5498 18446744073709551615 4194304 4196468 140722810048864 140722810031408 139683528773367 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
/proc/10579/statm: 3476827 5498 2570 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.700242 s]
/proc/loadavg: 2.38 3.32 2.61 3/198 10579
/proc/meminfo: memFree=28267916/32770624 swapFree=0/431672
[pid=10579] ppid=10576 vsize=13974784 CPUtime=0.7 cores=1,3,5,7
/proc/10579/stat : 10579 (java) S 10576 10579 4821 0 -1 1077944320 14004 12452 0 0 58 4 5 3 20 0 15 0 91078279 14310178816 14865 18446744073709551615 4194304 4196468 140722810048864 140722810031408 139683528773367 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
/proc/10579/statm: 3493696 14865 3091 1 0 3482965 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784

[startup+1.50062 s]
/proc/loadavg: 2.38 3.32 2.61 4/213 10642
/proc/meminfo: memFree=28171052/32770624 swapFree=0/432152
[pid=10579] ppid=10576 vsize=13985408 CPUtime=1.92 cores=1,3,5,7
/proc/10579/stat : 10579 (java) S 10576 10579 4821 0 -1 1077944320 29757 12452 0 0 175 9 5 3 20 0 15 0 91078279 14321057792 42796 18446744073709551615 4194304 4196468 140722810048864 140722810031408 139683528773367 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
/proc/10579/statm: 3496352 42796 3375 1 0 3485525 0
[pid=10579/tid=10629] ppid=10576 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/10579/task/10629/stat : 10629 (java) S 10576 10579 4821 0 -1 1077944384 22710 12452 0 0 116 5 5 3 20 0 15 0 91078298 14321057792 42796 18446744073709551615 4194304 4196468 140722810048864 139683532997120 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10630] ppid=10576 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10630/stat : 10630 (java) R 10576 10579 4821 0 -1 1077944384 57 12452 0 0 1 0 5 3 20 0 15 0 91078299 14321057792 42799 18446744073709551615 4194304 4196468 140722810048864 139683485739792 139683528783573 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10631] ppid=10576 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10631/stat : 10631 (java) S 10576 10579 4821 0 -1 1077944384 38 12452 0 0 1 0 5 3 20 0 15 0 91078299 14321057792 42799 18446744073709551615 4194304 4196468 140722810048864 139683484687248 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10632] ppid=10576 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10632/stat : 10632 (java) S 10576 10579 4821 0 -1 1077944384 188 12452 0 0 1 0 5 3 20 0 15 0 91078299 14321057792 42799 18446744073709551615 4194304 4196468 140722810048864 139683483634704 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10633] ppid=10576 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10633/stat : 10633 (java) S 10576 10579 4821 0 -1 1077944384 70 12452 0 0 1 0 5 3 20 0 15 0 91078299 14321057792 42799 18446744073709551615 4194304 4196468 140722810048864 139683482582160 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10634] ppid=10576 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10634/stat : 10634 (java) R 10576 10579 4821 0 -1 4202560 1585 12452 0 0 0 0 5 3 20 0 15 0 91078300 14321057792 42801 18446744073709551615 4194304 4196468 140722810048864 139683006767648 139683521062816 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10635] ppid=10576 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10635/stat : 10635 (java) S 10576 10579 4821 0 -1 1077944384 34 12452 0 0 0 0 5 3 20 0 15 0 91078301 14321057792 42801 18446744073709551615 4194304 4196468 140722810048864 139683005715360 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10636] ppid=10576 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10636/stat : 10636 (java) S 10576 10579 4821 0 -1 1077944384 21 12452 0 0 0 0 5 3 20 0 15 0 91078301 14321057792 42801 18446744073709551615 4194304 4196468 140722810048864 139683004662768 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10637] ppid=10576 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10637/stat : 10637 (java) S 10576 10579 4821 0 -1 1077944384 3 12452 0 0 0 0 5 3 20 0 15 0 91078304 14321057792 42801 18446744073709551615 4194304 4196468 140722810048864 139683003611344 139683528791963 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10638] ppid=10576 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/10579/task/10638/stat : 10638 (java) S 10576 10579 4821 0 -1 1077944384 924 12452 0 0 15 0 5 3 20 0 15 0 91078304 14321057792 42801 18446744073709551615 4194304 4196468 140722810048864 139683002558960 139683528784514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10639] ppid=10576 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/10579/task/10639/stat : 10639 (java) S 10576 10579 4821 0 -1 1077944384 694 12452 0 0 14 0 5 3 20 0 15 0 91078304 14321057792 42801 18446744073709551615 4194304 4196468 140722810048864 139683001506416 139683528784514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10640] ppid=10576 vsize=13985408 CPUtime=0.31 cores=1,3,5,7
/proc/10579/task/10640/stat : 10640 (java) S 10576 10579 4821 0 -1 1077944384 1343 12452 0 0 23 0 5 3 20 0 15 0 91078304 14321057792 42801 18446744073709551615 4194304 4196468 140722810048864 139683000449744 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10641] ppid=10576 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10641/stat : 10641 (java) S 10576 10579 4821 0 -1 1077944384 3 12452 0 0 0 0 5 3 20 0 15 0 91078304 14321057792 42801 18446744073709551615 4194304 4196468 140722810048864 139682999401568 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10642] ppid=10576 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10642/stat : 10642 (java) S 10576 10579 4821 0 -1 1077944384 8 12452 0 0 0 0 5 3 20 0 15 0 91078309 14321057792 42801 18446744073709551615 4194304 4196468 140722810048864 139682998348080 139683528784514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 13985408

[startup+3.10108 s]
/proc/loadavg: 2.38 3.32 2.61 4/213 10642
/proc/meminfo: memFree=28099452/32770624 swapFree=0/432152
[pid=10579] ppid=10576 vsize=13995836 CPUtime=5.76 cores=1,3,5,7
/proc/10579/stat : 10579 (java) S 10576 10579 4821 0 -1 1077944320 41394 12452 0 0 554 14 5 3 20 0 15 0 91078279 14331736064 57545 18446744073709551615 4194304 4196468 140722810048864 140722810031408 139683528773367 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
/proc/10579/statm: 3498959 57545 3452 1 0 3487573 0
[pid=10579/tid=10629] ppid=10576 vsize=13995836 CPUtime=2.89 cores=1,3,5,7
/proc/10579/task/10629/stat : 10629 (java) R 10576 10579 4821 0 -1 4202560 28969 12452 0 0 273 8 5 3 20 0 15 0 91078298 14331736064 57545 18446744073709551615 4194304 4196468 140722810048864 139683533001664 139683168008336 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10630] ppid=10576 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10630/stat : 10630 (java) S 10576 10579 4821 0 -1 1077944384 57 12452 0 0 1 0 5 3 20 0 15 0 91078299 14331736064 57545 18446744073709551615 4194304 4196468 140722810048864 139683485739792 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10631] ppid=10576 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10631/stat : 10631 (java) S 10576 10579 4821 0 -1 1077944384 38 12452 0 0 1 0 5 3 20 0 15 0 91078299 14331736064 57545 18446744073709551615 4194304 4196468 140722810048864 139683484687248 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10632] ppid=10576 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10632/stat : 10632 (java) S 10576 10579 4821 0 -1 1077944384 188 12452 0 0 1 0 5 3 20 0 15 0 91078299 14331736064 57545 18446744073709551615 4194304 4196468 140722810048864 139683483634704 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10633] ppid=10576 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10633/stat : 10633 (java) S 10576 10579 4821 0 -1 1077944384 70 12452 0 0 1 0 5 3 20 0 15 0 91078299 14331736064 57545 18446744073709551615 4194304 4196468 140722810048864 139683482582160 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10634] ppid=10576 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10634/stat : 10634 (java) S 10576 10579 4821 0 -1 1077944384 1720 12452 0 0 1 0 5 3 20 0 15 0 91078300 14331736064 57545 18446744073709551615 4194304 4196468 140722810048864 139683006769136 139683528784514 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10635] ppid=10576 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10635/stat : 10635 (java) S 10576 10579 4821 0 -1 1077944384 56 12452 0 0 0 0 5 3 20 0 15 0 91078301 14331736064 57545 18446744073709551615 4194304 4196468 140722810048864 139683005715424 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10636] ppid=10576 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10636/stat : 10636 (java) S 10576 10579 4821 0 -1 1077944384 44 12452 0 0 0 0 5 3 20 0 15 0 91078301 14331736064 57545 18446744073709551615 4194304 4196468 140722810048864 139683004662784 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10637] ppid=10576 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10637/stat : 10637 (java) S 10576 10579 4821 0 -1 1077944384 3 12452 0 0 0 0 5 3 20 0 15 0 91078304 14331736064 57545 18446744073709551615 4194304 4196468 140722810048864 139683003611344 139683528791963 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10638] ppid=10576 vsize=13995836 CPUtime=0.94 cores=1,3,5,7
/proc/10579/task/10638/stat : 10638 (java) R 10576 10579 4821 0 -1 4202560 2229 12452 0 0 86 0 5 3 20 0 15 0 91078304 14331736064 57545 18446744073709551615 4194304 4196468 140722810048864 139683002545504 139683513695134 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10639] ppid=10576 vsize=13995836 CPUtime=0.95 cores=1,3,5,7
/proc/10579/task/10639/stat : 10639 (java) R 10576 10579 4821 0 -1 4202560 1893 12452 0 0 86 1 5 3 20 0 15 0 91078304 14331736064 57545 18446744073709551615 4194304 4196468 140722810048864 139683001484944 139683509952461 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10640] ppid=10576 vsize=13995836 CPUtime=1.1 cores=1,3,5,7
/proc/10579/task/10640/stat : 10640 (java) S 10576 10579 4821 0 -1 1077944384 3963 12452 0 0 101 1 5 3 20 0 15 0 91078304 14331736064 57545 18446744073709551615 4194304 4196468 140722810048864 139683000453872 139683528784514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10641] ppid=10576 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10641/stat : 10641 (java) S 10576 10579 4821 0 -1 1077944384 3 12452 0 0 0 0 5 3 20 0 15 0 91078304 14331736064 57545 18446744073709551615 4194304 4196468 140722810048864 139682999401568 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10642] ppid=10576 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10642/stat : 10642 (java) S 10576 10579 4821 0 -1 1077944384 11 12452 0 0 0 0 5 3 20 0 15 0 91078309 14331736064 57545 18446744073709551615 4194304 4196468 140722810048864 139682998348080 139683528784514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 13995836

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

[startup+3.20104 s]
/proc/loadavg: 2.38 3.32 2.61 4/213 10642
/proc/meminfo: memFree=28099452/32770624 swapFree=0/432152
[pid=10579] ppid=10576 vsize=13997884 CPUtime=6.11 cores=1,3,5,7
/proc/10579/stat : 10579 (java) S 10576 10579 4821 0 -1 1077944320 41768 12452 0 0 589 14 5 3 20 0 15 0 91078279 14333833216 58898 18446744073709551615 4194304 4196468 140722810048864 140722810031408 139683528773367 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
/proc/10579/statm: 3499471 58898 3452 1 0 3488085 0
[pid=10579/tid=10629] ppid=10576 vsize=13997884 CPUtime=2.99 cores=1,3,5,7
/proc/10579/task/10629/stat : 10629 (java) R 10576 10579 4821 0 -1 4202560 29150 12452 0 0 283 8 5 3 20 0 15 0 91078298 14333833216 58898 18446744073709551615 4194304 4196468 140722810048864 139683533003744 139683168670170 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10630] ppid=10576 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10630/stat : 10630 (java) S 10576 10579 4821 0 -1 1077944384 57 12452 0 0 1 0 5 3 20 0 15 0 91078299 14333833216 58898 18446744073709551615 4194304 4196468 140722810048864 139683485739792 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10631] ppid=10576 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10631/stat : 10631 (java) S 10576 10579 4821 0 -1 1077944384 38 12452 0 0 1 0 5 3 20 0 15 0 91078299 14333833216 58898 18446744073709551615 4194304 4196468 140722810048864 139683484687248 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10632] ppid=10576 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10632/stat : 10632 (java) S 10576 10579 4821 0 -1 1077944384 188 12452 0 0 1 0 5 3 20 0 15 0 91078299 14333833216 58898 18446744073709551615 4194304 4196468 140722810048864 139683483634704 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10633] ppid=10576 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10633/stat : 10633 (java) S 10576 10579 4821 0 -1 1077944384 70 12452 0 0 1 0 5 3 20 0 15 0 91078299 14333833216 58898 18446744073709551615 4194304 4196468 140722810048864 139683482582160 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10634] ppid=10576 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10634/stat : 10634 (java) S 10576 10579 4821 0 -1 1077944384 1720 12452 0 0 1 0 5 3 20 0 15 0 91078300 14333833216 58898 18446744073709551615 4194304 4196468 140722810048864 139683006769136 139683528784514 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10635] ppid=10576 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10635/stat : 10635 (java) S 10576 10579 4821 0 -1 1077944384 56 12452 0 0 0 0 5 3 20 0 15 0 91078301 14333833216 58898 18446744073709551615 4194304 4196468 140722810048864 139683005715424 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10636] ppid=10576 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10636/stat : 10636 (java) S 10576 10579 4821 0 -1 1077944384 44 12452 0 0 0 0 5 3 20 0 15 0 91078301 14333833216 58898 18446744073709551615 4194304 4196468 140722810048864 139683004662784 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10637] ppid=10576 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10637/stat : 10637 (java) S 10576 10579 4821 0 -1 1077944384 3 12452 0 0 0 0 5 3 20 0 15 0 91078304 14333833216 59410 18446744073709551615 4194304 4196468 140722810048864 139683003611344 139683528791963 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10638] ppid=10576 vsize=13997884 CPUtime=1.04 cores=1,3,5,7
/proc/10579/task/10638/stat : 10638 (java) R 10576 10579 4821 0 -1 4202560 2265 12452 0 0 96 0 5 3 20 0 15 0 91078304 14333833216 59410 18446744073709551615 4194304 4196468 140722810048864 139683002545584 139683510291242 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10639] ppid=10576 vsize=13997884 CPUtime=1.05 cores=1,3,5,7
/proc/10579/task/10639/stat : 10639 (java) R 10576 10579 4821 0 -1 4202560 1919 12452 0 0 96 1 5 3 20 0 15 0 91078304 14333833216 59410 18446744073709551615 4194304 4196468 140722810048864 139683001488256 139683512676243 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10640] ppid=10576 vsize=13997884 CPUtime=1.16 cores=1,3,5,7
/proc/10579/task/10640/stat : 10640 (java) R 10576 10579 4821 0 -1 4202560 4094 12452 0 0 107 1 5 3 20 0 15 0 91078304 14333833216 59410 18446744073709551615 4194304 4196468 140722810048864 139683000453872 139683507139694 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10641] ppid=10576 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10641/stat : 10641 (java) S 10576 10579 4821 0 -1 1077944384 3 12452 0 0 0 0 5 3 20 0 15 0 91078304 14333833216 59410 18446744073709551615 4194304 4196468 140722810048864 139682999401568 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10642] ppid=10576 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10642/stat : 10642 (java) S 10576 10579 4821 0 -1 1077944384 11 12452 0 0 0 0 5 3 20 0 15 0 91078309 14333833216 59410 18446744073709551615 4194304 4196468 140722810048864 139682998348080 139683528784514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 13997884

[startup+4.80063 s]
/proc/loadavg: 2.35 3.30 2.61 5/213 10642
/proc/meminfo: memFree=27983552/32770624 swapFree=0/432152
[pid=10579] ppid=10576 vsize=14067516 CPUtime=10.74 cores=1,3,5,7
/proc/10579/stat : 10579 (java) S 10576 10579 4821 0 -1 1077944320 66691 12452 0 0 1044 22 5 3 20 0 15 0 91078279 14405136384 92217 18446744073709551615 4194304 4196468 140722810048864 140722810031408 139683528773367 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
/proc/10579/statm: 3516879 92217 3463 1 0 3505493 0
[pid=10579/tid=10629] ppid=10576 vsize=14067516 CPUtime=4.5 cores=1,3,5,7
/proc/10579/task/10629/stat : 10629 (java) R 10576 10579 4821 0 -1 4202560 44056 12452 0 0 433 9 5 3 20 0 15 0 91078298 14405136384 92217 18446744073709551615 4194304 4196468 140722810048864 139683533006496 139683528785302 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10630] ppid=10576 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/10579/task/10630/stat : 10630 (java) S 10576 10579 4821 0 -1 1077944384 80 12452 0 0 4 0 5 3 20 0 15 0 91078299 14405136384 92217 18446744073709551615 4194304 4196468 140722810048864 139683485739792 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10631] ppid=10576 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/10579/task/10631/stat : 10631 (java) S 10576 10579 4821 0 -1 1077944384 107 12452 0 0 4 1 5 3 20 0 15 0 91078299 14405136384 92217 18446744073709551615 4194304 4196468 140722810048864 139683484687248 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10632] ppid=10576 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/10579/task/10632/stat : 10632 (java) S 10576 10579 4821 0 -1 1077944384 230 12452 0 0 4 0 5 3 20 0 15 0 91078299 14405136384 92217 18446744073709551615 4194304 4196468 140722810048864 139683483634704 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10633] ppid=10576 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/10579/task/10633/stat : 10633 (java) S 10576 10579 4821 0 -1 1077944384 100 12452 0 0 4 0 5 3 20 0 15 0 91078299 14405136384 92217 18446744073709551615 4194304 4196468 140722810048864 139683482582160 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10634] ppid=10576 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/10579/task/10634/stat : 10634 (java) S 10576 10579 4821 0 -1 1077944384 2332 12452 0 0 4 0 5 3 20 0 15 0 91078300 14405136384 92217 18446744073709551615 4194304 4196468 140722810048864 139683006769136 139683528784514 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10635] ppid=10576 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10635/stat : 10635 (java) S 10576 10579 4821 0 -1 1077944384 56 12452 0 0 0 0 5 3 20 0 15 0 91078301 14405136384 92217 18446744073709551615 4194304 4196468 140722810048864 139683005715424 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10636] ppid=10576 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10636/stat : 10636 (java) S 10576 10579 4821 0 -1 1077944384 44 12452 0 0 0 0 5 3 20 0 15 0 91078301 14405136384 92217 18446744073709551615 4194304 4196468 140722810048864 139683004662784 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10637] ppid=10576 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10637/stat : 10637 (java) S 10576 10579 4821 0 -1 1077944384 3 12452 0 0 0 0 5 3 20 0 15 0 91078304 14405136384 92217 18446744073709551615 4194304 4196468 140722810048864 139683003611344 139683528791963 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10638] ppid=10576 vsize=14067516 CPUtime=2.18 cores=1,3,5,7
/proc/10579/task/10638/stat : 10638 (java) R 10576 10579 4821 0 -1 4202560 5440 12452 0 0 209 1 5 3 20 0 15 0 91078304 14405136384 92217 18446744073709551615 4194304 4196468 140722810048864 139683002545144 139683508466471 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10639] ppid=10576 vsize=14067516 CPUtime=2.19 cores=1,3,5,7
/proc/10579/task/10639/stat : 10639 (java) R 10576 10579 4821 0 -1 4202560 5255 12452 0 0 208 3 5 3 20 0 15 0 91078304 14405136384 92217 18446744073709551615 4194304 4196468 140722810048864 139683001495088 139683528794714 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10640] ppid=10576 vsize=14067516 CPUtime=1.79 cores=1,3,5,7
/proc/10579/task/10640/stat : 10640 (java) S 10576 10579 4821 0 -1 1077944384 6823 12452 0 0 168 3 5 3 20 0 15 0 91078304 14405136384 92217 18446744073709551615 4194304 4196468 140722810048864 139683000453872 139683528784514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10641] ppid=10576 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10641/stat : 10641 (java) S 10576 10579 4821 0 -1 1077944384 3 12452 0 0 0 0 5 3 20 0 15 0 91078304 14405136384 92217 18446744073709551615 4194304 4196468 140722810048864 139682999401568 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10642] ppid=10576 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10642/stat : 10642 (java) S 10576 10579 4821 0 -1 1077944384 12 12452 0 0 0 0 5 3 20 0 15 0 91078309 14405136384 92217 18446744073709551615 4194304 4196468 140722810048864 139682998348080 139683528784514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
Current children cumulated CPU time (s) 10.74
Current children cumulated vsize (KiB) 14067516

[startup+5.20064 s]
/proc/loadavg: 2.35 3.30 2.61 5/213 10642
/proc/meminfo: memFree=27983552/32770624 swapFree=0/432152
[pid=10579] ppid=10576 vsize=14067516 CPUtime=12.03 cores=1,3,5,7
/proc/10579/stat : 10579 (java) S 10576 10579 4821 0 -1 1077944320 68730 12452 0 0 1172 23 5 3 20 0 15 0 91078279 14405136384 94921 18446744073709551615 4194304 4196468 140722810048864 140722810031408 139683528773367 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
/proc/10579/statm: 3516879 94921 3464 1 0 3505493 0
[pid=10579/tid=10629] ppid=10576 vsize=14067516 CPUtime=4.83 cores=1,3,5,7
/proc/10579/task/10629/stat : 10629 (java) S 10576 10579 4821 0 -1 1077944384 44109 12452 0 0 466 9 5 3 20 0 15 0 91078298 14405136384 94921 18446744073709551615 4194304 4196468 140722810048864 139683533011088 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10630] ppid=10576 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/10579/task/10630/stat : 10630 (java) R 10576 10579 4821 0 -1 4202560 86 12452 0 0 7 0 5 3 20 0 15 0 91078299 14405136384 94921 18446744073709551615 4194304 4196468 140722810048864 139683485739912 139683521401575 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10631] ppid=10576 vsize=14067516 CPUtime=0.18 cores=1,3,5,7
/proc/10579/task/10631/stat : 10631 (java) R 10576 10579 4821 0 -1 4202560 123 12452 0 0 9 1 5 3 20 0 15 0 91078299 14405136384 94921 18446744073709551615 4194304 4196468 140722810048864 139683484687448 139683513769756 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10632] ppid=10576 vsize=14067516 CPUtime=0.16 cores=1,3,5,7
/proc/10579/task/10632/stat : 10632 (java) R 10576 10579 4821 0 -1 4202560 234 12452 0 0 7 1 5 3 20 0 15 0 91078299 14405136384 94921 18446744073709551615 4194304 4196468 140722810048864 139683483634824 139683521401575 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10633] ppid=10576 vsize=14067516 CPUtime=0.16 cores=1,3,5,7
/proc/10579/task/10633/stat : 10633 (java) R 10576 10579 4821 0 -1 4202560 100 12452 0 0 8 0 5 3 20 0 15 0 91078299 14405136384 94921 18446744073709551615 4194304 4196468 140722810048864 139683482581968 139683521401575 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10634] ppid=10576 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/10579/task/10634/stat : 10634 (java) S 10576 10579 4821 0 -1 1077944384 2334 12452 0 0 6 0 5 3 20 0 15 0 91078300 14405136384 94921 18446744073709551615 4194304 4196468 140722810048864 139683006767760 139683528783573 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10635] ppid=10576 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10635/stat : 10635 (java) S 10576 10579 4821 0 -1 1077944384 56 12452 0 0 0 0 5 3 20 0 15 0 91078301 14405136384 94921 18446744073709551615 4194304 4196468 140722810048864 139683005715488 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10636] ppid=10576 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10636/stat : 10636 (java) S 10576 10579 4821 0 -1 1077944384 44 12452 0 0 0 0 5 3 20 0 15 0 91078301 14405136384 94921 18446744073709551615 4194304 4196468 140722810048864 139683004662784 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10637] ppid=10576 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10637/stat : 10637 (java) S 10576 10579 4821 0 -1 1077944384 3 12452 0 0 0 0 5 3 20 0 15 0 91078304 14405136384 94921 18446744073709551615 4194304 4196468 140722810048864 139683003611344 139683528791963 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10638] ppid=10576 vsize=14067516 CPUtime=2.58 cores=1,3,5,7
/proc/10579/task/10638/stat : 10638 (java) R 10576 10579 4821 0 -1 4202560 7174 12452 0 0 249 1 5 3 20 0 15 0 91078304 14405136384 94921 18446744073709551615 4194304 4196468 140722810048864 139683002544984 139683510295854 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10639] ppid=10576 vsize=14067516 CPUtime=2.5 cores=1,3,5,7
/proc/10579/task/10639/stat : 10639 (java) S 10576 10579 4821 0 -1 1077944384 5349 12452 0 0 239 3 5 3 20 0 15 0 91078304 14405136384 94921 18446744073709551615 4194304 4196468 140722810048864 139683001506416 139683528784514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10640] ppid=10576 vsize=14067516 CPUtime=1.87 cores=1,3,5,7
/proc/10579/task/10640/stat : 10640 (java) S 10576 10579 4821 0 -1 1077944384 6953 12452 0 0 176 3 5 3 20 0 15 0 91078304 14405136384 94921 18446744073709551615 4194304 4196468 140722810048864 139683000453872 139683528784514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10641] ppid=10576 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10641/stat : 10641 (java) S 10576 10579 4821 0 -1 1077944384 3 12452 0 0 0 0 5 3 20 0 15 0 91078304 14405136384 94921 18446744073709551615 4194304 4196468 140722810048864 139682999401568 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10642] ppid=10576 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10642/stat : 10642 (java) S 10576 10579 4821 0 -1 1077944384 12 12452 0 0 0 0 5 3 20 0 15 0 91078309 14405136384 94921 18446744073709551615 4194304 4196468 140722810048864 139682998348080 139683528784514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
Current children cumulated CPU time (s) 12.03
Current children cumulated vsize (KiB) 14067516

[startup+5.40107 s]
/proc/loadavg: 2.35 3.30 2.61 5/213 10642
/proc/meminfo: memFree=27983552/32770624 swapFree=0/432152
[pid=10579] ppid=10576 vsize=14067516 CPUtime=12.57 cores=1,3,5,7
/proc/10579/stat : 10579 (java) S 10576 10579 4821 0 -1 1077944320 68880 12452 0 0 1226 23 5 3 20 0 15 0 91078279 14405136384 93746 18446744073709551615 4194304 4196468 140722810048864 140722810031408 139683528773367 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
/proc/10579/statm: 3516879 93746 3465 1 0 3505493 0
[pid=10579/tid=10629] ppid=10576 vsize=14067516 CPUtime=4.86 cores=1,3,5,7
/proc/10579/task/10629/stat : 10629 (java) R 10576 10579 4821 0 -1 4202560 44168 12452 0 0 469 9 5 3 20 0 15 0 91078298 14405136384 93746 18446744073709551615 4194304 4196468 140722810048864 139683533004472 139683176388956 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10630] ppid=10576 vsize=14067516 CPUtime=0.23 cores=1,3,5,7
/proc/10579/task/10630/stat : 10630 (java) S 10576 10579 4821 0 -1 1077944384 90 12452 0 0 15 0 5 3 20 0 15 0 91078299 14405136384 93746 18446744073709551615 4194304 4196468 140722810048864 139683485739792 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10631] ppid=10576 vsize=14067516 CPUtime=0.27 cores=1,3,5,7
/proc/10579/task/10631/stat : 10631 (java) S 10576 10579 4821 0 -1 1077944384 135 12452 0 0 18 1 5 3 20 0 15 0 91078299 14405136384 93746 18446744073709551615 4194304 4196468 140722810048864 139683484687248 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10632] ppid=10576 vsize=14067516 CPUtime=0.24 cores=1,3,5,7
/proc/10579/task/10632/stat : 10632 (java) S 10576 10579 4821 0 -1 1077944384 235 12452 0 0 15 1 5 3 20 0 15 0 91078299 14405136384 93746 18446744073709551615 4194304 4196468 140722810048864 139683483634704 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10633] ppid=10576 vsize=14067516 CPUtime=0.23 cores=1,3,5,7
/proc/10579/task/10633/stat : 10633 (java) S 10576 10579 4821 0 -1 1077944384 105 12452 0 0 15 0 5 3 20 0 15 0 91078299 14405136384 93746 18446744073709551615 4194304 4196468 140722810048864 139683482582160 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10634] ppid=10576 vsize=14067516 CPUtime=0.21 cores=1,3,5,7
/proc/10579/task/10634/stat : 10634 (java) S 10576 10579 4821 0 -1 1077944384 2338 12452 0 0 13 0 5 3 20 0 15 0 91078300 14405136384 93746 18446744073709551615 4194304 4196468 140722810048864 139683006769136 139683528784514 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10635] ppid=10576 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10635/stat : 10635 (java) S 10576 10579 4821 0 -1 1077944384 57 12452 0 0 0 0 5 3 20 0 15 0 91078301 14405136384 93746 18446744073709551615 4194304 4196468 140722810048864 139683005715488 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10636] ppid=10576 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10636/stat : 10636 (java) S 10576 10579 4821 0 -1 1077944384 44 12452 0 0 0 0 5 3 20 0 15 0 91078301 14405136384 93746 18446744073709551615 4194304 4196468 140722810048864 139683004662784 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10637] ppid=10576 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10637/stat : 10637 (java) S 10576 10579 4821 0 -1 1077944384 3 12452 0 0 0 0 5 3 20 0 15 0 91078304 14405136384 93746 18446744073709551615 4194304 4196468 140722810048864 139683003611344 139683528791963 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10638] ppid=10576 vsize=14067516 CPUtime=2.68 cores=1,3,5,7
/proc/10579/task/10638/stat : 10638 (java) S 10576 10579 4821 0 -1 1077944384 7234 12452 0 0 259 1 5 3 20 0 15 0 91078304 14405136384 93746 18446744073709551615 4194304 4196468 140722810048864 139683002558960 139683528784514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10639] ppid=10576 vsize=14067516 CPUtime=2.5 cores=1,3,5,7
/proc/10579/task/10639/stat : 10639 (java) R 10576 10579 4821 0 -1 4202560 5349 12452 0 0 239 3 5 3 20 0 15 0 91078304 14405136384 93746 18446744073709551615 4194304 4196468 140722810048864 139683001504816 139683513176530 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10640] ppid=10576 vsize=14067516 CPUtime=1.89 cores=1,3,5,7
/proc/10579/task/10640/stat : 10640 (java) R 10576 10579 4821 0 -1 4202560 6957 12452 0 0 177 4 5 3 20 0 15 0 91078304 14405136384 93746 18446744073709551615 4194304 4196468 140722810048864 139683000448912 139683528794714 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10641] ppid=10576 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10641/stat : 10641 (java) S 10576 10579 4821 0 -1 1077944384 3 12452 0 0 0 0 5 3 20 0 15 0 91078304 14405136384 93746 18446744073709551615 4194304 4196468 140722810048864 139682999401568 139683528783573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
[pid=10579/tid=10642] ppid=10576 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10642/stat : 10642 (java) S 10576 10579 4821 0 -1 1077944384 12 12452 0 0 0 0 5 3 20 0 15 0 91078309 14405136384 93746 18446744073709551615 4194304 4196468 140722810048864 139682998348080 139683528784514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30846976 140722810050512 140722810053297 140722810053297 140722810056655 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 14067516

Child status: 0
Real time (s): 5.45706
CPU time (s): 12.6945
CPU user time (s): 12.4112
CPU system time (s): 0.283234
CPU usage (%): 232.625
Max. virtual memory (cumulated for all children) (KiB): 14070228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4112
system time used= 0.283234
maximum resident set size= 379928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81509
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= 7726
involuntary context switches= 1022

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029718 second user time and 0.034272 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-13-sum.xml
MD5SUM	9d400fd9505b31c2b1343f5ecc4e80ca
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.217912
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":6},{"degree":5,"count":27},{"degree":6,"count":93},{"degree":7,"count":138},{"degree":8,"count":138},{"degree":9,"count":105},{"degree":10,"count":57},{"degree":11,"count":33}]
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 4262616

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
