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

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: sat4j-CSP 2017-07-05	?		1218.87	215.78

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-4243283-1500669538/watcher-4243283-1500669538 -o /tmp/evaluation-result-4243283-1500669538/solver-4243283-1500669538 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500669538-5817 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243283-1500669538.xml 

pid=5843
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 1.78 1.97 2.03 3/251 5855
/proc/meminfo: memFree=32136508/32770624 swapFree=5792/30244
[pid=5855] ppid=5843 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/stat : 5855 (java) S 5843 5855 2471 0 -1 1077944320 2102 0 0 0 0 0 0 0 20 0 2 0 2221146 8550137856 2329 33554432000 4194304 4196468 140724267932416 140724267914960 140681442356983 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
/proc/5855/statm: 2087436 2329 1197 1 0 2076347 0
[pid=5855/tid=5856] ppid=5843 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5856/stat : 5856 (java) R 5843 5855 2471 0 -1 4202560 900 0 0 0 0 0 0 0 20 0 2 0 2221146 8550137856 2461 33554432000 4194304 4196468 140724267932416 140681446599072 140681434646432 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0

[startup+0.100139 s]
/proc/loadavg: 1.78 1.97 2.03 3/251 5855
/proc/meminfo: memFree=32136508/32770624 swapFree=5792/30244
[pid=5855] ppid=5843 vsize=10900556 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/5855/stat : 5855 (java) S 5843 5855 2471 0 -1 1077944320 4795 0 0 0 9 1 0 0 20 0 20 0 2221146 11162169344 5864 33554432000 4194304 4196468 140724267932416 140724267914960 140681442356983 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
/proc/5855/statm: 2725139 5864 2634 1 0 2713552 0
[pid=5855/tid=5856] ppid=5843 vsize=10900556 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5856/stat : 5856 (java) R 5843 5855 2471 0 -1 4202560 2869 0 0 0 8 0 0 0 20 0 20 0 2221146 11162169344 5864 33554432000 4194304 4196468 140724267932416 140681446599264 140681442378909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556

[startup+0.200405 s]
/proc/loadavg: 1.78 1.97 2.03 3/251 5855
/proc/meminfo: memFree=32136508/32770624 swapFree=5792/30244
[pid=5855] ppid=5843 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/5855/stat : 5855 (java) S 5843 5855 2471 0 -1 1077944320 7097 0 0 0 24 2 0 0 20 0 20 0 2221146 11162169344 8997 33554432000 4194304 4196468 140724267932416 140724267914960 140681442356983 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
/proc/5855/statm: 2725139 8997 2885 1 0 2713552 0
[pid=5855/tid=5856] ppid=5843 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5856/stat : 5856 (java) R 5843 5855 2471 0 -1 4202560 4692 0 0 0 17 1 0 0 20 0 20 0 2221146 11162169344 8997 33554432000 4194304 4196468 140724267932416 140681446577904 140681426437470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556

[startup+0.300306 s]
/proc/loadavg: 1.78 1.97 2.03 3/251 5855
/proc/meminfo: memFree=32136508/32770624 swapFree=5792/30244
[pid=5855] ppid=5843 vsize=10900556 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/5855/stat : 5855 (java) S 5843 5855 2471 0 -1 1077944320 9205 0 0 0 51 3 0 0 20 0 20 0 2221146 11162169344 11598 33554432000 4194304 4196468 140724267932416 140724267914960 140681442356983 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
/proc/5855/statm: 2725139 11598 3026 1 0 2713552 0
[pid=5855/tid=5856] ppid=5843 vsize=10900556 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5856/stat : 5856 (java) R 5843 5855 2471 0 -1 4202560 5251 0 0 0 26 1 0 0 20 0 20 0 2221146 11162169344 11598 33554432000 4194304 4196468 140724267932416 140681446581200 140681426437470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10900556

[startup+0.700299 s]
/proc/loadavg: 1.78 1.97 2.03 3/251 5855
/proc/meminfo: memFree=32136508/32770624 swapFree=5792/30244
[pid=5855] ppid=5843 vsize=10900632 CPUtime=2.21 cores=1,3,5,7,9,11,13,15
/proc/5855/stat : 5855 (java) S 5843 5855 2471 0 -1 1077944320 13611 0 0 0 199 22 0 0 20 0 20 0 2221146 11162247168 54760 33554432000 4194304 4196468 140724267932416 140724267914960 140681442356983 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
/proc/5855/statm: 2725158 54760 3086 1 0 2713552 0
[pid=5855/tid=5856] ppid=5843 vsize=10900632 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5856/stat : 5856 (java) S 5843 5855 2471 0 -1 1077944384 5724 0 0 0 60 3 0 0 20 0 20 0 2221146 11162247168 54760 33554432000 4194304 4196468 140724267932416 140681446593776 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 10900632

