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)	2401.15	2326.68

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-4245487-1500704040/watcher-4245487-1500704040 -o /tmp/evaluation-result-4245487-1500704040/solver-4245487-1500704040 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500696853-12414 --watchdog 2560 bin/concrete HOME/instance-4245487-1500704040.xml 

pid=15639
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: 2.20 1.63 1.51 3/261 15642
/proc/meminfo: memFree=30950304/32770624 swapFree=5720/278616
[pid=15642] ppid=15639 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15642/stat : 15642 (bash) S 15639 15642 16473 0 -1 4202496 686 1535 0 0 0 0 0 0 20 0 1 0 5673190 9736192 350 33554432000 4194304 5098028 140726122474336 140726122471976 140432629828608 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 38551552 140726122480910 140726122480995 140726122480995 140726122483694 0
/proc/15642/statm: 2377 350 278 221 0 86 0

[startup+0.100179 s]
/proc/loadavg: 2.20 1.63 1.51 3/261 15642
/proc/meminfo: memFree=30950304/32770624 swapFree=5720/278616
[pid=15642] ppid=15639 vsize=9640 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15642/stat : 15642 (bash) S 15639 15642 16473 0 -1 4202496 878 6424 0 0 0 0 0 2 20 0 1 0 5673190 9871360 377 33554432000 4194304 5098028 140726122474336 140726122468344 140432629828608 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 38551552 140726122480910 140726122480995 140726122480995 140726122483694 0
/proc/15642/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9640

[startup+0.200377 s]
/proc/loadavg: 2.20 1.63 1.51 3/261 15642
/proc/meminfo: memFree=30950304/32770624 swapFree=5720/278616
[pid=15642] ppid=15639 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/15642/stat : 15642 (java) S 15639 15642 16473 0 -1 1077944320 4976 12450 0 0 5 1 7 5 20 0 13 0 5673190 10686320640 5305 33554432000 4194304 4196468 140728009114880 140728009097424 139821328613111 0 0 0 16800971 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
/proc/15642/statm: 2608965 5305 2138 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300326 s]
/proc/loadavg: 2.20 1.63 1.51 3/261 15642
/proc/meminfo: memFree=30950304/32770624 swapFree=5720/278616
[pid=15642] ppid=15639 vsize=10902392 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/15642/stat : 15642 (java) S 15639 15642 16473 0 -1 1077944320 7263 12450 0 0 23 2 7 5 20 0 20 0 5673190 11164049408 8963 33554432000 4194304 4196468 140728009114880 140728009097424 139821328613111 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
/proc/15642/statm: 2725598 8963 2982 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902392

[startup+0.700211 s]
/proc/loadavg: 2.20 1.63 1.51 3/261 15642
/proc/meminfo: memFree=30950304/32770624 swapFree=5720/278616
[pid=15642] ppid=15639 vsize=10902720 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/15642/stat : 15642 (java) S 15639 15642 16473 0 -1 1077944320 12457 12450 0 0 75 4 7 5 20 0 20 0 5673190 11164385280 15718 33554432000 4194304 4196468 140728009114880 140728009097424 139821328613111 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
/proc/15642/statm: 2725680 15718 3197 1 0 2713890 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 10902720

