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

Solver Name	Answer	CPU time	Wall clock time
R1: Concrete 3.4	? (TO)	2405	2312.89

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-4248717-1500751505/watcher-4248717-1500751505 -o /tmp/evaluation-result-4248717-1500751505/solver-4248717-1500751505 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500751505-28468 --watchdog 2560 bin/concrete HOME/instance-4248717-1500751505.xml 

pid=28492
running on 8 cores: 0,2,4,6,8,10,12,14

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: 0.90 0.74 0.82 3/242 28495
/proc/meminfo: memFree=31483048/32770624 swapFree=6300/320252
[pid=28495] ppid=28492 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28495/stat : 28495 (bash) S 28492 28495 28437 0 -1 4202496 654 0 0 0 0 0 0 0 20 0 1 0 10416806 9736192 351 33554432000 4194304 5098028 140728272655488 140728272653128 140476015778816 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 37154816 140728272659726 140728272659811 140728272659811 140728272662510 0
/proc/28495/statm: 2377 351 278 221 0 86 0

[startup+0.10013 s]
/proc/loadavg: 0.90 0.74 0.82 3/242 28495
/proc/meminfo: memFree=31483048/32770624 swapFree=6300/320252
[pid=28495] ppid=28492 vsize=9640 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/28495/stat : 28495 (bash) S 28492 28495 28437 0 -1 4202496 884 6412 0 1 0 0 0 2 20 0 1 0 10416806 9871360 378 33554432000 4194304 5098028 140728272655488 140728272649496 140476015778816 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 0 0 0 7196144 7232144 37154816 140728272659726 140728272659811 140728272659811 140728272662510 0
/proc/28495/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9640

[startup+0.200441 s]
/proc/loadavg: 0.90 0.74 0.82 3/242 28495
/proc/meminfo: memFree=31483048/32770624 swapFree=6300/320252
[pid=28495] ppid=28492 vsize=10369296 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/28495/stat : 28495 (java) S 28492 28495 28437 0 -1 1077944320 4641 12674 0 1 3 1 9 4 20 0 12 0 10416806 10618159104 5004 33554432000 4194304 4196468 140732501939376 140732501921920 140564866805495 0 0 0 16784584 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
/proc/28495/statm: 2592324 5004 2058 1 0 2580762 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10369296

[startup+0.300339 s]
/proc/loadavg: 0.90 0.74 0.82 3/242 28495
/proc/meminfo: memFree=31483048/32770624 swapFree=6300/320252
[pid=28495] ppid=28492 vsize=10902292 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/28495/stat : 28495 (java) S 28492 28495 28437 0 -1 1077944320 6721 12674 0 1 19 2 9 4 20 0 20 0 10416806 11163947008 8488 33554432000 4194304 4196468 140732501939376 140732501921920 140564866805495 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
/proc/28495/statm: 2725573 8488 2968 1 0 2713890 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 10902292

[startup+0.70033 s]
/proc/loadavg: 0.90 0.74 0.82 3/242 28495
/proc/meminfo: memFree=31483048/32770624 swapFree=6300/320252
[pid=28495] ppid=28492 vsize=10902720 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/28495/stat : 28495 (java) S 28492 28495 28437 0 -1 1077944320 12071 12674 0 1 69 3 9 4 20 0 20 0 10416806 11164385280 14828 33554432000 4194304 4196468 140732501939376 140732501921920 140564866805495 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
/proc/28495/statm: 2725680 14828 3135 1 0 2713890 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 10902720