[startup+1.50079 s]
/proc/loadavg: 1.78 1.97 2.03 10/281 5885
/proc/meminfo: memFree=30930256/32770624 swapFree=5792/31944
[pid=5855] ppid=5843 vsize=10900632 CPUtime=5.88 cores=1,3,5,7,9,11,13,15
/proc/5855/stat : 5855 (java) S 5843 5855 2471 0 -1 1077944320 17105 0 0 0 439 149 0 0 20 0 20 0 2221146 11162247168 220375 33554432000 4194304 4196468 140724267932416 140724267914960 140681442356983 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
/proc/5855/statm: 2725158 220375 3116 1 0 2713552 0
[pid=5855/tid=5856] ppid=5843 vsize=10900632 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5856/stat : 5856 (java) S 5843 5855 2471 0 -1 1077944384 6155 0 0 0 94 8 0 0 20 0 20 0 2221146 11162247168 220375 33554432000 4194304 4196468 140724267932416 140681446594016 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5857] ppid=5843 vsize=10900632 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5857/stat : 5857 (java) R 5843 5855 2471 0 -1 4202560 278 0 0 0 25 18 0 0 20 0 20 0 2221147 11162247168 220375 33554432000 4194304 4196468 140724267932416 140681394976928 140681427384402 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5859] ppid=5843 vsize=10900632 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5859/stat : 5859 (java) R 5843 5855 2471 0 -1 4202560 247 0 0 0 26 17 0 0 20 0 20 0 2221147 11162247168 220375 33554432000 4194304 4196468 140724267932416 140681393924696 140681427384848 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5860] ppid=5843 vsize=10900632 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5860/stat : 5860 (java) R 5843 5855 2471 0 -1 4202560 266 0 0 0 25 16 0 0 20 0 20 0 2221147 11162247168 220375 33554432000 4194304 4196468 140724267932416 140681392872152 140681427384866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5861] ppid=5843 vsize=10900632 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5861/stat : 5861 (java) R 5843 5855 2471 0 -1 4202560 209 0 0 0 25 16 0 0 20 0 20 0 2221147 11162247168 220375 33554432000 4194304 4196468 140724267932416 140681391819608 140681427384866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5862] ppid=5843 vsize=10900632 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5862/stat : 5862 (java) R 5843 5855 2471 0 -1 4202560 522 0 0 0 26 17 0 0 20 0 20 0 2221147 11162247168 220375 33554432000 4194304 4196468 140724267932416 140681390767064 140681427384848 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5863] ppid=5843 vsize=10900632 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5863/stat : 5863 (java) R 5843 5855 2471 0 -1 4202560 307 0 0 0 27 16 0 0 20 0 20 0 2221147 11162247168 220375 33554432000 4194304 4196468 140724267932416 140681389714520 140681427384848 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5864] ppid=5843 vsize=10900632 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5864/stat : 5864 (java) R 5843 5855 2471 0 -1 4202560 234 0 0 0 25 17 0 0 20 0 20 0 2221147 11162247168 220887 33554432000 4194304 4196468 140724267932416 140681388661976 140681427384866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5865] ppid=5843 vsize=10900632 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5865/stat : 5865 (java) R 5843 5855 2471 0 -1 4202560 649 0 0 0 25 17 0 0 20 0 20 0 2221147 11162247168 220887 33554432000 4194304 4196468 140724267932416 140681387609432 140681427384866 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5869] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5869/stat : 5869 (java) S 5843 5855 2471 0 -1 1077944384 511 0 0 0 0 0 0 0 20 0 20 0 2221149 11162247168 220887 33554432000 4194304 4196468 140724267932416 140680985350688 140681442367189 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5870] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5870/stat : 5870 (java) S 5843 5855 2471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2221150 11162247168 220887 33554432000 4194304 4196468 140724267932416 140680984298400 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5871] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5871/stat : 5871 (java) S 5843 5855 2471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2221150 11162247168 220887 33554432000 4194304 4196468 140724267932416 140680647140336 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5879] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5879/stat : 5879 (java) S 5843 5855 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2221154 11162247168 220887 33554432000 4194304 4196468 140724267932416 140680646088912 140681442375579 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5880] ppid=5843 vsize=10900632 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5880/stat : 5880 (java) S 5843 5855 2471 0 -1 1077944384 1466 0 0 0 33 0 0 0 20 0 20 0 2221154 11162247168 220887 33554432000 4194304 4196468 140724267932416 140680645036528 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5881] ppid=5843 vsize=10900632 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5881/stat : 5881 (java) S 5843 5855 2471 0 -1 1077944384 1637 0 0 0 33 0 0 0 20 0 20 0 2221154 11162247168 220887 33554432000 4194304 4196468 140724267932416 140680643983984 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5882] ppid=5843 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5882/stat : 5882 (java) S 5843 5855 2471 0 -1 1077944384 1537 0 0 0 36 0 0 0 20 0 20 0 2221154 11162247168 220887 33554432000 4194304 4196468 140724267932416 140680642931440 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5883] ppid=5843 vsize=10900632 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5883/stat : 5883 (java) S 5843 5855 2471 0 -1 1077944384 1722 0 0 0 31 0 0 0 20 0 20 0 2221154 11162247168 220887 33554432000 4194304 4196468 140724267932416 140680641878896 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5884] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5884/stat : 5884 (java) S 5843 5855 2471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2221154 11162247168 220887 33554432000 4194304 4196468 140724267932416 140680640825568 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5885] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5885/stat : 5885 (java) S 5843 5855 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2221154 11162247168 220887 33554432000 4194304 4196468 140724267932416 140680639773104 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 10900632