[startup+1.50083 s]
/proc/loadavg: 2.20 1.63 1.51 3/281 15715
/proc/meminfo: memFree=30845764/32770624 swapFree=5720/278640
[pid=15642] ppid=15639 vsize=10913344 CPUtime=2.26 cores=1,3,5,7,9,11,13,15
/proc/15642/stat : 15642 (java) S 15639 15642 16473 0 -1 1077944320 25322 12450 0 0 202 12 7 5 20 0 20 0 5673190 11175264256 44555 33554432000 4194304 4196468 140728009114880 140728009097424 139821328613111 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
/proc/15642/statm: 2728336 44555 3406 1 0 2716450 0
[pid=15642/tid=15697] ppid=15639 vsize=10913344 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15697/stat : 15697 (java) R 15639 15642 16473 0 -1 4202560 18289 12450 0 0 126 5 7 5 20 0 20 0 5673203 11175264256 44555 33554432000 4194304 4196468 140728009114880 139821332841496 139821328625046 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15698] ppid=15639 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15698/stat : 15698 (java) S 15639 15642 16473 0 -1 1077944384 27 12450 0 0 0 0 7 5 20 0 20 0 5673204 11175264256 44555 33554432000 4194304 4196468 140728009114880 139821254687632 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15699] ppid=15639 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15699/stat : 15699 (java) S 15639 15642 16473 0 -1 1077944384 44 12450 0 0 0 0 7 5 20 0 20 0 5673204 11175264256 44555 33554432000 4194304 4196468 140728009114880 139821253634832 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15700] ppid=15639 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15700/stat : 15700 (java) S 15639 15642 16473 0 -1 1077944384 14 12450 0 0 0 0 7 5 20 0 20 0 5673204 11175264256 44555 33554432000 4194304 4196468 140728009114880 139821252582544 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15701] ppid=15639 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15701/stat : 15701 (java) S 15639 15642 16473 0 -1 1077944384 116 12450 0 0 0 0 7 5 20 0 20 0 5673204 11175264256 44555 33554432000 4194304 4196468 140728009114880 139820932262928 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15702] ppid=15639 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15702/stat : 15702 (java) S 15639 15642 16473 0 -1 1077944384 19 12450 0 0 1 0 7 5 20 0 20 0 5673204 11175264256 44555 33554432000 4194304 4196468 140728009114880 139820931209616 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15703] ppid=15639 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15703/stat : 15703 (java) S 15639 15642 16473 0 -1 1077944384 9 12450 0 0 0 0 7 5 20 0 20 0 5673204 11175264256 44555 33554432000 4194304 4196468 140728009114880 139820930156816 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15704] ppid=15639 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15704/stat : 15704 (java) S 15639 15642 16473 0 -1 1077944384 22 12450 0 0 0 0 7 5 20 0 20 0 5673204 11175264256 44555 33554432000 4194304 4196468 140728009114880 139820929104528 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15705] ppid=15639 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15705/stat : 15705 (java) S 15639 15642 16473 0 -1 1077944384 32 12450 0 0 0 0 7 5 20 0 20 0 5673204 11175264256 44555 33554432000 4194304 4196468 140728009114880 139820928051728 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15706] ppid=15639 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15706/stat : 15706 (java) S 15639 15642 16473 0 -1 1077944384 644 12450 0 0 1 0 7 5 20 0 20 0 5673206 11175264256 44555 33554432000 4194304 4196468 140728009114880 139820145625712 139821328624258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15707] ppid=15639 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15707/stat : 15707 (java) S 15639 15642 16473 0 -1 1077944384 56 12450 0 0 0 0 7 5 20 0 20 0 5673207 11175264256 44555 33554432000 4194304 4196468 140728009114880 139820144571744 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15708] ppid=15639 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15708/stat : 15708 (java) S 15639 15642 16473 0 -1 1077944384 44 12450 0 0 0 0 7 5 20 0 20 0 5673207 11175264256 44555 33554432000 4194304 4196468 140728009114880 139820143519360 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15709] ppid=15639 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15709/stat : 15709 (java) S 15639 15642 16473 0 -1 1077944384 1 12450 0 0 0 0 7 5 20 0 20 0 5673212 11175264256 44555 33554432000 4194304 4196468 140728009114880 139820142467664 139821328631707 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15710] ppid=15639 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15710/stat : 15710 (java) S 15639 15642 16473 0 -1 1077944384 907 12450 0 0 13 0 7 5 20 0 20 0 5673212 11175264256 44555 33554432000 4194304 4196468 140728009114880 139820141414512 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15711] ppid=15639 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15711/stat : 15711 (java) S 15639 15642 16473 0 -1 1077944384 596 12450 0 0 9 0 7 5 20 0 20 0 5673212 11175264256 44555 33554432000 4194304 4196468 140728009114880 139820140361712 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15712] ppid=15639 vsize=10913344 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15712/stat : 15712 (java) S 15639 15642 16473 0 -1 1077944384 1078 12450 0 0 16 0 7 5 20 0 20 0 5673212 11175264256 44555 33554432000 4194304 4196468 140728009114880 139820139309424 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15713] ppid=15639 vsize=10913344 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15713/stat : 15713 (java) S 15639 15642 16473 0 -1 1077944384 1290 12450 0 0 27 0 7 5 20 0 20 0 5673212 11175264256 44555 33554432000 4194304 4196468 140728009114880 139820138256624 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15714] ppid=15639 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15714/stat : 15714 (java) S 15639 15642 16473 0 -1 1077944384 3 12450 0 0 0 0 7 5 20 0 20 0 5673212 11175264256 44555 33554432000 4194304 4196468 140728009114880 139820137204576 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15715] ppid=15639 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15715/stat : 15715 (java) S 15639 15642 16473 0 -1 1077944384 3 12450 0 0 0 0 7 5 20 0 20 0 5673212 11175264256 44555 33554432000 4194304 4196468 140728009114880 139820136151856 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 10913344