[startup+1.50077 s]
/proc/loadavg: 0.90 0.74 0.82 3/284 28646
/proc/meminfo: memFree=31279600/32770624 swapFree=6300/320536
[pid=28495] ppid=28492 vsize=10913344 CPUtime=2.23 cores=0,2,4,6,8,10,12,14
/proc/28495/stat : 28495 (java) S 28492 28495 28437 0 -1 1077944320 25730 12674 0 1 197 13 9 4 20 0 20 0 10416806 11175264256 45092 33554432000 4194304 4196468 140732501939376 140732501921920 140564866805495 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
/proc/28495/statm: 2728336 45092 3409 1 0 2716450 0
[pid=28495/tid=28610] ppid=28492 vsize=10913344 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28610/stat : 28610 (java) R 28492 28495 28437 0 -1 4202560 18662 12674 0 1 121 5 9 4 20 0 20 0 10416822 11175264256 45092 33554432000 4194304 4196468 140732501939376 140564871027384 140564850885982 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28619] ppid=28492 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28619/stat : 28619 (java) S 28492 28495 28437 0 -1 1077944384 142 12674 0 1 1 0 9 4 20 0 20 0 10416823 11175264256 45092 33554432000 4194304 4196468 140732501939376 140564819425552 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28620] ppid=28492 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28620/stat : 28620 (java) S 28492 28495 28437 0 -1 1077944384 11 12674 0 1 1 0 9 4 20 0 20 0 10416823 11175264256 45092 33554432000 4194304 4196468 140732501939376 140564818373008 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28621] ppid=28492 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28621/stat : 28621 (java) S 28492 28495 28437 0 -1 1077944384 9 12674 0 1 1 0 9 4 20 0 20 0 10416823 11175264256 45092 33554432000 4194304 4196468 140732501939376 140564471929360 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28622] ppid=28492 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28622/stat : 28622 (java) S 28492 28495 28437 0 -1 1077944384 11 12674 0 1 0 0 9 4 20 0 20 0 10416823 11175264256 45092 33554432000 4194304 4196468 140732501939376 140564470876816 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28623] ppid=28492 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28623/stat : 28623 (java) S 28492 28495 28437 0 -1 1077944384 10 12674 0 1 1 0 9 4 20 0 20 0 10416823 11175264256 45092 33554432000 4194304 4196468 140732501939376 140564469824272 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28624] ppid=28492 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28624/stat : 28624 (java) S 28492 28495 28437 0 -1 1077944384 23 12674 0 1 1 0 9 4 20 0 20 0 10416823 11175264256 45092 33554432000 4194304 4196468 140732501939376 140564468771728 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28625] ppid=28492 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28625/stat : 28625 (java) S 28492 28495 28437 0 -1 1077944384 30 12674 0 1 1 0 9 4 20 0 20 0 10416823 11175264256 45092 33554432000 4194304 4196468 140732501939376 140564467719184 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28626] ppid=28492 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28626/stat : 28626 (java) S 28492 28495 28437 0 -1 1077944384 40 12674 0 1 1 0 9 4 20 0 20 0 10416823 11175264256 45092 33554432000 4194304 4196468 140732501939376 140564466666640 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28628] ppid=28492 vsize=10913344 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28628/stat : 28628 (java) S 28492 28495 28437 0 -1 1077944384 664 12674 0 1 2 0 9 4 20 0 20 0 10416825 11175264256 45092 33554432000 4194304 4196468 140732501939376 140563616598000 140564866816642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28630] ppid=28492 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28630/stat : 28630 (java) S 28492 28495 28437 0 -1 1077944384 54 12674 0 1 0 0 9 4 20 0 20 0 10416826 11175264256 45092 33554432000 4194304 4196468 140732501939376 140563615544288 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28632] ppid=28492 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28632/stat : 28632 (java) S 28492 28495 28437 0 -1 1077944384 44 12674 0 1 0 0 9 4 20 0 20 0 10416826 11175264256 45092 33554432000 4194304 4196468 140732501939376 140563614491648 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28633] ppid=28492 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28633/stat : 28633 (java) S 28492 28495 28437 0 -1 1077944384 1 12674 0 1 0 0 9 4 20 0 20 0 10416830 11175264256 45092 33554432000 4194304 4196468 140732501939376 140563613440208 140564866824091 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28634] ppid=28492 vsize=10913344 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28634/stat : 28634 (java) S 28492 28495 28437 0 -1 1077944384 819 12674 0 1 12 0 9 4 20 0 20 0 10416830 11175264256 45092 33554432000 4194304 4196468 140732501939376 140563612387824 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28635] ppid=28492 vsize=10913344 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28635/stat : 28635 (java) S 28492 28495 28437 0 -1 1077944384 657 12674 0 1 12 0 9 4 20 0 20 0 10416830 11175264256 45092 33554432000 4194304 4196468 140732501939376 140563611335280 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28636] ppid=28492 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28636/stat : 28636 (java) S 28492 28495 28437 0 -1 1077944384 1158 12674 0 1 11 0 9 4 20 0 20 0 10416830 11175264256 45092 33554432000 4194304 4196468 140732501939376 140563273738992 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28637] ppid=28492 vsize=10913344 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28637/stat : 28637 (java) S 28492 28495 28437 0 -1 1077944384 1257 12674 0 1 26 0 9 4 20 0 20 0 10416830 11175264256 45092 33554432000 4194304 4196468 140732501939376 140563272686448 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28642] ppid=28492 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28642/stat : 28642 (java) S 28492 28495 28437 0 -1 1077944384 3 12674 0 1 0 0 9 4 20 0 20 0 10416830 11175264256 45092 33554432000 4194304 4196468 140732501939376 140563271633120 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28644] ppid=28492 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28644/stat : 28644 (java) S 28492 28495 28437 0 -1 1077944384 3 12674 0 1 0 0 9 4 20 0 20 0 10416830 11175264256 45092 33554432000 4194304 4196468 140732501939376 140563270580656 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 10913344