[startup+3.10096 s]
/proc/loadavg: 1.78 1.97 2.03 11/281 5885
/proc/meminfo: memFree=28980304/32770624 swapFree=5792/32560
[pid=5855] ppid=5843 vsize=10900632 CPUtime=12.62 cores=1,3,5,7,9,11,13,15
/proc/5855/stat : 5855 (java) S 5843 5855 2471 0 -1 1077944320 22741 0 0 0 904 358 0 0 20 0 20 0 2221146 11162247168 668983 33554432000 4194304 4196468 140724267932416 140724267914960 140681442356983 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
/proc/5855/statm: 2725158 668983 3122 1 0 2713552 0
[pid=5855/tid=5856] ppid=5843 vsize=10900632 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5856/stat : 5856 (java) S 5843 5855 2471 0 -1 1077944384 7775 0 0 0 159 28 0 0 20 0 20 0 2221146 11162247168 668983 33554432000 4194304 4196468 140724267932416 140681446594016 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5857] ppid=5843 vsize=10900632 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5857/stat : 5857 (java) S 5843 5855 2471 0 -1 1077944384 577 0 0 0 74 42 0 0 20 0 20 0 2221147 11162247168 668983 33554432000 4194304 4196468 140724267932416 140681394976624 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5859] ppid=5843 vsize=10900632 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5859/stat : 5859 (java) R 5843 5855 2471 0 -1 4202560 603 0 0 0 77 40 0 0 20 0 20 0 2221147 11162247168 668983 33554432000 4194304 4196468 140724267932416 140681393924392 140681434985191 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5860] ppid=5843 vsize=10900632 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5860/stat : 5860 (java) R 5843 5855 2471 0 -1 4202560 558 0 0 0 74 41 0 0 20 0 20 0 2221147 11162247168 668983 33554432000 4194304 4196468 140724267932416 140681392871848 140681434985191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5861] ppid=5843 vsize=10900632 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5861/stat : 5861 (java) R 5843 5855 2471 0 -1 4202560 536 0 0 0 74 41 0 0 20 0 20 0 2221147 11162247168 668983 33554432000 4194304 4196468 140724267932416 140681391818992 140681434985191 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5862] ppid=5843 vsize=10900632 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5862/stat : 5862 (java) R 5843 5855 2471 0 -1 4202560 712 0 0 0 75 39 0 0 20 0 20 0 2221147 11162247168 668983 33554432000 4194304 4196468 140724267932416 140681390766760 140681428115792 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5863] ppid=5843 vsize=10900632 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5863/stat : 5863 (java) R 5843 5855 2471 0 -1 4202560 1169 0 0 0 77 40 0 0 20 0 20 0 2221147 11162247168 668983 33554432000 4194304 4196468 140724267932416 140681389714520 140681427054622 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5864] ppid=5843 vsize=10900632 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5864/stat : 5864 (java) R 5843 5855 2471 0 -1 4202560 541 0 0 0 75 40 0 0 20 0 20 0 2221147 11162247168 668983 33554432000 4194304 4196468 140724267932416 140681388661360 140681434985191 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5865] ppid=5843 vsize=10900632 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5865/stat : 5865 (java) R 5843 5855 2471 0 -1 4202560 1294 0 0 0 76 40 0 0 20 0 20 0 2221147 11162247168 668983 33554432000 4194304 4196468 140724267932416 140681387609432 140681427307588 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5869] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5869/stat : 5869 (java) S 5843 5855 2471 0 -1 1077944384 1235 0 0 0 0 0 0 0 20 0 20 0 2221149 11162247168 668983 33554432000 4194304 4196468 140724267932416 140680985350496 140681442367189 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5870] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5870/stat : 5870 (java) S 5843 5855 2471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2221150 11162247168 668983 33554432000 4194304 4196468 140724267932416 140680984298400 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5871] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5871/stat : 5871 (java) S 5843 5855 2471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2221150 11162247168 668983 33554432000 4194304 4196468 140724267932416 140680647140336 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5879] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5879/stat : 5879 (java) S 5843 5855 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2221154 11162247168 668983 33554432000 4194304 4196468 140724267932416 140680646088912 140681442375579 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5880] ppid=5843 vsize=10900632 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5880/stat : 5880 (java) S 5843 5855 2471 0 -1 1077944384 1466 0 0 0 34 0 0 0 20 0 20 0 2221154 11162247168 668983 33554432000 4194304 4196468 140724267932416 140680645036528 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5881] ppid=5843 vsize=10900632 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5881/stat : 5881 (java) S 5843 5855 2471 0 -1 1077944384 1641 0 0 0 34 0 0 0 20 0 20 0 2221154 11162247168 668983 33554432000 4194304 4196468 140724267932416 140680643983984 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5882] ppid=5843 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5882/stat : 5882 (java) S 5843 5855 2471 0 -1 1077944384 1541 0 0 0 37 0 0 0 20 0 20 0 2221154 11162247168 668983 33554432000 4194304 4196468 140724267932416 140680642931440 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5883] ppid=5843 vsize=10900632 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5883/stat : 5883 (java) S 5843 5855 2471 0 -1 1077944384 1728 0 0 0 32 0 0 0 20 0 20 0 2221154 11162247168 668983 33554432000 4194304 4196468 140724267932416 140680641878896 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5884] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5884/stat : 5884 (java) S 5843 5855 2471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2221154 11162247168 668983 33554432000 4194304 4196468 140724267932416 140680640825568 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5885] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5885/stat : 5885 (java) S 5843 5855 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2221154 11162247168 668983 33554432000 4194304 4196468 140724267932416 140680639773104 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 10900632