[startup+3.10096 s]
/proc/loadavg: 2.20 1.63 1.51 5/281 15715
/proc/meminfo: memFree=30769888/32770624 swapFree=5720/278640
[pid=15642] ppid=15639 vsize=10927868 CPUtime=6.56 cores=1,3,5,7,9,11,13,15
/proc/15642/stat : 15642 (java) S 15639 15642 16473 0 -1 1077944320 36699 12450 0 0 627 17 7 5 20 0 20 0 5673190 11190136832 58108 33554432000 4194304 4196468 140728009114880 140728009097424 139821328613111 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
/proc/15642/statm: 2731967 58108 3474 1 0 2719522 0
[pid=15642/tid=15697] ppid=15639 vsize=10927868 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15697/stat : 15697 (java) R 15639 15642 16473 0 -1 4202560 24933 12450 0 0 283 8 7 5 20 0 20 0 5673203 11190136832 58108 33554432000 4194304 4196468 140728009114880 139821332844448 139820942320681 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15698] ppid=15639 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15698/stat : 15698 (java) S 15639 15642 16473 0 -1 1077944384 27 12450 0 0 0 0 7 5 20 0 20 0 5673204 11190136832 58108 33554432000 4194304 4196468 140728009114880 139821254687632 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15699] ppid=15639 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15699/stat : 15699 (java) S 15639 15642 16473 0 -1 1077944384 44 12450 0 0 0 0 7 5 20 0 20 0 5673204 11190136832 58108 33554432000 4194304 4196468 140728009114880 139821253634832 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15700] ppid=15639 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15700/stat : 15700 (java) S 15639 15642 16473 0 -1 1077944384 14 12450 0 0 0 0 7 5 20 0 20 0 5673204 11190136832 58108 33554432000 4194304 4196468 140728009114880 139821252582544 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15701] ppid=15639 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15701/stat : 15701 (java) S 15639 15642 16473 0 -1 1077944384 116 12450 0 0 0 0 7 5 20 0 20 0 5673204 11190136832 58108 33554432000 4194304 4196468 140728009114880 139820932262928 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15702] ppid=15639 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15702/stat : 15702 (java) S 15639 15642 16473 0 -1 1077944384 19 12450 0 0 1 0 7 5 20 0 20 0 5673204 11190136832 58108 33554432000 4194304 4196468 140728009114880 139820931209616 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15703] ppid=15639 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15703/stat : 15703 (java) S 15639 15642 16473 0 -1 1077944384 9 12450 0 0 0 0 7 5 20 0 20 0 5673204 11190136832 58108 33554432000 4194304 4196468 140728009114880 139820930156816 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15704] ppid=15639 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15704/stat : 15704 (java) S 15639 15642 16473 0 -1 1077944384 22 12450 0 0 0 0 7 5 20 0 20 0 5673204 11190136832 58108 33554432000 4194304 4196468 140728009114880 139820929104528 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15705] ppid=15639 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15705/stat : 15705 (java) S 15639 15642 16473 0 -1 1077944384 32 12450 0 0 0 0 7 5 20 0 20 0 5673204 11190136832 58108 33554432000 4194304 4196468 140728009114880 139820928051728 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15706] ppid=15639 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15706/stat : 15706 (java) S 15639 15642 16473 0 -1 1077944384 669 12450 0 0 1 0 7 5 20 0 20 0 5673206 11190136832 58108 33554432000 4194304 4196468 140728009114880 139820145625712 139821328624258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15707] ppid=15639 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15707/stat : 15707 (java) S 15639 15642 16473 0 -1 1077944384 56 12450 0 0 0 0 7 5 20 0 20 0 5673207 11190136832 58108 33554432000 4194304 4196468 140728009114880 139820144571744 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15708] ppid=15639 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15708/stat : 15708 (java) S 15639 15642 16473 0 -1 1077944384 44 12450 0 0 0 0 7 5 20 0 20 0 5673207 11190136832 58108 33554432000 4194304 4196468 140728009114880 139820143519360 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15709] ppid=15639 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15709/stat : 15709 (java) S 15639 15642 16473 0 -1 1077944384 1 12450 0 0 0 0 7 5 20 0 20 0 5673212 11190136832 58108 33554432000 4194304 4196468 140728009114880 139820142467664 139821328631707 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15710] ppid=15639 vsize=10927868 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15710/stat : 15710 (java) R 15639 15642 16473 0 -1 4202560 1743 12450 0 0 70 0 7 5 20 0 20 0 5673212 11190136832 58108 33554432000 4194304 4196468 140728009114880 139820141395520 139821308306888 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15711] ppid=15639 vsize=10927868 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15711/stat : 15711 (java) R 15639 15642 16473 0 -1 4202560 1446 12450 0 0 62 1 7 5 20 0 20 0 5673212 11190136832 58108 33554432000 4194304 4196468 140728009114880 139820140345312 139821312113225 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15712] ppid=15639 vsize=10927868 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15712/stat : 15712 (java) R 15639 15642 16473 0 -1 4202560 1875 12450 0 0 81 1 7 5 20 0 20 0 5673212 11190136832 58108 33554432000 4194304 4196468 140728009114880 139820139295520 139821313534118 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15713] ppid=15639 vsize=10927868 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15713/stat : 15713 (java) R 15639 15642 16473 0 -1 4202560 3514 12450 0 0 120 1 7 5 20 0 20 0 5673212 11190136832 58108 33554432000 4194304 4196468 140728009114880 139820138256544 139821313688894 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15714] ppid=15639 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15714/stat : 15714 (java) S 15639 15642 16473 0 -1 1077944384 3 12450 0 0 0 0 7 5 20 0 20 0 5673212 11190136832 58108 33554432000 4194304 4196468 140728009114880 139820137204576 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15715] ppid=15639 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15715/stat : 15715 (java) S 15639 15642 16473 0 -1 1077944384 4 12450 0 0 0 0 7 5 20 0 20 0 5673212 11190136832 58108 33554432000 4194304 4196468 140728009114880 139820136151856 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
Current children cumulated CPU time (s) 6.56
Current children cumulated vsize (KiB) 10927868