[startup+3.10115 s]
/proc/loadavg: 0.90 0.74 0.82 8/284 28646
/proc/meminfo: memFree=31123560/32770624 swapFree=6300/320496
[pid=28495] ppid=28492 vsize=10925820 CPUtime=6.1 cores=0,2,4,6,8,10,12,14
/proc/28495/stat : 28495 (java) S 28492 28495 28437 0 -1 1077944320 41720 12674 0 1 579 18 9 4 20 0 20 0 10416806 11188039680 55150 33554432000 4194304 4196468 140732501939376 140732501921920 140564866805495 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
/proc/28495/statm: 2731455 55150 3480 1 0 2719010 0
[pid=28495/tid=28610] ppid=28492 vsize=10925820 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28610/stat : 28610 (java) R 28492 28495 28437 0 -1 4202560 29030 12674 0 1 278 7 9 4 20 0 20 0 10416822 11188039680 55150 33554432000 4194304 4196468 140732501939376 140564871037656 140564866817430 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28619] ppid=28492 vsize=10925820 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28619/stat : 28619 (java) S 28492 28495 28437 0 -1 1077944384 142 12674 0 1 1 0 9 4 20 0 20 0 10416823 11188039680 55150 33554432000 4194304 4196468 140732501939376 140564819425552 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28620] ppid=28492 vsize=10925820 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28620/stat : 28620 (java) S 28492 28495 28437 0 -1 1077944384 11 12674 0 1 1 0 9 4 20 0 20 0 10416823 11188039680 55150 33554432000 4194304 4196468 140732501939376 140564818373008 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28621] ppid=28492 vsize=10925820 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28621/stat : 28621 (java) S 28492 28495 28437 0 -1 1077944384 9 12674 0 1 1 0 9 4 20 0 20 0 10416823 11188039680 55150 33554432000 4194304 4196468 140732501939376 140564471929360 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28622] ppid=28492 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28622/stat : 28622 (java) S 28492 28495 28437 0 -1 1077944384 11 12674 0 1 0 0 9 4 20 0 20 0 10416823 11188039680 55150 33554432000 4194304 4196468 140732501939376 140564470876816 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28623] ppid=28492 vsize=10925820 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28623/stat : 28623 (java) S 28492 28495 28437 0 -1 1077944384 10 12674 0 1 1 0 9 4 20 0 20 0 10416823 11188039680 55150 33554432000 4194304 4196468 140732501939376 140564469824272 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28624] ppid=28492 vsize=10925820 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28624/stat : 28624 (java) S 28492 28495 28437 0 -1 1077944384 23 12674 0 1 1 0 9 4 20 0 20 0 10416823 11188039680 55150 33554432000 4194304 4196468 140732501939376 140564468771728 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28625] ppid=28492 vsize=10925820 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28625/stat : 28625 (java) S 28492 28495 28437 0 -1 1077944384 30 12674 0 1 1 0 9 4 20 0 20 0 10416823 11188039680 55150 33554432000 4194304 4196468 140732501939376 140564467719184 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28626] ppid=28492 vsize=10925820 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28626/stat : 28626 (java) S 28492 28495 28437 0 -1 1077944384 40 12674 0 1 1 0 9 4 20 0 20 0 10416823 11188039680 55150 33554432000 4194304 4196468 140732501939376 140564466666640 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28628] ppid=28492 vsize=10925820 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28628/stat : 28628 (java) S 28492 28495 28437 0 -1 1077944384 809 12674 0 1 2 0 9 4 20 0 20 0 10416825 11188039680 55150 33554432000 4194304 4196468 140732501939376 140563616598000 140564866816642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28630] ppid=28492 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28630/stat : 28630 (java) S 28492 28495 28437 0 -1 1077944384 54 12674 0 1 0 0 9 4 20 0 20 0 10416826 11188039680 55150 33554432000 4194304 4196468 140732501939376 140563615544288 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28632] ppid=28492 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28632/stat : 28632 (java) S 28492 28495 28437 0 -1 1077944384 44 12674 0 1 0 0 9 4 20 0 20 0 10416826 11188039680 55150 33554432000 4194304 4196468 140732501939376 140563614491648 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28633] ppid=28492 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28633/stat : 28633 (java) S 28492 28495 28437 0 -1 1077944384 1 12674 0 1 0 0 9 4 20 0 20 0 10416830 11188039680 55150 33554432000 4194304 4196468 140732501939376 140563613440208 140564866824091 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28634] ppid=28492 vsize=10925820 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28634/stat : 28634 (java) R 28492 28495 28437 0 -1 4202560 1406 12674 0 1 48 1 9 4 20 0 20 0 10416830 11188039680 55150 33554432000 4194304 4196468 140732501939376 140563612368656 140564851197919 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28635] ppid=28492 vsize=10925820 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28635/stat : 28635 (java) R 28492 28495 28437 0 -1 1077944384 2852 12674 0 1 84 1 9 4 20 0 20 0 10416830 11188039680 55150 33554432000 4194304 4196468 140732501939376 140563611335280 140564866816642 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28636] ppid=28492 vsize=10925820 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28636/stat : 28636 (java) R 28492 28495 28437 0 -1 1077944384 1763 12674 0 1 50 0 9 4 20 0 20 0 10416830 11188039680 55150 33554432000 4194304 4196468 140732501939376 140563273738992 140564866816642 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28637] ppid=28492 vsize=10925820 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28637/stat : 28637 (java) R 28492 28495 28437 0 -1 4202560 3343 12674 0 1 102 0 9 4 20 0 20 0 10416830 11188039680 55150 33554432000 4194304 4196468 140732501939376 140563272686368 140564850988454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28642] ppid=28492 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28642/stat : 28642 (java) S 28492 28495 28437 0 -1 1077944384 3 12674 0 1 0 0 9 4 20 0 20 0 10416830 11188039680 55150 33554432000 4194304 4196468 140732501939376 140563271633120 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28644] ppid=28492 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28644/stat : 28644 (java) S 28492 28495 28437 0 -1 1077944384 6 12674 0 1 0 0 9 4 20 0 20 0 10416830 11188039680 55150 33554432000 4194304 4196468 140732501939376 140563270580656 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 10925820