[startup+6.30101 s]
/proc/loadavg: 2.44 2.10 2.07 5/281 5885
/proc/meminfo: memFree=26239364/32770624 swapFree=5792/32688
[pid=5855] ppid=5843 vsize=10900632 CPUtime=27.81 cores=1,3,5,7,9,11,13,15
/proc/5855/stat : 5855 (java) S 5843 5855 2471 0 -1 1077944320 38973 0 0 0 2323 458 0 0 20 0 20 0 2221146 11162247168 798311 33554432000 4194304 4196468 140724267932416 140724267914960 140681442356983 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
/proc/5855/statm: 2725158 798311 3132 1 0 2713552 0
[pid=5855/tid=5856] ppid=5843 vsize=10900632 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5856/stat : 5856 (java) S 5843 5855 2471 0 -1 1077944384 9342 0 0 0 238 28 0 0 20 0 20 0 2221146 11162247168 798311 33554432000 4194304 4196468 140724267932416 140681446593952 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5857] ppid=5843 vsize=10900632 CPUtime=2.9 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5857/stat : 5857 (java) R 5843 5855 2471 0 -1 4202560 1684 0 0 0 234 56 0 0 20 0 20 0 2221147 11162247168 798311 33554432000 4194304 4196468 140724267932416 140681394976624 140681434985191 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5859] ppid=5843 vsize=10900632 CPUtime=2.9 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5859/stat : 5859 (java) R 5843 5855 2471 0 -1 4202560 1861 0 0 0 239 51 0 0 20 0 20 0 2221147 11162247168 798311 33554432000 4194304 4196468 140724267932416 140681393924080 140681434985191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5860] ppid=5843 vsize=10900632 CPUtime=2.87 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5860/stat : 5860 (java) R 5843 5855 2471 0 -1 4202560 1513 0 0 0 232 55 0 0 20 0 20 0 2221147 11162247168 798311 33554432000 4194304 4196468 140724267932416 140681392871536 140681428115792 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5861] ppid=5843 vsize=10900632 CPUtime=2.88 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5861/stat : 5861 (java) R 5843 5855 2471 0 -1 4202560 1811 0 0 0 234 54 0 0 20 0 20 0 2221147 11162247168 798311 33554432000 4194304 4196468 140724267932416 140681391819296 140681426810832 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5862] ppid=5843 vsize=10900632 CPUtime=2.83 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5862/stat : 5862 (java) R 5843 5855 2471 0 -1 4202560 2457 0 0 0 232 51 0 0 20 0 20 0 2221147 11162247168 798311 33554432000 4194304 4196468 140724267932416 140681390767064 140681423953450 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5863] ppid=5843 vsize=10900632 CPUtime=2.91 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5863/stat : 5863 (java) R 5843 5855 2471 0 -1 4202560 2219 0 0 0 239 52 0 0 20 0 20 0 2221147 11162247168 798311 33554432000 4194304 4196468 140724267932416 140681389713904 140681434985191 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5864] ppid=5843 vsize=10900632 CPUtime=2.87 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5864/stat : 5864 (java) R 5843 5855 2471 0 -1 4202560 2543 0 0 0 236 51 0 0 20 0 20 0 2221147 11162247168 798311 33554432000 4194304 4196468 140724267932416 140681388661672 140681434985191 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5865] ppid=5843 vsize=10900632 CPUtime=2.84 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5865/stat : 5865 (java) R 5843 5855 2471 0 -1 4202560 4519 0 0 0 232 52 0 0 20 0 20 0 2221147 11162247168 798311 33554432000 4194304 4196468 140724267932416 140681387609128 140681425740016 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5869] ppid=5843 vsize=10900632 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5869/stat : 5869 (java) S 5843 5855 2471 0 -1 1077944384 2396 0 0 0 64 0 0 0 20 0 20 0 2221149 11162247168 798311 33554432000 4194304 4196468 140724267932416 140680985350496 140681442367189 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5870] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5870/stat : 5870 (java) S 5843 5855 2471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2221150 11162247168 798311 33554432000 4194304 4196468 140724267932416 140680984298400 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5871] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5871/stat : 5871 (java) S 5843 5855 2471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2221150 11162247168 798311 33554432000 4194304 4196468 140724267932416 140680647140336 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5879] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15

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