[startup+6.30118 s]
/proc/loadavg: 2.27 1.65 1.52 6/281 15715
/proc/meminfo: memFree=30542544/32770624 swapFree=5720/278648
[pid=15642] ppid=15639 vsize=10995452 CPUtime=16.22 cores=1,3,5,7,9,11,13,15
/proc/15642/stat : 15642 (java) S 15639 15642 16473 0 -1 1077944320 74795 12450 0 0 1579 31 7 5 20 0 20 0 5673190 11259342848 100038 33554432000 4194304 4196468 140728009114880 140728009097424 139821328613111 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
/proc/15642/statm: 2748863 100038 3501 1 0 2736418 0
[pid=15642/tid=15697] ppid=15639 vsize=10995452 CPUtime=6.15 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15697/stat : 15697 (java) R 15639 15642 16473 0 -1 4202560 42169 12450 0 0 592 11 7 5 20 0 20 0 5673203 11259342848 100038 33554432000 4194304 4196468 140728009114880 139821332844648 139820935671316 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15698] ppid=15639 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15698/stat : 15698 (java) S 15639 15642 16473 0 -1 1077944384 763 12450 0 0 2 1 7 5 20 0 20 0 5673204 11259342848 100038 33554432000 4194304 4196468 140728009114880 139821254687632 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15699] ppid=15639 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15699/stat : 15699 (java) S 15639 15642 16473 0 -1 1077944384 133 12450 0 0 3 1 7 5 20 0 20 0 5673204 11259342848 100038 33554432000 4194304 4196468 140728009114880 139821253634832 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15700] ppid=15639 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15700/stat : 15700 (java) S 15639 15642 16473 0 -1 1077944384 57 12450 0 0 3 1 7 5 20 0 20 0 5673204 11259342848 100038 33554432000 4194304 4196468 140728009114880 139821252582544 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15701] ppid=15639 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15701/stat : 15701 (java) S 15639 15642 16473 0 -1 1077944384 340 12450 0 0 3 1 7 5 20 0 20 0 5673204 11259342848 100038 33554432000 4194304 4196468 140728009114880 139820932262928 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15702] ppid=15639 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15702/stat : 15702 (java) S 15639 15642 16473 0 -1 1077944384 34 12450 0 0 3 1 7 5 20 0 20 0 5673204 11259342848 100038 33554432000 4194304 4196468 140728009114880 139820931209616 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15703] ppid=15639 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15703/stat : 15703 (java) S 15639 15642 16473 0 -1 1077944384 55 12450 0 0 3 1 7 5 20 0 20 0 5673204 11259342848 100038 33554432000 4194304 4196468 140728009114880 139820930156816 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15704] ppid=15639 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15704/stat : 15704 (java) S 15639 15642 16473 0 -1 1077944384 49 12450 0 0 3 1 7 5 20 0 20 0 5673204 11259342848 100038 33554432000 4194304 4196468 140728009114880 139820929104528 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15705] ppid=15639 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15705/stat : 15705 (java) S 15639 15642 16473 0 -1 1077944384 59 12450 0 0 3 1 7 5 20 0 20 0 5673204 11259342848 100038 33554432000 4194304 4196468 140728009114880 139820928051728 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15706] ppid=15639 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15706/stat : 15706 (java) S 15639 15642 16473 0 -1 1077944384 2061 12450 0 0 4 0 7 5 20 0 20 0 5673206 11259342848 100038 33554432000 4194304 4196468 140728009114880 139820145625712 139821328624258 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15707] ppid=15639 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15707/stat : 15707 (java) S 15639 15642 16473 0 -1 1077944384 57 12450 0 0 0 0 7 5 20 0 20 0 5673207 11259342848 100038 33554432000 4194304 4196468 140728009114880 139820144571808 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15708] ppid=15639 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15708/stat : 15708 (java) S 15639 15642 16473 0 -1 1077944384 45 12450 0 0 0 0 7 5 20 0 20 0 5673207 11259342848 100038 33554432000 4194304 4196468 140728009114880 139820143519360 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15709] ppid=15639 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15709/stat : 15709 (java) S 15639 15642 16473 0 -1 1077944384 1 12450 0 0 0 0 7 5 20 0 20 0 5673212 11259342848 100038 33554432000 4194304 4196468 140728009114880 139820142467664 139821328631707 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15710] ppid=15639 vsize=10995452 CPUtime=2.53 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15710/stat : 15710 (java) S 15639 15642 16473 0 -1 1077944384 6209 12450 0 0 240 1 7 5 20 0 20 0 5673212 11259342848 100038 33554432000 4194304 4196468 140728009114880 139820141414512 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15711] ppid=15639 vsize=10995452 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15711/stat : 15711 (java) S 15639 15642 16473 0 -1 1077944384 6691 12450 0 0 253 1 7 5 20 0 20 0 5673212 11259342848 100038 33554432000 4194304 4196468 140728009114880 139820140361712 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15712] ppid=15639 vsize=10995452 CPUtime=2.88 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15712/stat : 15712 (java) S 15639 15642 16473 0 -1 1077944384 7928 12450 0 0 274 2 7 5 20 0 20 0 5673212 11259342848 100038 33554432000 4194304 4196468 140728009114880 139820139309424 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15713] ppid=15639 vsize=10995452 CPUtime=2 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15713/stat : 15713 (java) S 15639 15642 16473 0 -1 1077944384 6000 12450 0 0 186 2 7 5 20 0 20 0 5673212 11259342848 100038 33554432000 4194304 4196468 140728009114880 139820138256624 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15714] ppid=15639 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15

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

[pid=15642/tid=15713] ppid=15639 vsize=10995452 CPUtime=3.77 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15713/stat : 15713 (java) S 15639 15642 16473 0 -1 1077944384 22181 12450 0 0 360 5 7 5 20 0 20 0 5673212 11259342848 259497 33554432000 4194304 4196468 140728009114880 139820138256624 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15714] ppid=15639 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15714/stat : 15714 (java) S 15639 15642 16473 0 -1 1077944384 3 12450 0 0 0 0 7 5 20 0 20 0 5673212 11259342848 259497 33554432000 4194304 4196468 140728009114880 139820137204576 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15715] ppid=15639 vsize=10995452 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15715/stat : 15715 (java) S 15639 15642 16473 0 -1 1077944384 898 12450 0 0 52 59 7 5 20 0 20 0 5673212 11259342848 259497 33554432000 4194304 4196468 140728009114880 139820136151856 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
Current children cumulated CPU time (s) 2334.5
Current children cumulated vsize (KiB) 10995452