[startup+6.30132 s]
/proc/loadavg: 0.98 0.76 0.83 8/284 28646
/proc/meminfo: memFree=30489596/32770624 swapFree=6300/320692
[pid=28495] ppid=28492 vsize=10929916 CPUtime=18.21 cores=0,2,4,6,8,10,12,14
/proc/28495/stat : 28495 (java) S 28492 28495 28437 0 -1 1077944320 67862 12674 0 1 1762 46 9 4 20 0 20 0 10416806 11192233984 131179 33554432000 4194304 4196468 140732501939376 140732501921920 140564866805495 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
/proc/28495/statm: 2732479 131179 3500 1 0 2720034 0
[pid=28495/tid=28610] ppid=28492 vsize=10929916 CPUtime=6.02 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28610/stat : 28610 (java) R 28492 28495 28437 0 -1 4202560 31915 12674 0 1 579 10 9 4 20 0 20 0 10416822 11192233984 131179 33554432000 4194304 4196468 140732501939376 140564871039528 140564515521897 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28619] ppid=28492 vsize=10929916 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28619/stat : 28619 (java) S 28492 28495 28437 0 -1 1077944384 179 12674 0 1 8 2 9 4 20 0 20 0 10416823 11192233984 131179 33554432000 4194304 4196468 140732501939376 140564819425552 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28620] ppid=28492 vsize=10929916 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28620/stat : 28620 (java) S 28492 28495 28437 0 -1 1077944384 48 12674 0 1 8 2 9 4 20 0 20 0 10416823 11192233984 131179 33554432000 4194304 4196468 140732501939376 140564818373008 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28621] ppid=28492 vsize=10929916 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28621/stat : 28621 (java) S 28492 28495 28437 0 -1 1077944384 43 12674 0 1 7 2 9 4 20 0 20 0 10416823 11192233984 131179 33554432000 4194304 4196468 140732501939376 140564471929360 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28622] ppid=28492 vsize=10929916 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28622/stat : 28622 (java) S 28492 28495 28437 0 -1 1077944384 63 12674 0 1 7 3 9 4 20 0 20 0 10416823 11192233984 131179 33554432000 4194304 4196468 140732501939376 140564470876816 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28623] ppid=28492 vsize=10929916 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28623/stat : 28623 (java) S 28492 28495 28437 0 -1 1077944384 46 12674 0 1 8 3 9 4 20 0 20 0 10416823 11192233984 131179 33554432000 4194304 4196468 140732501939376 140564469824272 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28624] ppid=28492 vsize=10929916 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28624/stat : 28624 (java) S 28492 28495 28437 0 -1 1077944384 165 12674 0 1 8 2 9 4 20 0 20 0 10416823 11192233984 131179 33554432000 4194304 4196468 140732501939376 140564468771728 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28625] ppid=28492 vsize=10929916 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28625/stat : 28625 (java) S 28492 28495 28437 0 -1 1077944384 73 12674 0 1 8 1 9 4 20 0 20 0 10416823 11192233984 131179 33554432000 4194304 4196468 140732501939376 140564467719184 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28626] ppid=28492 vsize=10929916 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28626/stat : 28626 (java) S 28492 28495 28437 0 -1 1077944384 77 12674 0 1 6 3 9 4 20 0 20 0 10416823 11192233984 131179 33554432000 4194304 4196468 140732501939376 140564466666640 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28628] ppid=28492 vsize=10929916 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28628/stat : 28628 (java) S 28492 28495 28437 0 -1 1077944384 2247 12674 0 1 5 0 9 4 20 0 20 0 10416825 11192233984 131179 33554432000 4194304 4196468 140732501939376 140563616598000 140564866816642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28630] ppid=28492 vsize=10929916 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28630/stat : 28630 (java) S 28492 28495 28437 0 -1 1077944384 55 12674 0 1 0 0 9 4 20 0 20 0 10416826 11192233984 131179 33554432000 4194304 4196468 140732501939376 140563615544288 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28632] ppid=28492 vsize=10929916 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28632/stat : 28632 (java) S 28492 28495 28437 0 -1 1077944384 45 12674 0 1 0 0 9 4 20 0 20 0 10416826 11192233984 131179 33554432000 4194304 4196468 140732501939376 140563614491648 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28633] ppid=28492 vsize=10929916 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28633/stat : 28633 (java) S 28492 28495 28437 0 -1 1077944384 1 12674 0 1 0 0 9 4 20 0 20 0 10416830 11192233984 131179 33554432000 4194304 4196468 140732501939376 140563613440208 140564866824091 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28634] ppid=28492 vsize=10929916 CPUtime=3.04 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28634/stat : 28634 (java) R 28492 28495 28437 0 -1 4202560 7739 12674 0 1 288 3 9 4 20 0 20 0 10416830 11192233984 131179 33554432000 4194304 4196468 140732501939376 140563612375344 140564846019631 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28635] ppid=28492 vsize=10929916 CPUtime=3.55 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28635/stat : 28635 (java) R 28492 28495 28437 0 -1 4202560 8339 12674 0 1 340 2 9 4 20 0 20 0 10416830 11192233984 131179 33554432000 4194304 4196468 140732501939376 140563611328472 140564846461905 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28636] ppid=28492 vsize=10929916 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28636/stat : 28636 (java) S 28492 28495 28437 0 -1 1077944384 6125 12674 0 1 287 2 9 4 20 0 20 0 10416830 11192233984 131179 33554432000 4194304 4196468 140732501939376 140563273738992 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28637] ppid=28492 vsize=10929916 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28637/stat : 28637 (java) S 28492 28495 28437 0 -1 1077944384 8140 12674 0 1 194 2 9 4 20 0 20 0 10416830 11192233984 131179 33554432000 4194304 4196468 140732501939376 140563272686448 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28642] ppid=28492 vsize=10929916 CPUtime=0.13 cores=0,2,4,6,8,10,12,14

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