[pid=5855/tid=5869] ppid=5843 vsize=10900632 CPUtime=16.62 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5869/stat : 5869 (java) S 5843 5855 2471 0 -1 1077944384 36286 0 0 0 1657 5 0 0 20 0 20 0 2221149 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680985350736 140681442367189 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5870] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5870/stat : 5870 (java) S 5843 5855 2471 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 2221150 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680984298464 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5871] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5871/stat : 5871 (java) S 5843 5855 2471 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 20 0 2221150 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680647140336 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5879] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5879/stat : 5879 (java) S 5843 5855 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2221154 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680646088912 140681442375579 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5880] ppid=5843 vsize=10900632 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5880/stat : 5880 (java) S 5843 5855 2471 0 -1 1077944384 2682 0 0 0 54 0 0 0 20 0 20 0 2221154 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680645036576 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5881] ppid=5843 vsize=10900632 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5881/stat : 5881 (java) S 5843 5855 2471 0 -1 1077944384 4266 0 0 0 61 0 0 0 20 0 20 0 2221154 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680643984032 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5882] ppid=5843 vsize=10900632 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5882/stat : 5882 (java) S 5843 5855 2471 0 -1 1077944384 3241 0 0 0 61 0 0 0 20 0 20 0 2221154 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680642931488 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5883] ppid=5843 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5883/stat : 5883 (java) S 5843 5855 2471 0 -1 1077944384 3210 0 0 0 37 0 0 0 20 0 20 0 2221154 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680641878656 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5884] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5884/stat : 5884 (java) S 5843 5855 2471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2221154 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680640825568 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5885] ppid=5843 vsize=10900632 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5885/stat : 5885 (java) S 5843 5855 2471 0 -1 1077944384 795 0 0 0 5 4 0 0 20 0 20 0 2221154 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680639773104 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 2 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
Current children cumulated CPU time (s) 1215.62
Current children cumulated vsize (KiB) 10900632

[startup+215.201 s]
/proc/loadavg: 12.49 6.96 3.97 17/281 5895
/proc/meminfo: memFree=15450320/32770624 swapFree=5792/33132
[pid=5855] ppid=5843 vsize=10900632 CPUtime=1218.52 cores=1,3,5,7,9,11,13,15
/proc/5855/stat : 5855 (java) S 5843 5855 2471 0 -1 1077944320 383488 0 1 0 119610 2242 0 0 20 0 20 0 2221146 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140724267914960 140681442356983 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
/proc/5855/statm: 2725158 2092164 3141 1 0 2713552 0
[pid=5855/tid=5856] ppid=5843 vsize=10900632 CPUtime=51.89 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5856/stat : 5856 (java) S 5843 5855 2471 0 -1 1077944384 27118 0 0 0 5159 30 0 0 20 0 20 0 2221146 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140681446590448 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5857] ppid=5843 vsize=10900632 CPUtime=143.48 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5857/stat : 5857 (java) S 5843 5855 2471 0 -1 1077944384 45532 0 0 0 14072 276 0 0 20 0 20 0 2221147 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140681394977040 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5859] ppid=5843 vsize=10900632 CPUtime=143.44 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5859/stat : 5859 (java) S 5843 5855 2471 0 -1 1077944384 30998 0 0 0 14073 271 0 0 20 0 20 0 2221147 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140681393924496 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5860] ppid=5843 vsize=10900632 CPUtime=143.6 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5860/stat : 5860 (java) S 5843 5855 2471 0 -1 1077944384 44823 0 0 0 14086 274 0 0 20 0 20 0 2221147 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140681392871952 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5861] ppid=5843 vsize=10900632 CPUtime=143.34 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5861/stat : 5861 (java) S 5843 5855 2471 0 -1 1077944384 34025 0 1 0 14061 273 0 0 20 0 20 0 2221147 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140681391819408 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5862] ppid=5843 vsize=10900632 CPUtime=143.66 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5862/stat : 5862 (java) S 5843 5855 2471 0 -1 1077944384 38177 0 0 0 14096 270 0 0 20 0 20 0 2221147 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140681390766864 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5863] ppid=5843 vsize=10900632 CPUtime=142.99 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5863/stat : 5863 (java) S 5843 5855 2471 0 -1 1077944384 42749 0 0 0 14017 282 0 0 20 0 20 0 2221147 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140681389714320 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5864] ppid=5843 vsize=10900632 CPUtime=143.37 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5864/stat : 5864 (java) S 5843 5855 2471 0 -1 1077944384 31680 0 0 0 14062 275 0 0 20 0 20 0 2221147 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140681388661776 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5865] ppid=5843 vsize=10900632 CPUtime=143.27 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5865/stat : 5865 (java) S 5843 5855 2471 0 -1 1077944384 36450 0 0 0 14052 275 0 0 20 0 20 0 2221147 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140681387609232 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5869] ppid=5843 vsize=10900632 CPUtime=17.11 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5869/stat : 5869 (java) R 5843 5855 2471 0 -1 4202560 36286 0 0 0 1706 5 0 0 20 0 20 0 2221149 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680985350624 140681426814581 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5870] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5870/stat : 5870 (java) S 5843 5855 2471 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 2221150 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680984298464 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5871] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5871/stat : 5871 (java) S 5843 5855 2471 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 20 0 2221150 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680647140336 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5879] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5879/stat : 5879 (java) S 5843 5855 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2221154 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680646088912 140681442375579 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5880] ppid=5843 vsize=10900632 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5880/stat : 5880 (java) S 5843 5855 2471 0 -1 1077944384 2682 0 0 0 54 0 0 0 20 0 20 0 2221154 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680645036576 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5881] ppid=5843 vsize=10900632 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5881/stat : 5881 (java) S 5843 5855 2471 0 -1 1077944384 4266 0 0 0 61 0 0 0 20 0 20 0 2221154 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680643984032 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5882] ppid=5843 vsize=10900632 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5882/stat : 5882 (java) S 5843 5855 2471 0 -1 1077944384 3241 0 0 0 61 0 0 0 20 0 20 0 2221154 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680642931488 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5883] ppid=5843 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5883/stat : 5883 (java) S 5843 5855 2471 0 -1 1077944384 3210 0 0 0 37 0 0 0 20 0 20 0 2221154 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680641878656 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5884] ppid=5843 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5884/stat : 5884 (java) S 5843 5855 2471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2221154 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680640825568 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5885] ppid=5843 vsize=10900632 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5885/stat : 5885 (java) S 5843 5855 2471 0 -1 1077944384 797 0 0 0 5 4 0 0 20 0 20 0 2221154 11162247168 2092164 33554432000 4194304 4196468 140724267932416 140680639773104 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 2 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
Current children cumulated CPU time (s) 1218.52
Current children cumulated vsize (KiB) 10900632