[startup+2322.3 s]
/proc/loadavg: 1.70 1.50 1.49 3/281 16063
/proc/meminfo: memFree=28032772/32770624 swapFree=5720/280916
[pid=15642] ppid=15639 vsize=10995452 CPUtime=2395.87 cores=1,3,5,7,9,11,13,15
/proc/15642/stat : 15642 (java) S 15639 15642 16473 0 -1 1077944320 184503 12450 0 0 239181 394 7 5 20 0 20 0 5673190 11259342848 260056 33554432000 4194304 4196468 140728009114880 140728009097424 139821328613111 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
/proc/15642/statm: 2748863 260056 3511 1 0 2736418 0
[pid=15642/tid=15697] ppid=15639 vsize=10995452 CPUtime=2304.04 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15697/stat : 15697 (java) R 15639 15642 16473 0 -1 4202560 69830 12450 0 0 230359 33 7 5 20 0 20 0 5673203 11259342848 260056 33554432000 4194304 4196468 140728009114880 139821332847088 139820940844274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15698] ppid=15639 vsize=10995452 CPUtime=7.46 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15698/stat : 15698 (java) S 15639 15642 16473 0 -1 1077944384 3736 12450 0 0 698 36 7 5 20 0 20 0 5673204 11259342848 260056 33554432000 4194304 4196468 140728009114880 139821254687632 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15699] ppid=15639 vsize=10995452 CPUtime=7.63 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15699/stat : 15699 (java) S 15639 15642 16473 0 -1 1077944384 5354 12450 0 0 714 37 7 5 20 0 20 0 5673204 11259342848 260056 33554432000 4194304 4196468 140728009114880 139821253634832 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15700] ppid=15639 vsize=10995452 CPUtime=7.55 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15700/stat : 15700 (java) S 15639 15642 16473 0 -1 1077944384 5451 12450 0 0 706 37 7 5 20 0 20 0 5673204 11259342848 260056 33554432000 4194304 4196468 140728009114880 139821252582544 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15701] ppid=15639 vsize=10995452 CPUtime=7.48 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15701/stat : 15701 (java) S 15639 15642 16473 0 -1 1077944384 2644 12450 0 0 701 35 7 5 20 0 20 0 5673204 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820932262928 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15702] ppid=15639 vsize=10995452 CPUtime=7.5 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15702/stat : 15702 (java) S 15639 15642 16473 0 -1 1077944384 3778 12450 0 0 705 33 7 5 20 0 20 0 5673204 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820931209616 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15703] ppid=15639 vsize=10995452 CPUtime=7.46 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15703/stat : 15703 (java) S 15639 15642 16473 0 -1 1077944384 3930 12450 0 0 699 35 7 5 20 0 20 0 5673204 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820930156816 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15704] ppid=15639 vsize=10995452 CPUtime=7.53 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15704/stat : 15704 (java) S 15639 15642 16473 0 -1 1077944384 4322 12450 0 0 705 36 7 5 20 0 20 0 5673204 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820929104528 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15705] ppid=15639 vsize=10995452 CPUtime=7.5 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15705/stat : 15705 (java) S 15639 15642 16473 0 -1 1077944384 5227 12450 0 0 705 33 7 5 20 0 20 0 5673204 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820928051728 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15706] ppid=15639 vsize=10995452 CPUtime=7.29 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15706/stat : 15706 (java) S 15639 15642 16473 0 -1 1077944384 11149 12450 0 0 689 28 7 5 20 0 20 0 5673206 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820145625712 139821328624258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15707] ppid=15639 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15707/stat : 15707 (java) S 15639 15642 16473 0 -1 1077944384 57 12450 0 0 0 0 7 5 20 0 20 0 5673207 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820144571808 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15708] ppid=15639 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15708/stat : 15708 (java) S 15639 15642 16473 0 -1 1077944384 45 12450 0 0 0 0 7 5 20 0 20 0 5673207 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820143519360 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15709] ppid=15639 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15709/stat : 15709 (java) S 15639 15642 16473 0 -1 1077944384 1 12450 0 0 0 0 7 5 20 0 20 0 5673212 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820142467664 139821328631707 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15710] ppid=15639 vsize=10995452 CPUtime=6.59 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15710/stat : 15710 (java) S 15639 15642 16473 0 -1 1077944384 12500 12450 0 0 642 5 7 5 20 0 20 0 5673212 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820141414512 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15711] ppid=15639 vsize=10995452 CPUtime=7.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15711/stat : 15711 (java) S 15639 15642 16473 0 -1 1077944384 14855 12450 0 0 695 5 7 5 20 0 20 0 5673212 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820140361712 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15712] ppid=15639 vsize=10995452 CPUtime=7.21 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15712/stat : 15712 (java) S 15639 15642 16473 0 -1 1077944384 16396 12450 0 0 703 6 7 5 20 0 20 0 5673212 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820139309424 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15713] ppid=15639 vsize=10995452 CPUtime=3.77 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15713/stat : 15713 (java) S 15639 15642 16473 0 -1 1077944384 22183 12450 0 0 360 5 7 5 20 0 20 0 5673212 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820138256624 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15714] ppid=15639 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15714/stat : 15714 (java) S 15639 15642 16473 0 -1 1077944384 3 12450 0 0 0 0 7 5 20 0 20 0 5673212 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820137204576 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15715] ppid=15639 vsize=10995452 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15715/stat : 15715 (java) S 15639 15642 16473 0 -1 1077944384 914 12450 0 0 53 61 7 5 20 0 20 0 5673212 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820136151856 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
Current children cumulated CPU time (s) 2395.87
Current children cumulated vsize (KiB) 10995452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2326.4 s]
/proc/loadavg: 1.81 1.52 1.50 3/281 16063
/proc/meminfo: memFree=28033944/32770624 swapFree=5720/280916
[pid=15642] ppid=15639 vsize=10995452 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15
/proc/15642/stat : 15642 (java) S 15639 15642 16473 0 -1 1077944320 184527 12450 0 0 239598 395 7 5 20 0 20 0 5673190 11259342848 260056 33554432000 4194304 4196468 140728009114880 140728009097424 139821328613111 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
/proc/15642/statm: 2748863 260056 3511 1 0 2736418 0
[pid=15642/tid=15697] ppid=15639 vsize=10995452 CPUtime=2308.11 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15697/stat : 15697 (java) R 15639 15642 16473 0 -1 4202560 69842 12450 0 0 230766 33 7 5 20 0 20 0 5673203 11259342848 260056 33554432000 4194304 4196468 140728009114880 139821332846320 139820948550347 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15698] ppid=15639 vsize=10995452 CPUtime=7.47 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15698/stat : 15698 (java) S 15639 15642 16473 0 -1 1077944384 3737 12450 0 0 699 36 7 5 20 0 20 0 5673204 11259342848 260056 33554432000 4194304 4196468 140728009114880 139821254687632 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15699] ppid=15639 vsize=10995452 CPUtime=7.64 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15699/stat : 15699 (java) S 15639 15642 16473 0 -1 1077944384 5354 12450 0 0 715 37 7 5 20 0 20 0 5673204 11259342848 260056 33554432000 4194304 4196468 140728009114880 139821253634832 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15700] ppid=15639 vsize=10995452 CPUtime=7.56 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15700/stat : 15700 (java) S 15639 15642 16473 0 -1 1077944384 5451 12450 0 0 707 37 7 5 20 0 20 0 5673204 11259342848 260056 33554432000 4194304 4196468 140728009114880 139821252582544 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15701] ppid=15639 vsize=10995452 CPUtime=7.49 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15701/stat : 15701 (java) S 15639 15642 16473 0 -1 1077944384 2646 12450 0 0 702 35 7 5 20 0 20 0 5673204 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820932262928 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15702] ppid=15639 vsize=10995452 CPUtime=7.52 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15702/stat : 15702 (java) S 15639 15642 16473 0 -1 1077944384 3780 12450 0 0 706 34 7 5 20 0 20 0 5673204 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820931209616 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15703] ppid=15639 vsize=10995452 CPUtime=7.47 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15703/stat : 15703 (java) S 15639 15642 16473 0 -1 1077944384 3931 12450 0 0 700 35 7 5 20 0 20 0 5673204 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820930156816 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15704] ppid=15639 vsize=10995452 CPUtime=7.54 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15704/stat : 15704 (java) S 15639 15642 16473 0 -1 1077944384 4323 12450 0 0 706 36 7 5 20 0 20 0 5673204 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820929104528 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15705] ppid=15639 vsize=10995452 CPUtime=7.51 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15705/stat : 15705 (java) S 15639 15642 16473 0 -1 1077944384 5227 12450 0 0 706 33 7 5 20 0 20 0 5673204 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820928051728 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15706] ppid=15639 vsize=10995452 CPUtime=7.3 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15706/stat : 15706 (java) S 15639 15642 16473 0 -1 1077944384 11152 12450 0 0 690 28 7 5 20 0 20 0 5673206 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820145625712 139821328624258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15707] ppid=15639 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15707/stat : 15707 (java) S 15639 15642 16473 0 -1 1077944384 57 12450 0 0 0 0 7 5 20 0 20 0 5673207 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820144571808 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15708] ppid=15639 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15708/stat : 15708 (java) S 15639 15642 16473 0 -1 1077944384 45 12450 0 0 0 0 7 5 20 0 20 0 5673207 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820143519360 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15709] ppid=15639 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15709/stat : 15709 (java) S 15639 15642 16473 0 -1 1077944384 1 12450 0 0 0 0 7 5 20 0 20 0 5673212 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820142467664 139821328631707 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15710] ppid=15639 vsize=10995452 CPUtime=6.59 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15710/stat : 15710 (java) S 15639 15642 16473 0 -1 1077944384 12500 12450 0 0 642 5 7 5 20 0 20 0 5673212 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820141414512 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15711] ppid=15639 vsize=10995452 CPUtime=7.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15711/stat : 15711 (java) S 15639 15642 16473 0 -1 1077944384 14855 12450 0 0 695 5 7 5 20 0 20 0 5673212 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820140361712 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15712] ppid=15639 vsize=10995452 CPUtime=7.21 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15712/stat : 15712 (java) S 15639 15642 16473 0 -1 1077944384 16396 12450 0 0 703 6 7 5 20 0 20 0 5673212 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820139309424 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15713] ppid=15639 vsize=10995452 CPUtime=3.77 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15713/stat : 15713 (java) S 15639 15642 16473 0 -1 1077944384 22183 12450 0 0 360 5 7 5 20 0 20 0 5673212 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820138256624 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15714] ppid=15639 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15714/stat : 15714 (java) S 15639 15642 16473 0 -1 1077944384 3 12450 0 0 0 0 7 5 20 0 20 0 5673212 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820137204576 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15715] ppid=15639 vsize=10995452 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15715/stat : 15715 (java) S 15639 15642 16473 0 -1 1077944384 916 12450 0 0 53 61 7 5 20 0 20 0 5673212 11259342848 260056 33554432000 4194304 4196468 140728009114880 139820136151856 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 10995452

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 15642 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2326.61 s]
/proc/loadavg: 1.81 1.52 1.50 10/283 16065
/proc/meminfo: memFree=28030064/32770624 swapFree=5720/280916
[pid=15642] ppid=15639 vsize=11130628 CPUtime=2400.95 cores=1,3,5,7,9,11,13,15
/proc/15642/stat : 15642 (java) S 15639 15642 16473 0 -1 1077944320 190339 12450 0 0 239687 396 7 5 20 0 22 0 5673190 11397763072 261204 33554432000 4194304 4196468 140728009114880 140728009097424 139821328613111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
/proc/15642/statm: 2782657 261204 3511 1 0 2770212 0
[pid=15642/tid=15697] ppid=15639 vsize=11130628 CPUtime=2308.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15697/stat : 15697 (java) S 15639 15642 16473 0 -1 1077944384 70198 12450 0 0 230767 33 7 5 20 0 22 0 5673203 11397763072 261204 33554432000 4194304 4196468 140728009114880 139821332850656 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15698] ppid=15639 vsize=11130628 CPUtime=7.57 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15698/stat : 15698 (java) R 15639 15642 16473 0 -1 4202560 3746 12450 0 0 709 36 7 5 20 0 22 0 5673204 11397763072 261204 33554432000 4194304 4196468 140728009114880 139821254687832 139821313609521 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15699] ppid=15639 vsize=11130628 CPUtime=7.74 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15699/stat : 15699 (java) R 15639 15642 16473 0 -1 4202560 5356 12450 0 0 725 37 7 5 20 0 22 0 5673204 11397763072 261204 33554432000 4194304 4196468 140728009114880 139821253635032 139821313609773 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15700] ppid=15639 vsize=11130628 CPUtime=7.66 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15700/stat : 15700 (java) R 15639 15642 16473 0 -1 4202560 5453 12450 0 0 717 37 7 5 20 0 22 0 5673204 11397763072 261204 33554432000 4194304 4196468 140728009114880 139821252582432 139821313609620 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15701] ppid=15639 vsize=11130628 CPUtime=7.6 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15701/stat : 15701 (java) R 15639 15642 16473 0 -1 4202560 2651 12450 0 0 713 35 7 5 20 0 22 0 5673204 11397763072 261204 33554432000 4194304 4196468 140728009114880 139820932263128 139821321241319 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15702] ppid=15639 vsize=11130628 CPUtime=7.62 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15702/stat : 15702 (java) R 15639 15642 16473 0 -1 4202560 3785 12450 0 0 716 34 7 5 20 0 22 0 5673204 11397763072 261204 33554432000 4194304 4196468 140728009114880 139820931209616 139821313609620 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15703] ppid=15639 vsize=11130628 CPUtime=7.56 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15703/stat : 15703 (java) R 15639 15642 16473 0 -1 4202560 3936 12450 0 0 709 35 7 5 20 0 22 0 5673204 11397763072 261204 33554432000 4194304 4196468 140728009114880 139820930156816 139821328625046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15704] ppid=15639 vsize=11130628 CPUtime=7.64 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15704/stat : 15704 (java) R 15639 15642 16473 0 -1 4202560 4325 12450 0 0 716 36 7 5 20 0 22 0 5673204 11397763072 261204 33554432000 4194304 4196468 140728009114880 139820929104728 139821313609515 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15705] ppid=15639 vsize=11130628 CPUtime=7.6 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15705/stat : 15705 (java) R 15639 15642 16473 0 -1 4202560 5234 12450 0 0 715 33 7 5 20 0 22 0 5673204 11397763072 261204 33554432000 4194304 4196468 140728009114880 139820928051928 139821313311867 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15706] ppid=15639 vsize=11130628 CPUtime=7.39 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15706/stat : 15706 (java) S 15639 15642 16473 0 -1 1077944384 16207 12450 0 0 699 28 7 5 20 0 22 0 5673206 11397763072 261204 33554432000 4194304 4196468 140728009114880 139820145624336 139821328623317 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15707] ppid=15639 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15707/stat : 15707 (java) S 15639 15642 16473 0 -1 1077944384 59 12450 0 0 0 0 7 5 20 0 22 0 5673207 11397763072 261204 33554432000 4194304 4196468 140728009114880 139820144571792 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15708] ppid=15639 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15708/stat : 15708 (java) S 15639 15642 16473 0 -1 1077944384 45 12450 0 0 0 0 7 5 20 0 22 0 5673207 11397763072 261204 33554432000 4194304 4196468 140728009114880 139820143519360 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15709] ppid=15639 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15709/stat : 15709 (java) S 15639 15642 16473 0 -1 1077944384 109 12450 0 0 0 0 7 5 20 0 22 0 5673212 11397763072 261204 33554432000 4194304 4196468 140728009114880 139820142467664 139821328631707 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15710] ppid=15639 vsize=11130628 CPUtime=6.59 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15710/stat : 15710 (java) S 15639 15642 16473 0 -1 1077944384 12500 12450 0 0 642 5 7 5 20 0 22 0 5673212 11397763072 261204 33554432000 4194304 4196468 140728009114880 139820141414512 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15711] ppid=15639 vsize=11130628 CPUtime=7.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15711/stat : 15711 (java) S 15639 15642 16473 0 -1 1077944384 14892 12450 0 0 695 5 7 5 20 0 22 0 5673212 11397763072 261204 33554432000 4194304 4196468 140728009114880 139820140348672 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15712] ppid=15639 vsize=11130628 CPUtime=7.21 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15712/stat : 15712 (java) S 15639 15642 16473 0 -1 1077944384 16396 12450 0 0 703 6 7 5 20 0 22 0 5673212 11397763072 261204 33554432000 4194304 4196468 140728009114880 139820139309424 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15713] ppid=15639 vsize=11130628 CPUtime=3.77 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15713/stat : 15713 (java) S 15639 15642 16473 0 -1 1077944384 22277 12450 0 0 360 5 7 5 20 0 22 0 5673212 11397763072 261204 33554432000 4194304 4196468 140728009114880 139820138256192 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15714] ppid=15639 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15714/stat : 15714 (java) S 15639 15642 16473 0 -1 1077944384 3 12450 0 0 0 0 7 5 20 0 22 0 5673212 11397763072 261204 33554432000 4194304 4196468 140728009114880 139820137204576 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=15715] ppid=15639 vsize=11130628 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/15642/task/15715/stat : 15715 (java) S 15639 15642 16473 0 -1 1077944384 916 12450 0 0 53 61 7 5 20 0 22 0 5673212 11397763072 261204 33554432000 4194304 4196468 140728009114880 139820136151856 139821328624258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=16064] ppid=15639 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/16064/stat : 16064 (java) S 15639 15642 16473 0 -1 1077944384 97 12450 0 0 0 0 7 5 20 0 22 0 5905831 11397763072 261204 33554432000 4194304 4196468 140728009114880 139819365688176 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
[pid=15642/tid=16065] ppid=15639 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15642/task/16065/stat : 16065 (java) S 15639 15642 16473 0 -1 1077944384 24 12450 0 0 0 0 7 5 20 0 22 0 5905831 11397763072 261204 33554432000 4194304 4196468 140728009114880 139819364636096 139821328623317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30916608 140728009120449 140728009123223 140728009123223 140728009125839 0
Current children cumulated CPU time (s) 2400.95
Current children cumulated vsize (KiB) 11130628