/proc/28495/task/28637/stat : 28637 (java) S 28492 28495 28437 0 -1 1077944384 22004 12674 0 1 295 5 9 4 20 0 20 0 10416830 11196428288 853032 33554432000 4194304 4196468 140732501939376 140563272686448 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28642] ppid=28492 vsize=10934012 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28642/stat : 28642 (java) S 28492 28495 28437 0 -1 1077944384 3 12674 0 1 0 0 9 4 20 0 20 0 10416830 11196428288 853032 33554432000 4194304 4196468 140732501939376 140563271633120 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28644] ppid=28492 vsize=10934012 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28644/stat : 28644 (java) S 28492 28495 28437 0 -1 1077944384 2438 12674 0 1 71 68 9 4 20 0 20 0 10416830 11196428288 853032 33554432000 4194304 4196468 140732501939376 140563270580656 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
Current children cumulated CPU time (s) 2349.2
Current children cumulated vsize (KiB) 10934012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2312.1 s]
/proc/loadavg: 2.12 1.93 1.74 3/283 28880
/proc/meminfo: memFree=24778488/32770624 swapFree=6300/320744
[pid=28495] ppid=28492 vsize=10934012 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/28495/stat : 28495 (java) S 28492 28495 28437 0 -1 1077944320 467965 12674 0 1 238866 1124 9 4 20 0 20 0 10416806 11196428288 853695 33554432000 4194304 4196468 140732501939376 140732501921920 140564866805495 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
/proc/28495/statm: 2733503 853695 3516 1 0 2721058 0
[pid=28495/tid=28610] ppid=28492 vsize=10934012 CPUtime=2298.83 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28610/stat : 28610 (java) R 28492 28495 28437 0 -1 4202560 228448 12674 0 1 229775 95 9 4 20 0 20 0 10416822 11196428288 853695 33554432000 4194304 4196468 140732501939376 140564871038848 140564499598530 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28619] ppid=28492 vsize=10934012 CPUtime=9.77 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28619/stat : 28619 (java) S 28492 28495 28437 0 -1 1077944384 9924 12674 0 1 849 115 9 4 20 0 20 0 10416823 11196428288 853695 33554432000 4194304 4196468 140732501939376 140564819425552 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28620] ppid=28492 vsize=10934012 CPUtime=9.69 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28620/stat : 28620 (java) S 28492 28495 28437 0 -1 1077944384 16795 12674 0 1 835 121 9 4 20 0 20 0 10416823 11196428288 853695 33554432000 4194304 4196468 140732501939376 140564818373008 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28621] ppid=28492 vsize=10934012 CPUtime=9.82 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28621/stat : 28621 (java) S 28492 28495 28437 0 -1 1077944384 13672 12674 0 1 851 118 9 4 20 0 20 0 10416823 11196428288 853695 33554432000 4194304 4196468 140732501939376 140564471929360 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28622] ppid=28492 vsize=10934012 CPUtime=9.74 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28622/stat : 28622 (java) S 28492 28495 28437 0 -1 1077944384 12143 12674 0 1 842 119 9 4 20 0 20 0 10416823 11196428288 853695 33554432000 4194304 4196468 140732501939376 140564470876816 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28623] ppid=28492 vsize=10934012 CPUtime=9.86 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28623/stat : 28623 (java) S 28492 28495 28437 0 -1 1077944384 15677 12674 0 1 851 122 9 4 20 0 20 0 10416823 11196428288 853695 33554432000 4194304 4196468 140732501939376 140564469824272 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28624] ppid=28492 vsize=10934012 CPUtime=9.8 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28624/stat : 28624 (java) S 28492 28495 28437 0 -1 1077944384 8105 12674 0 1 851 116 9 4 20 0 20 0 10416823 11196428288 853695 33554432000 4194304 4196468 140732501939376 140564468771728 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28625] ppid=28492 vsize=10934012 CPUtime=9.79 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28625/stat : 28625 (java) S 28492 28495 28437 0 -1 1077944384 15760 12674 0 1 851 115 9 4 20 0 20 0 10416823 11196428288 853695 33554432000 4194304 4196468 140732501939376 140564467719184 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28626] ppid=28492 vsize=10934012 CPUtime=9.94 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28626/stat : 28626 (java) S 28492 28495 28437 0 -1 1077944384 14766 12674 0 1 863 118 9 4 20 0 20 0 10416823 11196428288 853695 33554432000 4194304 4196468 140732501939376 140564466666640 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28628] ppid=28492 vsize=10934012 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28628/stat : 28628 (java) S 28492 28495 28437 0 -1 1077944384 41871 12674 0 1 90 19 9 4 20 0 20 0 10416825 11196428288 853695 33554432000 4194304 4196468 140732501939376 140563616598000 140564866816642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28630] ppid=28492 vsize=10934012 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28630/stat : 28630 (java) S 28492 28495 28437 0 -1 1077944384 59 12674 0 1 0 0 9 4 20 0 20 0 10416826 11196428288 853695 33554432000 4194304 4196468 140732501939376 140563615544288 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28632] ppid=28492 vsize=10934012 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28632/stat : 28632 (java) S 28492 28495 28437 0 -1 1077944384 49 12674 0 1 0 0 9 4 20 0 20 0 10416826 11196428288 853695 33554432000 4194304 4196468 140732501939376 140563614491648 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28633] ppid=28492 vsize=10934012 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28633/stat : 28633 (java) S 28492 28495 28437 0 -1 1077944384 1 12674 0 1 0 0 9 4 20 0 20 0 10416830 11196428288 853695 33554432000 4194304 4196468 140732501939376 140563613440208 140564866824091 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28634] ppid=28492 vsize=10934012 CPUtime=6.02 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28634/stat : 28634 (java) S 28492 28495 28437 0 -1 1077944384 19464 12674 0 1 585 4 9 4 20 0 20 0 10416830 11196428288 853695 33554432000 4194304 4196468 140732501939376 140563612387824 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28635] ppid=28492 vsize=10934012 CPUtime=6.47 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28635/stat : 28635 (java) S 28492 28495 28437 0 -1 1077944384 21492 12674 0 1 629 5 9 4 20 0 20 0 10416830 11196428288 853695 33554432000 4194304 4196468 140732501939376 140563611335280 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28636] ppid=28492 vsize=10934012 CPUtime=6.04 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28636/stat : 28636 (java) S 28492 28495 28437 0 -1 1077944384 23138 12674 0 1 587 4 9 4 20 0 20 0 10416830 11196428288 853695 33554432000 4194304 4196468 140732501939376 140563273738992 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28637] ppid=28492 vsize=10934012 CPUtime=3.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28637/stat : 28637 (java) S 28492 28495 28437 0 -1 1077944384 22006 12674 0 1 295 5 9 4 20 0 20 0 10416830 11196428288 853695 33554432000 4194304 4196468 140732501939376 140563272686448 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28642] ppid=28492 vsize=10934012 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28642/stat : 28642 (java) S 28492 28495 28437 0 -1 1077944384 3 12674 0 1 0 0 9 4 20 0 20 0 10416830 11196428288 853695 33554432000 4194304 4196468 140732501939376 140563271633120 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28644] ppid=28492 vsize=10934012 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28644/stat : 28644 (java) S 28492 28495 28437 0 -1 1077944384 2459 12674 0 1 73 70 9 4 20 0 20 0 10416830 11196428288 853695 33554432000 4194304 4196468 140732501939376 140563270580656 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 10934012

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

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