[startup+215.601 s]
/proc/loadavg: 12.49 6.96 3.97 9/282 5897
/proc/meminfo: memFree=15447716/32770624 swapFree=5792/34752
[pid=5855] ppid=5843 vsize=11035960 CPUtime=1218.81 cores=1,3,5,7,9,11,13,15
/proc/5855/stat : 5855 (java) S 5843 5855 2471 0 -1 1077944320 385039 0 5 0 119639 2242 0 0 20 0 21 0 2221146 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140724267914960 140681442356983 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
/proc/5855/statm: 2758990 2092400 3185 1 0 2747346 0
[pid=5855/tid=5856] ppid=5843 vsize=11035960 CPUtime=51.92 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5856/stat : 5856 (java) S 5843 5855 2471 0 -1 1077944384 27558 0 4 0 5162 30 0 0 20 0 21 0 2221146 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140681446597664 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 4 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5857] ppid=5843 vsize=11035960 CPUtime=143.48 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5857/stat : 5857 (java) S 5843 5855 2471 0 -1 1077944384 45532 0 0 0 14072 276 0 0 20 0 21 0 2221147 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140681394977040 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5859] ppid=5843 vsize=11035960 CPUtime=143.44 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5859/stat : 5859 (java) S 5843 5855 2471 0 -1 1077944384 30998 0 0 0 14073 271 0 0 20 0 21 0 2221147 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140681393924496 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5860] ppid=5843 vsize=11035960 CPUtime=143.6 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5860/stat : 5860 (java) S 5843 5855 2471 0 -1 1077944384 44823 0 0 0 14086 274 0 0 20 0 21 0 2221147 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140681392871952 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5861] ppid=5843 vsize=11035960 CPUtime=143.34 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5861/stat : 5861 (java) S 5843 5855 2471 0 -1 1077944384 34025 0 1 0 14061 273 0 0 20 0 21 0 2221147 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140681391819408 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5862] ppid=5843 vsize=11035960 CPUtime=143.66 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5862/stat : 5862 (java) S 5843 5855 2471 0 -1 1077944384 38177 0 0 0 14096 270 0 0 20 0 21 0 2221147 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140681390766864 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5863] ppid=5843 vsize=11035960 CPUtime=142.99 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5863/stat : 5863 (java) S 5843 5855 2471 0 -1 1077944384 42749 0 0 0 14017 282 0 0 20 0 21 0 2221147 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140681389714320 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5864] ppid=5843 vsize=11035960 CPUtime=143.37 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5864/stat : 5864 (java) S 5843 5855 2471 0 -1 1077944384 31680 0 0 0 14062 275 0 0 20 0 21 0 2221147 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140681388661776 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5865] ppid=5843 vsize=11035960 CPUtime=143.27 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5865/stat : 5865 (java) S 5843 5855 2471 0 -1 1077944384 36450 0 0 0 14052 275 0 0 20 0 21 0 2221147 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140681387609232 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5869] ppid=5843 vsize=11035960 CPUtime=17.37 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5869/stat : 5869 (java) S 5843 5855 2471 0 -1 1077944384 37085 0 0 0 1732 5 0 0 20 0 21 0 2221149 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680985352176 140681442368130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5870] ppid=5843 vsize=11035960 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5870/stat : 5870 (java) S 5843 5855 2471 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 21 0 2221150 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680984298464 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5871] ppid=5843 vsize=11035960 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5871/stat : 5871 (java) S 5843 5855 2471 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 21 0 2221150 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680647140336 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5879] ppid=5843 vsize=11035960 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5879/stat : 5879 (java) S 5843 5855 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2221154 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680646088912 140681442375579 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5880] ppid=5843 vsize=11035960 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5880/stat : 5880 (java) S 5843 5855 2471 0 -1 1077944384 2682 0 0 0 55 0 0 0 20 0 21 0 2221154 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680645036528 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5881] ppid=5843 vsize=11035960 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5881/stat : 5881 (java) S 5843 5855 2471 0 -1 1077944384 4343 0 0 0 61 0 0 0 20 0 21 0 2221154 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680643983984 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5882] ppid=5843 vsize=11035960 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5882/stat : 5882 (java) S 5843 5855 2471 0 -1 1077944384 3241 0 0 0 61 0 0 0 20 0 21 0 2221154 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680642931440 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5883] ppid=5843 vsize=11035960 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5883/stat : 5883 (java) S 5843 5855 2471 0 -1 1077944384 3397 0 0 0 37 0 0 0 20 0 21 0 2221154 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680641878896 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5884] ppid=5843 vsize=11035960 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5884/stat : 5884 (java) S 5843 5855 2471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2221154 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680640825568 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5885] ppid=5843 vsize=11035960 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5885/stat : 5885 (java) S 5843 5855 2471 0 -1 1077944384 799 0 0 0 5 4 0 0 20 0 21 0 2221154 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680639773104 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 2 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5896] ppid=5843 vsize=11035960 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5896/stat : 5896 (java) S 5843 5855 2471 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 2242699 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680636621968 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
Current children cumulated CPU time (s) 1218.81
Current children cumulated vsize (KiB) 11035960