Child status: 143
Real time (s): 2326.68
CPU time (s): 2401.15
CPU user time (s): 2397.12
CPU system time (s): 4.02683
CPU usage (%): 103.201
Max. virtual memory (cumulated for all children) (KiB): 11130628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.13
system time used= 4.02683
maximum resident set size= 1045488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202924
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 294835
involuntary context switches= 174096

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0082 second user time and 20.8479 second system time

The end

Begin job on node114 at 2017-07-22 08:14:00
IDJOB=4245487
IDBENCH=122893
IDSOLVER=2630
FILE ID=node114/4245487-1500704040
RUNJOBID= node114-1500696853-12414
PBS_JOBID= 20623324
Free space on /tmp= 61988 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-088.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245487-1500704040/watcher-4245487-1500704040 -o /tmp/evaluation-result-4245487-1500704040/solver-4245487-1500704040 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500696853-12414 --watchdog 2560  bin/concrete HOME/instance-4245487-1500704040.xml

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

MD5SUM BENCH= 06ac67a393cf658bfe76e8457ea2374b
RANDOM SEED=238577264

node114.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		: 2133.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.60
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		: 2000.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.60
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		: 2000.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		: 2133.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.60
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		: 2668.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.60
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.60
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		: 2133.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		: 1600.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.60
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		: 1867.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		: 2400.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.60
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		: 2000.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		: 1733.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.60
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		: 1867.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:        30950468 kB
MemAvailable:   31202192 kB
Buffers:          131700 kB
Cached:           399200 kB
SwapCached:            0 kB
Active:          1096548 kB
Inactive:         287576 kB
Active(anon):     855960 kB
Inactive(anon):     8828 kB
Active(file):     240588 kB
Inactive(file):   278748 kB
Unevictable:        5720 kB
Mlocked:            5720 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24712 kB
Writeback:             0 kB
AnonPages:        859056 kB
Mapped:            44132 kB
Shmem:              8848 kB
Slab:             130728 kB
SReclaimable:      96448 kB
SUnreclaim:        34280 kB
KernelStack:        4464 kB
PageTables:         6788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1709096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    636928 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= 61964 MiB
End job on node114 at 2017-07-22 08:52:47

Name	NumberPartitioning/NumberPartitioning-m1-s1/ NumberPartitioning-088.xml
MD5SUM	06ac67a393cf658bfe76e8457ea2374b
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.18564899
Satisfiable
(Un)Satisfiability was proved
Number of variables	176
Number of constraints	96
Number of domains	2
Minimum domain size	88
Maximum domain size	7744
Distribution of domain sizes	[{"size":88,"count":88},{"size":7744,"count":88}]
Minimum variable degree	2
Maximum variable degree	5
Distribution of variable degrees	[{"degree":2,"count":88},{"degree":4,"count":87},{"degree":5,"count":1}]
Minimum constraint arity	1
Maximum constraint arity	88
Distribution of constraint arities	[{"arity":1,"count":1},{"arity":2,"count":88},{"arity":44,"count":6},{"arity":88,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	89
Distribution of constraint types	[{"type":"intension","count":89},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}]
Optimization problem	NO
Type of objective

Trace number 4245487

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data