[startup+2312.6 s]
/proc/loadavg: 2.12 1.93 1.74 3/283 28880
/proc/meminfo: memFree=24778488/32770624 swapFree=6300/320744
[pid=28495] ppid=28492 vsize=11067140 CPUtime=2403.3 cores=0,2,4,6,8,10,12,14
/proc/28495/stat : 28495 (java) S 28492 28495 28437 0 -1 1077944320 481761 12674 0 1 239192 1125 9 4 20 0 22 0 10416806 11332751360 853862 33554432000 4194304 4196468 140732501939376 140732501921920 140564866805495 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
/proc/28495/statm: 2766785 853862 3516 1 0 2754340 0
[pid=28495/tid=28610] ppid=28492 vsize=11067140 CPUtime=2298.85 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28610/stat : 28610 (java) S 28492 28495 28437 0 -1 1077944384 229349 12674 0 1 229777 95 9 4 20 0 22 0 10416822 11332751360 853862 33554432000 4194304 4196468 140732501939376 140564871043280 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28619] ppid=28492 vsize=11067140 CPUtime=10.18 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28619/stat : 28619 (java) R 28492 28495 28437 0 -1 4202560 9944 12674 0 1 889 116 9 4 20 0 22 0 10416823 11332751360 853862 33554432000 4194304 4196468 140732501939376 140564819425752 140564851504309 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28620] ppid=28492 vsize=11067140 CPUtime=10.09 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28620/stat : 28620 (java) R 28492 28495 28437 0 -1 4202560 16809 12674 0 1 875 121 9 4 20 0 22 0 10416823 11332751360 853862 33554432000 4194304 4196468 140732501939376 140564818372896 140564851504288 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28621] ppid=28492 vsize=11067140 CPUtime=10.21 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28621/stat : 28621 (java) R 28492 28495 28437 0 -1 4202560 13681 12674 0 1 890 118 9 4 20 0 22 0 10416823 11332751360 853862 33554432000 4194304 4196468 140732501939376 140564471929560 140564848415320 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28622] ppid=28492 vsize=11067140 CPUtime=10.14 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28622/stat : 28622 (java) R 28492 28495 28437 0 -1 4202560 12152 12674 0 1 882 119 9 4 20 0 22 0 10416823 11332751360 853862 33554432000 4194304 4196468 140732501939376 140564470877016 140564851802004 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28623] ppid=28492 vsize=11067140 CPUtime=10.24 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28623/stat : 28623 (java) R 28492 28495 28437 0 -1 4202560 15683 12674 0 1 889 122 9 4 20 0 22 0 10416823 11332751360 853862 33554432000 4194304 4196468 140732501939376 140564469824472 140564851802159 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28624] ppid=28492 vsize=11067140 CPUtime=10.19 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28624/stat : 28624 (java) R 28492 28495 28437 0 -1 4202560 8119 12674 0 1 890 116 9 4 20 0 22 0 10416823 11332751360 853862 33554432000 4194304 4196468 140732501939376 140564468771928 140564851801996 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28625] ppid=28492 vsize=11067140 CPUtime=10.2 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28625/stat : 28625 (java) R 28492 28495 28437 0 -1 4202560 15784 12674 0 1 892 115 9 4 20 0 22 0 10416823 11332751360 853862 33554432000 4194304 4196468 140732501939376 140564467719384 140564848415341 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28626] ppid=28492 vsize=11067140 CPUtime=10.34 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28626/stat : 28626 (java) R 28492 28495 28437 0 -1 4202560 14774 12674 0 1 903 118 9 4 20 0 22 0 10416823 11332751360 853862 33554432000 4194304 4196468 140732501939376 140564466666840 140564851504213 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28628] ppid=28492 vsize=11067140 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28628/stat : 28628 (java) S 28492 28495 28437 0 -1 1077944384 53998 12674 0 1 97 20 9 4 20 0 22 0 10416825 11332751360 853862 33554432000 4194304 4196468 140732501939376 140563616596624 140564866815701 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28630] ppid=28492 vsize=11067140 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28630/stat : 28630 (java) S 28492 28495 28437 0 -1 1077944384 60 12674 0 1 0 0 9 4 20 0 22 0 10416826 11332751360 853862 33554432000 4194304 4196468 140732501939376 140563615544192 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28632] ppid=28492 vsize=11067140 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28632/stat : 28632 (java) S 28492 28495 28437 0 -1 1077944384 49 12674 0 1 0 0 9 4 20 0 22 0 10416826 11332751360 853862 33554432000 4194304 4196468 140732501939376 140563614491648 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28633] ppid=28492 vsize=11067140 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28633/stat : 28633 (java) S 28492 28495 28437 0 -1 1077944384 227 12674 0 1 0 0 9 4 20 0 22 0 10416830 11332751360 853862 33554432000 4194304 4196468 140732501939376 140563613440208 140564866824091 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28634] ppid=28492 vsize=11067140 CPUtime=6.02 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28634/stat : 28634 (java) S 28492 28495 28437 0 -1 1077944384 19464 12674 0 1 585 4 9 4 20 0 22 0 10416830 11332751360 853862 33554432000 4194304 4196468 140732501939376 140563612387824 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28635] ppid=28492 vsize=11067140 CPUtime=6.48 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28635/stat : 28635 (java) S 28492 28495 28437 0 -1 1077944384 21557 12674 0 1 630 5 9 4 20 0 22 0 10416830 11332751360 853862 33554432000 4194304 4196468 140732501939376 140563611326560 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28636] ppid=28492 vsize=11067140 CPUtime=6.04 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28636/stat : 28636 (java) S 28492 28495 28437 0 -1 1077944384 23138 12674 0 1 587 4 9 4 20 0 22 0 10416830 11332751360 853862 33554432000 4194304 4196468 140732501939376 140563273738992 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28637] ppid=28492 vsize=11067140 CPUtime=3.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28637/stat : 28637 (java) S 28492 28495 28437 0 -1 1077944384 22006 12674 0 1 295 5 9 4 20 0 22 0 10416830 11332751360 853862 33554432000 4194304 4196468 140732501939376 140563272686448 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28642] ppid=28492 vsize=11067140 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28642/stat : 28642 (java) S 28492 28495 28437 0 -1 1077944384 3 12674 0 1 0 0 9 4 20 0 22 0 10416830 11332751360 853862 33554432000 4194304 4196468 140732501939376 140563271633120 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28644] ppid=28492 vsize=11067140 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28644/stat : 28644 (java) S 28492 28495 28437 0 -1 1077944384 2459 12674 0 1 73 70 9 4 20 0 22 0 10416830 11332751360 853862 33554432000 4194304 4196468 140732501939376 140563270580656 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
Current children cumulated CPU time (s) 2403.3
Current children cumulated vsize (KiB) 11067140