[startup+215.715 s]
/proc/loadavg: 12.49 6.96 3.97 9/282 5897
/proc/meminfo: memFree=15447716/32770624 swapFree=5792/34752
[pid=5855] ppid=5843 vsize=11035960 CPUtime=1218.81 cores=1,3,5,7,9,11,13,15
/proc/5855/stat : 5855 (java) S 5843 5855 2471 0 -1 1077944320 385039 0 5 0 119639 2242 0 0 20 0 21 0 2221146 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140724267914960 140681442356983 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
/proc/5855/statm: 2758990 2092400 3185 1 0 2747346 0
[pid=5855/tid=5856] ppid=5843 vsize=11035960 CPUtime=51.92 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5856/stat : 5856 (java) S 5843 5855 2471 0 -1 1077944384 27558 0 4 0 5162 30 0 0 20 0 21 0 2221146 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140681446597664 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 4 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5857] ppid=5843 vsize=11035960 CPUtime=143.48 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5857/stat : 5857 (java) S 5843 5855 2471 0 -1 1077944384 45532 0 0 0 14072 276 0 0 20 0 21 0 2221147 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140681394977040 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5859] ppid=5843 vsize=11035960 CPUtime=143.44 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5859/stat : 5859 (java) S 5843 5855 2471 0 -1 1077944384 30998 0 0 0 14073 271 0 0 20 0 21 0 2221147 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140681393924496 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5860] ppid=5843 vsize=11035960 CPUtime=143.6 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5860/stat : 5860 (java) S 5843 5855 2471 0 -1 1077944384 44823 0 0 0 14086 274 0 0 20 0 21 0 2221147 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140681392871952 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5861] ppid=5843 vsize=11035960 CPUtime=143.34 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5861/stat : 5861 (java) S 5843 5855 2471 0 -1 1077944384 34025 0 1 0 14061 273 0 0 20 0 21 0 2221147 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140681391819408 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5862] ppid=5843 vsize=11035960 CPUtime=143.66 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5862/stat : 5862 (java) S 5843 5855 2471 0 -1 1077944384 38177 0 0 0 14096 270 0 0 20 0 21 0 2221147 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140681390766864 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5863] ppid=5843 vsize=11035960 CPUtime=142.99 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5863/stat : 5863 (java) S 5843 5855 2471 0 -1 1077944384 42749 0 0 0 14017 282 0 0 20 0 21 0 2221147 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140681389714320 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5864] ppid=5843 vsize=11035960 CPUtime=143.37 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5864/stat : 5864 (java) S 5843 5855 2471 0 -1 1077944384 31680 0 0 0 14062 275 0 0 20 0 21 0 2221147 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140681388661776 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5865] ppid=5843 vsize=11035960 CPUtime=143.27 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5865/stat : 5865 (java) S 5843 5855 2471 0 -1 1077944384 36450 0 0 0 14052 275 0 0 20 0 21 0 2221147 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140681387609232 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5869] ppid=5843 vsize=11035960 CPUtime=17.37 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5869/stat : 5869 (java) S 5843 5855 2471 0 -1 1077944384 37085 0 0 0 1732 5 0 0 20 0 21 0 2221149 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680985352176 140681442368130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5870] ppid=5843 vsize=11035960 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5870/stat : 5870 (java) S 5843 5855 2471 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 21 0 2221150 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680984298464 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5871] ppid=5843 vsize=11035960 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5871/stat : 5871 (java) S 5843 5855 2471 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 21 0 2221150 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680647140336 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5879] ppid=5843 vsize=11035960 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5879/stat : 5879 (java) S 5843 5855 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2221154 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680646088912 140681442375579 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5880] ppid=5843 vsize=11035960 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5880/stat : 5880 (java) S 5843 5855 2471 0 -1 1077944384 2682 0 0 0 55 0 0 0 20 0 21 0 2221154 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680645036528 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5881] ppid=5843 vsize=11035960 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5881/stat : 5881 (java) S 5843 5855 2471 0 -1 1077944384 4343 0 0 0 61 0 0 0 20 0 21 0 2221154 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680643983984 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5882] ppid=5843 vsize=11035960 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5882/stat : 5882 (java) S 5843 5855 2471 0 -1 1077944384 3241 0 0 0 61 0 0 0 20 0 21 0 2221154 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680642931440 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5883] ppid=5843 vsize=11035960 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5883/stat : 5883 (java) S 5843 5855 2471 0 -1 1077944384 3397 0 0 0 37 0 0 0 20 0 21 0 2221154 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680641878896 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5884] ppid=5843 vsize=11035960 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5884/stat : 5884 (java) S 5843 5855 2471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2221154 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680640825568 140681442367189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5885] ppid=5843 vsize=11035960 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5885/stat : 5885 (java) S 5843 5855 2471 0 -1 1077944384 799 0 0 0 5 4 0 0 20 0 21 0 2221154 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680639773104 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 2 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
[pid=5855/tid=5896] ppid=5843 vsize=11035960 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5855/task/5896/stat : 5896 (java) S 5843 5855 2471 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 2242699 11300823040 2092400 33554432000 4194304 4196468 140724267932416 140680636621968 140681442368130 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39563264 140724267934891 140724267935044 140724267935044 140724267937743 0
Current children cumulated CPU time (s) 1218.81
Current children cumulated vsize (KiB) 11035960