[startup+2312.8 s]
/proc/loadavg: 2.12 1.93 1.74 3/285 28882
/proc/meminfo: memFree=24777716/32770624 swapFree=6300/320748
[pid=28495] ppid=28492 vsize=11067140 CPUtime=2404.64 cores=0,2,4,6,8,10,12,14
/proc/28495/stat : 28495 (java) S 28492 28495 28437 0 -1 1077944320 481822 12674 0 1 239326 1125 9 4 20 0 22 0 10416806 11332751360 853874 33554432000 4194304 4196468 140732501939376 140732501921920 140564866805495 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
/proc/28495/statm: 2766785 853874 3516 1 0 2754340 0
[pid=28495/tid=28610] ppid=28492 vsize=11067140 CPUtime=2298.85 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28610/stat : 28610 (java) S 28492 28495 28437 0 -1 1077944384 229349 12674 0 1 229777 95 9 4 20 0 22 0 10416822 11332751360 853874 33554432000 4194304 4196468 140732501939376 140564871043280 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28619] ppid=28492 vsize=11067140 CPUtime=10.35 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28619/stat : 28619 (java) R 28492 28495 28437 0 -1 4202560 9944 12674 0 1 906 116 9 4 20 0 22 0 10416823 11332751360 853874 33554432000 4194304 4196468 140732501939376 140564819425552 140564851802090 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28620] ppid=28492 vsize=11067140 CPUtime=10.25 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28620/stat : 28620 (java) R 28492 28495 28437 0 -1 4202560 16809 12674 0 1 891 121 9 4 20 0 22 0 10416823 11332751360 853874 33554432000 4194304 4196468 140732501939376 140564818373208 140564851801840 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28621] ppid=28492 vsize=11067140 CPUtime=10.37 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28621/stat : 28621 (java) R 28492 28495 28437 0 -1 4202560 13681 12674 0 1 906 118 9 4 20 0 22 0 10416823 11332751360 853874 33554432000 4194304 4196468 140732501939376 140564471929560 140564851802064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28622] ppid=28492 vsize=11067140 CPUtime=10.31 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28622/stat : 28622 (java) R 28492 28495 28437 0 -1 4202560 12152 12674 0 1 899 119 9 4 20 0 22 0 10416823 11332751360 853874 33554432000 4194304 4196468 140732501939376 140564470876816 140564848415250 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28623] ppid=28492 vsize=11067140 CPUtime=10.41 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28623/stat : 28623 (java) R 28492 28495 28437 0 -1 4202560 15686 12674 0 1 906 122 9 4 20 0 22 0 10416823 11332751360 853874 33554432000 4194304 4196468 140732501939376 140564469824472 140564848415341 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28624] ppid=28492 vsize=11067140 CPUtime=10.36 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28624/stat : 28624 (java) R 28492 28495 28437 0 -1 4202560 8120 12674 0 1 907 116 9 4 20 0 22 0 10416823 11332751360 853874 33554432000 4194304 4196468 140732501939376 140564468771928 140564848415327 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28625] ppid=28492 vsize=11067140 CPUtime=10.35 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28625/stat : 28625 (java) R 28492 28495 28437 0 -1 4202560 15785 12674 0 1 907 115 9 4 20 0 22 0 10416823 11332751360 853874 33554432000 4194304 4196468 140732501939376 140564467719384 140564851802115 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28626] ppid=28492 vsize=11067140 CPUtime=10.49 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28626/stat : 28626 (java) R 28492 28495 28437 0 -1 4202560 14780 12674 0 1 918 118 9 4 20 0 22 0 10416823 11332751360 853874 33554432000 4194304 4196468 140732501939376 140564466666840 140564851504251 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28628] ppid=28492 vsize=11067140 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28628/stat : 28628 (java) S 28492 28495 28437 0 -1 1077944384 54006 12674 0 1 101 20 9 4 20 0 22 0 10416825 11332751360 853874 33554432000 4194304 4196468 140732501939376 140563616596624 140564866815701 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28630] ppid=28492 vsize=11067140 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28630/stat : 28630 (java) S 28492 28495 28437 0 -1 1077944384 61 12674 0 1 0 0 9 4 20 0 22 0 10416826 11332751360 853874 33554432000 4194304 4196468 140732501939376 140563615543792 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28632] ppid=28492 vsize=11067140 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28632/stat : 28632 (java) S 28492 28495 28437 0 -1 1077944384 49 12674 0 1 0 0 9 4 20 0 22 0 10416826 11332751360 853874 33554432000 4194304 4196468 140732501939376 140563614491648 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28633] ppid=28492 vsize=11067140 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28633/stat : 28633 (java) S 28492 28495 28437 0 -1 1077944384 227 12674 0 1 0 0 9 4 20 0 22 0 10416830 11332751360 853874 33554432000 4194304 4196468 140732501939376 140563613440208 140564866824091 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28634] ppid=28492 vsize=11067140 CPUtime=6.02 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28634/stat : 28634 (java) S 28492 28495 28437 0 -1 1077944384 19464 12674 0 1 585 4 9 4 20 0 22 0 10416830 11332751360 853874 33554432000 4194304 4196468 140732501939376 140563612387824 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28635] ppid=28492 vsize=11067140 CPUtime=6.48 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28635/stat : 28635 (java) S 28492 28495 28437 0 -1 1077944384 21598 12674 0 1 630 5 9 4 20 0 22 0 10416830 11332751360 853874 33554432000 4194304 4196468 140732501939376 140563611320112 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28636] ppid=28492 vsize=11067140 CPUtime=6.04 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28636/stat : 28636 (java) S 28492 28495 28437 0 -1 1077944384 23138 12674 0 1 587 4 9 4 20 0 22 0 10416830 11332751360 853874 33554432000 4194304 4196468 140732501939376 140563273738992 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28637] ppid=28492 vsize=11067140 CPUtime=3.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28637/stat : 28637 (java) S 28492 28495 28437 0 -1 1077944384 22006 12674 0 1 295 5 9 4 20 0 22 0 10416830 11332751360 853874 33554432000 4194304 4196468 140732501939376 140563272686448 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28642] ppid=28492 vsize=11067140 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28642/stat : 28642 (java) S 28492 28495 28437 0 -1 1077944384 3 12674 0 1 0 0 9 4 20 0 22 0 10416830 11332751360 853874 33554432000 4194304 4196468 140732501939376 140563271633120 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28644] ppid=28492 vsize=11067140 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28644/stat : 28644 (java) S 28492 28495 28437 0 -1 1077944384 2459 12674 0 1 73 70 9 4 20 0 22 0 10416830 11332751360 853874 33554432000 4194304 4196468 140732501939376 140563270580656 140564866816642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28881] ppid=28492 vsize=11067140 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28881/stat : 28881 (java) S 28492 28495 28437 0 -1 1077944384 345 12674 0 1 0 0 9 4 20 0 22 0 10648017 11332751360 853874 33554432000 4194304 4196468 140732501939376 140563237974256 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
[pid=28495/tid=28882] ppid=28492 vsize=11067140 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28495/task/28882/stat : 28882 (java) S 28492 28495 28437 0 -1 1077944384 26 12674 0 1 0 0 9 4 20 0 22 0 10648017 11332751360 853874 33554432000 4194304 4196468 140732501939376 140563236922432 140564866815701 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30490624 140732501945025 140732501947799 140732501947799 140732501950415 0
Current children cumulated CPU time (s) 2404.64
Current children cumulated vsize (KiB) 11067140