Child status: 0
Real time (s): 215.78
CPU time (s): 1218.87
CPU user time (s): 1196.4
CPU system time (s): 22.4702
CPU usage (%): 564.866
Max. virtual memory (cumulated for all children) (KiB): 11035960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1196.4
system time used= 22.4702
maximum resident set size= 8369812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 385098
page faults= 5
swaps= 0
block input operations= 4264
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27002
involuntary context switches= 98271

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.8072 second user time and 2.23237 second system time

The end

Begin job on node129 at 2017-07-21 22:38:58
IDJOB=4243283
IDBENCH=115599
IDSOLVER=2623
FILE ID=node129/4243283-1500669538
RUNJOBID= node129-1500669538-5817
PBS_JOBID= 20623291
Free space on /tmp= 61984 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-100-20-6.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243283-1500669538/watcher-4243283-1500669538 -o /tmp/evaluation-result-4243283-1500669538/solver-4243283-1500669538 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500669538-5817 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243283-1500669538.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 43798f1f0ec1e0d1988685c70912b197
RANDOM SEED=340555642

node129.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32144200 kB
MemAvailable:   32047096 kB
Buffers:           53888 kB
Cached:           109100 kB
SwapCached:            0 kB
Active:           123704 kB
Inactive:          97016 kB
Active(anon):       2852 kB
Inactive(anon):    66448 kB
Active(file):     120852 kB
Inactive(file):    30568 kB
Unevictable:        5792 kB
Mlocked:            5792 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3028 kB
Writeback:             0 kB
AnonPages:         62728 kB
Mapped:            28892 kB
Shmem:              8844 kB
Slab:              93176 kB
SReclaimable:      60788 kB
SUnreclaim:        32388 kB
KernelStack:        4096 kB
PageTables:         5572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     311128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61984 MiB
End job on node129 at 2017-07-21 22:42:34

Name	Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml
MD5SUM	43798f1f0ec1e0d1988685c70912b197
Bench Category	COP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables	2100
Number of constraints	2120
Number of domains	1
Minimum domain size	6446
Maximum domain size	6446
Distribution of domain sizes	[{"size":6446,"count":2100}]
Minimum variable degree	2
Maximum variable degree	3
Distribution of variable degrees	[{"degree":2,"count":100},{"degree":3,"count":2000}]
Minimum constraint arity	1
Maximum constraint arity	100
Distribution of constraint arities	[{"arity":1,"count":100},{"arity":2,"count":2000},{"arity":100,"count":20}]
Number of extensional constraints	0
Number of intensional constraints	2100
Distribution of constraint types	[{"type":"intension","count":2100},{"type":"noOverlap","count":20}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4243283

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data