Child status: 143
Real time (s): 2312.89
CPU time (s): 2405
CPU user time (s): 2393.66
CPU system time (s): 11.3312
CPU usage (%): 103.982
Max. virtual memory (cumulated for all children) (KiB): 11067140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.66
system time used= 11.3312
maximum resident set size= 3419244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 494767
page faults= 1
swaps= 0
block input operations= 240
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91055
involuntary context switches= 129934

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0037 second user time and 19.07 second system time

The end

Begin job on node143 at 2017-07-22 21:25:05
IDJOB=4248717
IDBENCH=133917
IDSOLVER=2630
FILE ID=node143/4248717-1500751505
RUNJOBID= node143-1500751505-28468
PBS_JOBID= 20624578
Free space on /tmp= 61908 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-30.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248717-1500751505/watcher-4248717-1500751505 -o /tmp/evaluation-result-4248717-1500751505/solver-4248717-1500751505 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500751505-28468 --watchdog 2560  bin/concrete HOME/instance-4248717-1500751505.xml

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

MD5SUM BENCH= 342946d6497bc5c3a3caf7e92c124315
RANDOM SEED=1002720427

node143.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.69
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		: 1600.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.69
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.69
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.69
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		: 2000.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.69
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		: 1867.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		: 2133.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.69
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		: 1600.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		: 2000.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.69
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		: 1600.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.69
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:        31483580 kB
MemAvailable:   31987368 kB
Buffers:          184220 kB
Cached:           591192 kB
SwapCached:            0 kB
Active:           500076 kB
Inactive:         330300 kB
Active(anon):      58288 kB
Inactive(anon):     8752 kB
Active(file):     441788 kB
Inactive(file):   321548 kB
Unevictable:        6300 kB
Mlocked:            6300 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48696 kB
Writeback:             0 kB
AnonPages:         62092 kB
Mapped:            31056 kB
Shmem:              8852 kB
Slab:             146712 kB
SReclaimable:     112576 kB
SUnreclaim:        34136 kB
KernelStack:        3984 kB
PageTables:         4656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     309360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      155008 kB
DirectMap2M:    33390592 kB

Free space on /tmp at the end= 61820 MiB
End job on node143 at 2017-07-22 22:03:38

Name	SportsScheduling/SportsScheduling-m1-s1/ SportsScheduling-30.xml
MD5SUM	342946d6497bc5c3a3caf7e92c124315
Bench Category	CSP (decision 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	1335
Number of constraints	555
Number of domains	2
Minimum domain size	30
Maximum domain size	435
Distribution of domain sizes	[{"size":30,"count":900},{"size":435,"count":435}]
Minimum variable degree	3
Maximum variable degree	4
Distribution of variable degrees	[{"degree":3,"count":450},{"degree":4,"count":885}]
Minimum constraint arity	1
Maximum constraint arity	435
Distribution of constraint arities	[{"arity":1,"count":15},{"arity":2,"count":15},{"arity":3,"count":435},{"arity":15,"count":29},{"arity":30,"count":30},{"arity":58,"count":15},{"arity":60,"count":15},{"arity":435,"count":1}]
Number of extensional constraints	435
Number of intensional constraints	30
Distribution of constraint types	[{"type":"extension","count":435},{"type":"intension","count":30},{"type":"allDifferent","count":31},{"type":"count","count":29},{"type":"cardinality","count":30}]
Optimization problem	NO
Type of objective

Trace number 4248717

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data