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

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: Concrete 3.4	? (TO)		2404.04	2333.74

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-4249536-1500771685/watcher-4249536-1500771685 -o /tmp/evaluation-result-4249536-1500771685/solver-4249536-1500771685 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500754473-3381 --watchdog 2560 bin/concrete HOME/instance-4249536-1500771685.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.42 1.34 1.39 2/268 6792
/proc/meminfo: memFree=30493524/32770624 swapFree=5892/379768
[pid=6792] ppid=6789 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6792/stat : 6792 (bash) S 6789 6792 3349 0 -1 4202496 687 1531 0 0 0 0 0 0 20 0 1 0 12435439 9736192 350 33554432000 4194304 5098028 140721001378752 140721001376392 140012397657088 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 25481216 140721001387278 140721001387363 140721001387363 140721001390062 0
/proc/6792/statm: 2377 350 277 221 0 86 0

[startup+0.100105 s]
/proc/loadavg: 1.42 1.34 1.39 2/268 6792
/proc/meminfo: memFree=30493524/32770624 swapFree=5892/379768
[pid=6792] ppid=6789 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/6792/stat : 6792 (bash) S 6789 6792 3349 0 -1 4202496 885 6415 0 0 0 0 0 1 20 0 1 0 12435439 9871360 378 33554432000 4194304 5098028 140721001378752 140721001372760 140012397657088 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 25481216 140721001387278 140721001387363 140721001387363 140721001390062 0
/proc/6792/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200421 s]
/proc/loadavg: 1.42 1.34 1.39 2/268 6792
/proc/meminfo: memFree=30493524/32770624 swapFree=5892/379768
[pid=6792] ppid=6789 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6792/stat : 6792 (java) S 6789 6792 3349 0 -1 1077944320 5032 12527 0 0 6 1 7 4 20 0 13 0 12435439 10686320640 5392 33554432000 4194304 4196468 140736121041872 140736121024416 140491424710391 0 0 0 16800971 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
/proc/6792/statm: 2608965 5392 2172 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300314 s]
/proc/loadavg: 1.42 1.34 1.39 2/268 6792
/proc/meminfo: memFree=30493524/32770624 swapFree=5892/379768
[pid=6792] ppid=6789 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/6792/stat : 6792 (java) S 6789 6792 3349 0 -1 1077944320 7651 12527 0 0 24 1 7 4 20 0 20 0 12435439 11164049408 9442 33554432000 4194304 4196468 140736121041872 140736121024416 140491424710391 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
/proc/6792/statm: 2725598 9442 3003 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392

[startup+0.700287 s]
/proc/loadavg: 1.42 1.34 1.39 2/268 6792
/proc/meminfo: memFree=30493524/32770624 swapFree=5892/379768
[pid=6792] ppid=6789 vsize=10902720 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/6792/stat : 6792 (java) S 6789 6792 3349 0 -1 1077944320 12693 12527 0 0 80 4 7 4 20 0 20 0 12435439 11164385280 15978 33554432000 4194304 4196468 140736121041872 140736121024416 140491424710391 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
/proc/6792/statm: 2725680 15978 3212 1 0 2713890 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10902720

[startup+1.50069 s]
/proc/loadavg: 1.47 1.35 1.39 3/288 6865
/proc/meminfo: memFree=30391220/32770624 swapFree=5892/379836
[pid=6792] ppid=6789 vsize=10913344 CPUtime=2.34 cores=1,3,5,7,9,11,13,15
/proc/6792/stat : 6792 (java) S 6789 6792 3349 0 -1 1077944320 26555 12527 0 0 208 15 7 4 20 0 20 0 12435439 11175264256 44052 33554432000 4194304 4196468 140736121041872 140736121024416 140491424710391 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
/proc/6792/statm: 2728336 44052 3409 1 0 2716450 0
[pid=6792/tid=6847] ppid=6789 vsize=10913344 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6847/stat : 6847 (java) R 6789 6792 3349 0 -1 4202560 19415 12527 0 0 126 6 7 4 20 0 20 0 12435451 11175264256 44052 33554432000 4194304 4196468 140736121041872 140491428938992 140491424722326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6848] ppid=6789 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6848/stat : 6848 (java) S 6789 6792 3349 0 -1 1077944384 25 12527 0 0 0 0 7 4 20 0 20 0 12435452 11175264256 44052 33554432000 4194304 4196468 140736121041872 140491350785168 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6849] ppid=6789 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6849/stat : 6849 (java) S 6789 6792 3349 0 -1 1077944384 12 12527 0 0 0 0 7 4 20 0 20 0 12435452 11175264256 44052 33554432000 4194304 4196468 140736121041872 140491349732368 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6850] ppid=6789 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6850/stat : 6850 (java) S 6789 6792 3349 0 -1 1077944384 31 12527 0 0 0 0 7 4 20 0 20 0 12435452 11175264256 44052 33554432000 4194304 4196468 140736121041872 140491348679568 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6851] ppid=6789 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6851/stat : 6851 (java) S 6789 6792 3349 0 -1 1077944384 38 12527 0 0 0 0 7 4 20 0 20 0 12435452 11175264256 44052 33554432000 4194304 4196468 140736121041872 140491347626768 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6852] ppid=6789 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6852/stat : 6852 (java) S 6789 6792 3349 0 -1 1077944384 26 12527 0 0 1 0 7 4 20 0 20 0 12435452 11175264256 44052 33554432000 4194304 4196468 140736121041872 140491346573968 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6853] ppid=6789 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6853/stat : 6853 (java) S 6789 6792 3349 0 -1 1077944384 38 12527 0 0 1 0 7 4 20 0 20 0 12435452 11175264256 44052 33554432000 4194304 4196468 140736121041872 140491345521168 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6854] ppid=6789 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6854/stat : 6854 (java) S 6789 6792 3349 0 -1 1077944384 135 12527 0 0 1 0 7 4 20 0 20 0 12435452 11175264256 44052 33554432000 4194304 4196468 140736121041872 140491344468368 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6855] ppid=6789 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6855/stat : 6855 (java) S 6789 6792 3349 0 -1 1077944384 25 12527 0 0 1 0 7 4 20 0 20 0 12435452 11175264256 44052 33554432000 4194304 4196468 140736121041872 140491343415568 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6856] ppid=6789 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6856/stat : 6856 (java) S 6789 6792 3349 0 -1 1077944384 733 12527 0 0 1 0 7 4 20 0 20 0 12435454 11175264256 44052 33554432000 4194304 4196468 140736121041872 140490899213168 140491424721538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6857] ppid=6789 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6857/stat : 6857 (java) S 6789 6792 3349 0 -1 1077944384 56 12527 0 0 0 0 7 4 20 0 20 0 12435455 11175264256 44052 33554432000 4194304 4196468 140736121041872 140490898159200 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6858] ppid=6789 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6858/stat : 6858 (java) S 6789 6792 3349 0 -1 1077944384 44 12527 0 0 0 0 7 4 20 0 20 0 12435456 11175264256 44052 33554432000 4194304 4196468 140736121041872 140490897106288 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6859] ppid=6789 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6859/stat : 6859 (java) S 6789 6792 3349 0 -1 1077944384 1 12527 0 0 0 0 7 4 20 0 20 0 12435460 11175264256 44052 33554432000 4194304 4196468 140736121041872 140490896054608 140491424728987 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6860] ppid=6789 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6860/stat : 6860 (java) S 6789 6792 3349 0 -1 1077944384 983 12527 0 0 14 0 7 4 20 0 20 0 12435460 11175264256 44052 33554432000 4194304 4196468 140736121041872 140490895001968 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6861] ppid=6789 vsize=10913344 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6861/stat : 6861 (java) S 6789 6792 3349 0 -1 1077944384 1158 12527 0 0 17 0 7 4 20 0 20 0 12435460 11175264256 44052 33554432000 4194304 4196468 140736121041872 140490893949168 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6862] ppid=6789 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6862/stat : 6862 (java) S 6789 6792 3349 0 -1 1077944384 485 12527 0 0 12 0 7 4 20 0 20 0 12435460 11175264256 44052 33554432000 4194304 4196468 140736121041872 140490892896368 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6863] ppid=6789 vsize=10913344 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6863/stat : 6863 (java) R 6789 6792 3349 0 -1 4202560 1206 12527 0 0 27 0 7 4 20 0 20 0 12435460 11175264256 44052 33554432000 4194304 4196468 140736121041872 140490891843864 140491404078433 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6864] ppid=6789 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6864/stat : 6864 (java) S 6789 6792 3349 0 -1 1077944384 3 12527 0 0 0 0 7 4 20 0 20 0 12435460 11175264256 44052 33554432000 4194304 4196468 140736121041872 140490890792032 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6865] ppid=6789 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6865/stat : 6865 (java) S 6789 6792 3349 0 -1 1077944384 7 12527 0 0 0 0 7 4 20 0 20 0 12435460 11175264256 44052 33554432000 4194304 4196468 140736121041872 140490889739312 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 10913344

[startup+3.10112 s]
/proc/loadavg: 1.47 1.35 1.39 4/288 6865
/proc/meminfo: memFree=30320416/32770624 swapFree=5892/379844
[pid=6792] ppid=6789 vsize=10925820 CPUtime=6.78 cores=1,3,5,7,9,11,13,15
/proc/6792/stat : 6792 (java) S 6789 6792 3349 0 -1 1077944320 46441 12527 0 0 645 22 7 4 20 0 20 0 12435439 11188039680 62534 33554432000 4194304 4196468 140736121041872 140736121024416 140491424710391 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
/proc/6792/statm: 2731455 62534 3482 1 0 2719010 0
[pid=6792/tid=6847] ppid=6789 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6847/stat : 6847 (java) R 6789 6792 3349 0 -1 4202560 31980 12527 0 0 280 10 7 4 20 0 20 0 12435451 11188039680 62534 33554432000 4194304 4196468 140736121041872 140491428918320 140491409876030 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6848] ppid=6789 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6848/stat : 6848 (java) S 6789 6792 3349 0 -1 1077944384 25 12527 0 0 0 0 7 4 20 0 20 0 12435452 11188039680 62534 33554432000 4194304 4196468 140736121041872 140491350785168 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6849] ppid=6789 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6849/stat : 6849 (java) S 6789 6792 3349 0 -1 1077944384 12 12527 0 0 0 0 7 4 20 0 20 0 12435452 11188039680 62534 33554432000 4194304 4196468 140736121041872 140491349732368 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6850] ppid=6789 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6850/stat : 6850 (java) S 6789 6792 3349 0 -1 1077944384 31 12527 0 0 0 0 7 4 20 0 20 0 12435452 11188039680 62534 33554432000 4194304 4196468 140736121041872 140491348679568 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6851] ppid=6789 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6851/stat : 6851 (java) S 6789 6792 3349 0 -1 1077944384 38 12527 0 0 0 0 7 4 20 0 20 0 12435452 11188039680 62534 33554432000 4194304 4196468 140736121041872 140491347626768 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6852] ppid=6789 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6852/stat : 6852 (java) S 6789 6792 3349 0 -1 1077944384 26 12527 0 0 1 0 7 4 20 0 20 0 12435452 11188039680 62534 33554432000 4194304 4196468 140736121041872 140491346573968 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6853] ppid=6789 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6853/stat : 6853 (java) S 6789 6792 3349 0 -1 1077944384 38 12527 0 0 1 0 7 4 20 0 20 0 12435452 11188039680 62534 33554432000 4194304 4196468 140736121041872 140491345521168 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6854] ppid=6789 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6854/stat : 6854 (java) S 6789 6792 3349 0 -1 1077944384 135 12527 0 0 1 0 7 4 20 0 20 0 12435452 11188039680 62534 33554432000 4194304 4196468 140736121041872 140491344468368 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6855] ppid=6789 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6855/stat : 6855 (java) S 6789 6792 3349 0 -1 1077944384 25 12527 0 0 1 0 7 4 20 0 20 0 12435452 11188039680 62534 33554432000 4194304 4196468 140736121041872 140491343415568 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6856] ppid=6789 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6856/stat : 6856 (java) S 6789 6792 3349 0 -1 1077944384 750 12527 0 0 1 0 7 4 20 0 20 0 12435454 11188039680 62534 33554432000 4194304 4196468 140736121041872 140490899213168 140491424721538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6857] ppid=6789 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6857/stat : 6857 (java) S 6789 6792 3349 0 -1 1077944384 56 12527 0 0 0 0 7 4 20 0 20 0 12435455 11188039680 62534 33554432000 4194304 4196468 140736121041872 140490898159200 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6858] ppid=6789 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6858/stat : 6858 (java) S 6789 6792 3349 0 -1 1077944384 44 12527 0 0 0 0 7 4 20 0 20 0 12435456 11188039680 62534 33554432000 4194304 4196468 140736121041872 140490897106288 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6859] ppid=6789 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6859/stat : 6859 (java) S 6789 6792 3349 0 -1 1077944384 1 12527 0 0 0 0 7 4 20 0 20 0 12435460 11188039680 62534 33554432000 4194304 4196468 140736121041872 140490896054608 140491424728987 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6860] ppid=6789 vsize=10925820 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6860/stat : 6860 (java) S 6789 6792 3349 0 -1 1077944384 2063 12527 0 0 76 1 7 4 20 0 20 0 12435460 11188039680 62534 33554432000 4194304 4196468 140736121041872 140490895001968 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6861] ppid=6789 vsize=10925820 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6861/stat : 6861 (java) S 6789 6792 3349 0 -1 1077944384 4371 12527 0 0 103 1 7 4 20 0 20 0 12435460 11188039680 62534 33554432000 4194304 4196468 140736121041872 140490893949168 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6862] ppid=6789 vsize=10925820 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6862/stat : 6862 (java) S 6789 6792 3349 0 -1 1077944384 1463 12527 0 0 75 0 7 4 20 0 20 0 12435460 11188039680 62534 33554432000 4194304 4196468 140736121041872 140490892896368 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6863] ppid=6789 vsize=10925820 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6863/stat : 6863 (java) S 6789 6792 3349 0 -1 1077944384 3238 12527 0 0 97 1 7 4 20 0 20 0 12435460 11188039680 62534 33554432000 4194304 4196468 140736121041872 140490891843568 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6864] ppid=6789 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6864/stat : 6864 (java) S 6789 6792 3349 0 -1 1077944384 3 12527 0 0 0 0 7 4 20 0 20 0 12435460 11188039680 62534 33554432000 4194304 4196468 140736121041872 140490890792032 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6865] ppid=6789 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6865/stat : 6865 (java) S 6789 6792 3349 0 -1 1077944384 8 12527 0 0 0 0 7 4 20 0 20 0 12435460 11188039680 62534 33554432000 4194304 4196468 140736121041872 140490889739312 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
Current children cumulated CPU time (s) 6.78
Current children cumulated vsize (KiB) 10925820

[startup+6.30095 s]
/proc/loadavg: 1.43 1.35 1.39 3/288 6865
/proc/meminfo: memFree=30083612/32770624 swapFree=5892/379836
[pid=6792] ppid=6789 vsize=10927868 CPUtime=13.28 cores=1,3,5,7,9,11,13,15
/proc/6792/stat : 6792 (java) S 6789 6792 3349 0 -1 1077944320 49381 12527 0 0 1271 46 7 4 20 0 20 0 12435439 11190136832 141583 33554432000 4194304 4196468 140736121041872 140736121024416 140491424710391 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
/proc/6792/statm: 2731967 141583 3497 1 0 2719522 0
[pid=6792/tid=6847] ppid=6789 vsize=10927868 CPUtime=6.13 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6847/stat : 6847 (java) R 6789 6792 3349 0 -1 4202560 33025 12527 0 0 588 14 7 4 20 0 20 0 12435451 11190136832 141583 33554432000 4194304 4196468 140736121041872 140491428942904 140491019192048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6848] ppid=6789 vsize=10927868 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6848/stat : 6848 (java) S 6789 6792 3349 0 -1 1077944384 56 12527 0 0 3 3 7 4 20 0 20 0 12435452 11190136832 141583 33554432000 4194304 4196468 140736121041872 140491350785168 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6849] ppid=6789 vsize=10927868 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6849/stat : 6849 (java) S 6789 6792 3349 0 -1 1077944384 60 12527 0 0 3 3 7 4 20 0 20 0 12435452 11190136832 141583 33554432000 4194304 4196468 140736121041872 140491349732368 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6850] ppid=6789 vsize=10927868 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6850/stat : 6850 (java) S 6789 6792 3349 0 -1 1077944384 60 12527 0 0 3 2 7 4 20 0 20 0 12435452 11190136832 141583 33554432000 4194304 4196468 140736121041872 140491348679568 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6851] ppid=6789 vsize=10927868 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6851/stat : 6851 (java) S 6789 6792 3349 0 -1 1077944384 75 12527 0 0 3 3 7 4 20 0 20 0 12435452 11190136832 141583 33554432000 4194304 4196468 140736121041872 140491347626768 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6852] ppid=6789 vsize=10927868 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6852/stat : 6852 (java) S 6789 6792 3349 0 -1 1077944384 53 12527 0 0 3 2 7 4 20 0 20 0 12435452 11190136832 141583 33554432000 4194304 4196468 140736121041872 140491346573968 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6853] ppid=6789 vsize=10927868 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6853/stat : 6853 (java) S 6789 6792 3349 0 -1 1077944384 72 12527 0 0 4 3 7 4 20 0 20 0 12435452 11190136832 141583 33554432000 4194304 4196468 140736121041872 140491345521168 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6854] ppid=6789 vsize=10927868 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6854/stat : 6854 (java) S 6789 6792 3349 0 -1 1077944384 175 12527 0 0 4 2 7 4 20 0 20 0 12435452 11190136832 141583 33554432000 4194304 4196468 140736121041872 140491344468368 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6855] ppid=6789 vsize=10927868 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6855/stat : 6855 (java) S 6789 6792 3349 0 -1 1077944384 94 12527 0 0 3 3 7 4 20 0 20 0 12435452 11190136832 141583 33554432000 4194304 4196468 140736121041872 140491343415568 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6856] ppid=6789 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6856/stat : 6856 (java) S 6789 6792 3349 0 -1 1077944384 951 12527 0 0 3 0 7 4 20 0 20 0 12435454 11190136832 141583 33554432000 4194304 4196468 140736121041872 140490899213168 140491424721538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6857] ppid=6789 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6857/stat : 6857 (java) S 6789 6792 3349 0 -1 1077944384 56 12527 0 0 0 0 7 4 20 0 20 0 12435455 11190136832 141583 33554432000 4194304 4196468 140736121041872 140490898159200 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6858] ppid=6789 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6858/stat : 6858 (java) S 6789 6792 3349 0 -1 1077944384 45 12527 0 0 0 0 7 4 20 0 20 0 12435456 11190136832 141583 33554432000 4194304 4196468 140736121041872 140490897106304 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6859] ppid=6789 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6859/stat : 6859 (java) S 6789 6792 3349 0 -1 1077944384 1 12527 0 0 0 0 7 4 20 0 20 0 12435460 11190136832 141583 33554432000 4194304 4196468 140736121041872 140490896054608 140491424728987 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6860] ppid=6789 vsize=10927868 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6860/stat : 6860 (java) S 6789 6792 3349 0 -1 1077944384 2309 12527 0 0 161 1 7 4 20 0 20 0 12435460 11190136832 141583 33554432000 4194304 4196468 140736121041872 140490895001968 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6861] ppid=6789 vsize=10927868 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6861/stat : 6861 (java) S 6789 6792 3349 0 -1 1077944384 4743 12527 0 0 186 1 7 4 20 0 20 0 12435460 11190136832 141583 33554432000 4194304 4196468 140736121041872 140490893949168 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6862] ppid=6789 vsize=10927868 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6862/stat : 6862 (java) S 6789 6792 3349 0 -1 1077944384 1702 12527 0 0 164 0 7 4 20 0 20 0 12435460 11190136832 141583 33554432000 4194304 4196468 140736121041872 140490892896368 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6863] ppid=6789 vsize=10927868 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6863/stat : 6863 (java) S 6789 6792 3349 0 -1 1077944384 3757 12527 0 0 133 2 7 4 20 0 20 0 12435460 11190136832 141583 33554432000 4194304 4196468 140736121041872 140490891843568 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6864] ppid=6789 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15

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

[pid=6792/tid=6859] ppid=6789 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6859/stat : 6859 (java) S 6789 6792 3349 0 -1 1077944384 1 12527 0 0 0 0 7 4 20 0 20 0 12435460 11261440000 828070 33554432000 4194304 4196468 140736121041872 140490896054608 140491424728987 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6860] ppid=6789 vsize=10997500 CPUtime=5.48 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6860/stat : 6860 (java) S 6789 6792 3349 0 -1 1077944384 15801 12527 0 0 533 4 7 4 20 0 20 0 12435460 11261440000 828070 33554432000 4194304 4196468 140736121041872 140490895001968 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6861] ppid=6789 vsize=10997500 CPUtime=5.5 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6861/stat : 6861 (java) S 6789 6792 3349 0 -1 1077944384 18461 12527 0 0 536 3 7 4 20 0 20 0 12435460 11261440000 828070 33554432000 4194304 4196468 140736121041872 140490893949168 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6862] ppid=6789 vsize=10997500 CPUtime=5.27 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6862/stat : 6862 (java) S 6789 6792 3349 0 -1 1077944384 12092 12527 0 0 513 3 7 4 20 0 20 0 12435460 11261440000 828070 33554432000 4194304 4196468 140736121041872 140490892896368 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6863] ppid=6789 vsize=10997500 CPUtime=2.45 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6863/stat : 6863 (java) S 6789 6792 3349 0 -1 1077944384 17674 12527 0 0 229 5 7 4 20 0 20 0 12435460 11261440000 828070 33554432000 4194304 4196468 140736121041872 140490891843568 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6864] ppid=6789 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6864/stat : 6864 (java) S 6789 6792 3349 0 -1 1077944384 3 12527 0 0 0 0 7 4 20 0 20 0 12435460 11261440000 828070 33554432000 4194304 4196468 140736121041872 140490890792032 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6865] ppid=6789 vsize=10997500 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6865/stat : 6865 (java) S 6789 6792 3349 0 -1 1077944384 1650 12527 0 0 60 75 7 4 20 0 20 0 12435460 11261440000 828070 33554432000 4194304 4196468 140736121041872 140490889739312 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 10997500

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

[startup+2333.21 s]
/proc/loadavg: 1.33 1.55 1.66 3/287 7129
/proc/meminfo: memFree=24543672/32770624 swapFree=5892/381352
[pid=6792] ppid=6789 vsize=11130628 CPUtime=2400.62 cores=1,3,5,7,9,11,13,15
/proc/6792/stat : 6792 (java) S 6789 6792 3349 0 -1 1077944320 420849 12527 0 0 239239 812 7 4 20 0 22 0 12435439 11397763072 830227 33554432000 4194304 4196468 140736121041872 140736121024416 140491424710391 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
/proc/6792/statm: 2782657 830227 3514 1 0 2770212 0
[pid=6792/tid=6847] ppid=6789 vsize=11130628 CPUtime=2322.19 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6847/stat : 6847 (java) S 6789 6792 3349 0 -1 1077944384 215046 12527 0 0 232119 89 7 4 20 0 22 0 12435451 11397763072 830227 33554432000 4194304 4196468 140736121041872 140491428948096 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6848] ppid=6789 vsize=11130628 CPUtime=7.36 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6848/stat : 6848 (java) R 6789 6792 3349 0 -1 4202560 15042 12527 0 0 643 82 7 4 20 0 22 0 12435452 11397763072 830227 33554432000 4194304 4196468 140736121041872 140491350785368 140491409411024 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6849] ppid=6789 vsize=11130628 CPUtime=7.32 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6849/stat : 6849 (java) R 6789 6792 3349 0 -1 4202560 16562 12527 0 0 640 81 7 4 20 0 22 0 12435452 11397763072 830227 33554432000 4194304 4196468 140736121041872 140491349732256 140491409411024 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6850] ppid=6789 vsize=11130628 CPUtime=7.28 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6850/stat : 6850 (java) R 6789 6792 3349 0 -1 4202560 10008 12527 0 0 639 78 7 4 20 0 22 0 12435452 11397763072 830227 33554432000 4194304 4196468 140736121041872 140491348679768 140491409411009 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6851] ppid=6789 vsize=11130628 CPUtime=7.35 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6851/stat : 6851 (java) R 6789 6792 3349 0 -1 4202560 10323 12527 0 0 645 79 7 4 20 0 22 0 12435452 11397763072 830227 33554432000 4194304 4196468 140736121041872 140491347626968 140491409411038 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6852] ppid=6789 vsize=11130628 CPUtime=7.28 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6852/stat : 6852 (java) R 6789 6792 3349 0 -1 4202560 12887 12527 0 0 639 78 7 4 20 0 22 0 12435452 11397763072 830227 33554432000 4194304 4196468 140736121041872 140491346574168 140491409411395 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6853] ppid=6789 vsize=11130628 CPUtime=7.27 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6853/stat : 6853 (java) R 6789 6792 3349 0 -1 4202560 15641 12527 0 0 636 80 7 4 20 0 22 0 12435452 11397763072 830227 33554432000 4194304 4196468 140736121041872 140491345521368 140491409411058 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6854] ppid=6789 vsize=11130628 CPUtime=7.3 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6854/stat : 6854 (java) R 6789 6792 3349 0 -1 4202560 9983 12527 0 0 640 79 7 4 20 0 22 0 12435452 11397763072 830227 33554432000 4194304 4196468 140736121041872 140491344468568 140491409410152 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6855] ppid=6789 vsize=11130628 CPUtime=7.23 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6855/stat : 6855 (java) R 6789 6792 3349 0 -1 4202560 14707 12527 0 0 633 79 7 4 20 0 22 0 12435452 11397763072 830227 33554432000 4194304 4196468 140736121041872 140491343415768 140491409700005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6856] ppid=6789 vsize=11130628 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6856/stat : 6856 (java) S 6789 6792 3349 0 -1 1077944384 32395 12527 0 0 99 18 7 4 20 0 22 0 12435454 11397763072 830227 33554432000 4194304 4196468 140736121041872 140490899211792 140491424720597 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6857] ppid=6789 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6857/stat : 6857 (java) S 6789 6792 3349 0 -1 1077944384 58 12527 0 0 0 0 7 4 20 0 22 0 12435455 11397763072 830227 33554432000 4194304 4196468 140736121041872 140490898159264 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6858] ppid=6789 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6858/stat : 6858 (java) S 6789 6792 3349 0 -1 1077944384 45 12527 0 0 0 0 7 4 20 0 22 0 12435456 11397763072 830227 33554432000 4194304 4196468 140736121041872 140490897106304 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6859] ppid=6789 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6859/stat : 6859 (java) S 6789 6792 3349 0 -1 1077944384 113 12527 0 0 0 0 7 4 20 0 22 0 12435460 11397763072 830227 33554432000 4194304 4196468 140736121041872 140490896054608 140491424728987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6860] ppid=6789 vsize=11130628 CPUtime=5.48 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6860/stat : 6860 (java) S 6789 6792 3349 0 -1 1077944384 15801 12527 0 0 533 4 7 4 20 0 22 0 12435460 11397763072 830227 33554432000 4194304 4196468 140736121041872 140490895001968 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6861] ppid=6789 vsize=11130628 CPUtime=5.5 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6861/stat : 6861 (java) S 6789 6792 3349 0 -1 1077944384 18557 12527 0 0 536 3 7 4 20 0 22 0 12435460 11397763072 830227 33554432000 4194304 4196468 140736121041872 140490893933520 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6862] ppid=6789 vsize=11130628 CPUtime=5.27 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6862/stat : 6862 (java) S 6789 6792 3349 0 -1 1077944384 12092 12527 0 0 513 3 7 4 20 0 22 0 12435460 11397763072 830227 33554432000 4194304 4196468 140736121041872 140490892896368 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6863] ppid=6789 vsize=11130628 CPUtime=2.45 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6863/stat : 6863 (java) S 6789 6792 3349 0 -1 1077944384 17674 12527 0 0 229 5 7 4 20 0 22 0 12435460 11397763072 830227 33554432000 4194304 4196468 140736121041872 140490891843568 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6864] ppid=6789 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6864/stat : 6864 (java) S 6789 6792 3349 0 -1 1077944384 3 12527 0 0 0 0 7 4 20 0 22 0 12435460 11397763072 830227 33554432000 4194304 4196468 140736121041872 140490890792032 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6865] ppid=6789 vsize=11130628 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6865/stat : 6865 (java) S 6789 6792 3349 0 -1 1077944384 1650 12527 0 0 60 75 7 4 20 0 22 0 12435460 11397763072 830227 33554432000 4194304 4196468 140736121041872 140490889739312 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
Current children cumulated CPU time (s) 2400.62
Current children cumulated vsize (KiB) 11130628

[startup+2333.6 s]
/proc/loadavg: 1.33 1.55 1.66 3/287 7129
/proc/meminfo: memFree=24543672/32770624 swapFree=5892/381352
[pid=6792] ppid=6789 vsize=11130628 CPUtime=2403.31 cores=1,3,5,7,9,11,13,15
/proc/6792/stat : 6792 (java) S 6789 6792 3349 0 -1 1077944320 421175 12527 0 0 239507 813 7 4 20 0 22 0 12435439 11397763072 830230 33554432000 4194304 4196468 140736121041872 140736121024416 140491424710391 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
/proc/6792/statm: 2782657 830230 3514 1 0 2770212 0
[pid=6792/tid=6847] ppid=6789 vsize=11130628 CPUtime=2322.19 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6847/stat : 6847 (java) S 6789 6792 3349 0 -1 1077944384 215046 12527 0 0 232119 89 7 4 20 0 22 0 12435451 11397763072 830230 33554432000 4194304 4196468 140736121041872 140491428948096 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6848] ppid=6789 vsize=11130628 CPUtime=7.68 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6848/stat : 6848 (java) R 6789 6792 3349 0 -1 4202560 15042 12527 0 0 675 82 7 4 20 0 22 0 12435452 11397763072 830230 33554432000 4194304 4196468 140736121041872 140491350785368 140491417338599 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6849] ppid=6789 vsize=11130628 CPUtime=7.65 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6849/stat : 6849 (java) R 6789 6792 3349 0 -1 4202560 16562 12527 0 0 673 81 7 4 20 0 22 0 12435452 11397763072 830230 33554432000 4194304 4196468 140736121041872 140491349732568 140491417338599 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6850] ppid=6789 vsize=11130628 CPUtime=7.61 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6850/stat : 6850 (java) R 6789 6792 3349 0 -1 4202560 10022 12527 0 0 672 78 7 4 20 0 22 0 12435452 11397763072 830230 33554432000 4194304 4196468 140736121041872 140491348679688 140491408093426 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6851] ppid=6789 vsize=11130628 CPUtime=7.68 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6851/stat : 6851 (java) R 6789 6792 3349 0 -1 4202560 10324 12527 0 0 678 79 7 4 20 0 22 0 12435452 11397763072 830230 33554432000 4194304 4196468 140736121041872 140491347626968 140491417338599 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6852] ppid=6789 vsize=11130628 CPUtime=7.61 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6852/stat : 6852 (java) R 6789 6792 3349 0 -1 4202560 12890 12527 0 0 672 78 7 4 20 0 22 0 12435452 11397763072 830230 33554432000 4194304 4196468 140736121041872 140491346574168 140491417338599 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6853] ppid=6789 vsize=11130628 CPUtime=7.6 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6853/stat : 6853 (java) R 6789 6792 3349 0 -1 4202560 15642 12527 0 0 669 80 7 4 20 0 22 0 12435452 11397763072 830230 33554432000 4194304 4196468 140736121041872 140491345521368 140491417338599 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6854] ppid=6789 vsize=11130628 CPUtime=7.63 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6854/stat : 6854 (java) R 6789 6792 3349 0 -1 4202560 9985 12527 0 0 673 79 7 4 20 0 22 0 12435452 11397763072 830230 33554432000 4194304 4196468 140736121041872 140491344468568 140491409706900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6855] ppid=6789 vsize=11130628 CPUtime=7.56 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6855/stat : 6855 (java) R 6789 6792 3349 0 -1 4202560 14708 12527 0 0 666 79 7 4 20 0 22 0 12435452 11397763072 830230 33554432000 4194304 4196468 140736121041872 140491343415768 140491417338599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6856] ppid=6789 vsize=11130628 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6856/stat : 6856 (java) S 6789 6792 3349 0 -1 1077944384 32694 12527 0 0 104 18 7 4 20 0 22 0 12435454 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490899211792 140491424720597 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6857] ppid=6789 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6857/stat : 6857 (java) S 6789 6792 3349 0 -1 1077944384 61 12527 0 0 0 0 7 4 20 0 22 0 12435455 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490898159248 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6858] ppid=6789 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6858/stat : 6858 (java) S 6789 6792 3349 0 -1 1077944384 45 12527 0 0 0 0 7 4 20 0 22 0 12435456 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490897106304 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6859] ppid=6789 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6859/stat : 6859 (java) S 6789 6792 3349 0 -1 1077944384 113 12527 0 0 0 0 7 4 20 0 22 0 12435460 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490896054608 140491424728987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6860] ppid=6789 vsize=11130628 CPUtime=5.48 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6860/stat : 6860 (java) S 6789 6792 3349 0 -1 1077944384 15801 12527 0 0 533 4 7 4 20 0 22 0 12435460 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490895001968 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6861] ppid=6789 vsize=11130628 CPUtime=5.5 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6861/stat : 6861 (java) S 6789 6792 3349 0 -1 1077944384 18559 12527 0 0 536 3 7 4 20 0 22 0 12435460 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490893938688 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6862] ppid=6789 vsize=11130628 CPUtime=5.27 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6862/stat : 6862 (java) S 6789 6792 3349 0 -1 1077944384 12092 12527 0 0 513 3 7 4 20 0 22 0 12435460 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490892896368 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6863] ppid=6789 vsize=11130628 CPUtime=2.45 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6863/stat : 6863 (java) S 6789 6792 3349 0 -1 1077944384 17674 12527 0 0 229 5 7 4 20 0 22 0 12435460 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490891843568 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6864] ppid=6789 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6864/stat : 6864 (java) S 6789 6792 3349 0 -1 1077944384 3 12527 0 0 0 0 7 4 20 0 22 0 12435460 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490890792032 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6865] ppid=6789 vsize=11130628 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6865/stat : 6865 (java) S 6789 6792 3349 0 -1 1077944384 1650 12527 0 0 60 75 7 4 20 0 22 0 12435460 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490889739312 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
Current children cumulated CPU time (s) 2403.31
Current children cumulated vsize (KiB) 11130628

[startup+2333.7 s]
/proc/loadavg: 1.33 1.55 1.66 3/287 7129
/proc/meminfo: memFree=24543672/32770624 swapFree=5892/381352
[pid=6792] ppid=6789 vsize=11130628 CPUtime=2403.99 cores=1,3,5,7,9,11,13,15
/proc/6792/stat : 6792 (java) S 6789 6792 3349 0 -1 1077944320 421177 12527 0 0 239574 814 7 4 20 0 22 0 12435439 11397763072 830230 33554432000 4194304 4196468 140736121041872 140736121024416 140491424710391 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
/proc/6792/statm: 2782657 830230 3514 1 0 2770212 0
[pid=6792/tid=6847] ppid=6789 vsize=11130628 CPUtime=2322.19 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6847/stat : 6847 (java) S 6789 6792 3349 0 -1 1077944384 215046 12527 0 0 232119 89 7 4 20 0 22 0 12435451 11397763072 830230 33554432000 4194304 4196468 140736121041872 140491428948096 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6848] ppid=6789 vsize=11130628 CPUtime=7.76 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6848/stat : 6848 (java) R 6789 6792 3349 0 -1 4202560 15042 12527 0 0 683 82 7 4 20 0 22 0 12435452 11397763072 830230 33554432000 4194304 4196468 140736121041872 140491350785288 140491417338599 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6849] ppid=6789 vsize=11130628 CPUtime=7.73 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6849/stat : 6849 (java) R 6789 6792 3349 0 -1 4202560 16562 12527 0 0 681 81 7 4 20 0 22 0 12435452 11397763072 830230 33554432000 4194304 4196468 140736121041872 140491349732488 140491417338599 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6850] ppid=6789 vsize=11130628 CPUtime=7.69 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6850/stat : 6850 (java) R 6789 6792 3349 0 -1 4202560 10023 12527 0 0 680 78 7 4 20 0 22 0 12435452 11397763072 830230 33554432000 4194304 4196468 140736121041872 140491348679688 140491408093433 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6851] ppid=6789 vsize=11130628 CPUtime=7.76 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6851/stat : 6851 (java) R 6789 6792 3349 0 -1 4202560 10324 12527 0 0 686 79 7 4 20 0 22 0 12435452 11397763072 830230 33554432000 4194304 4196468 140736121041872 140491347626888 140491417338599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6852] ppid=6789 vsize=11130628 CPUtime=7.69 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6852/stat : 6852 (java) R 6789 6792 3349 0 -1 4202560 12890 12527 0 0 680 78 7 4 20 0 22 0 12435452 11397763072 830230 33554432000 4194304 4196468 140736121041872 140491346574088 140491417338599 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6853] ppid=6789 vsize=11130628 CPUtime=7.69 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6853/stat : 6853 (java) R 6789 6792 3349 0 -1 4202560 15642 12527 0 0 678 80 7 4 20 0 22 0 12435452 11397763072 830230 33554432000 4194304 4196468 140736121041872 140491345521288 140491417338599 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6854] ppid=6789 vsize=11130628 CPUtime=7.71 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6854/stat : 6854 (java) R 6789 6792 3349 0 -1 4202560 9985 12527 0 0 681 79 7 4 20 0 22 0 12435452 11397763072 830230 33554432000 4194304 4196468 140736121041872 140491344468568 140491409707053 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6855] ppid=6789 vsize=11130628 CPUtime=7.65 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6855/stat : 6855 (java) R 6789 6792 3349 0 -1 4202560 14708 12527 0 0 674 80 7 4 20 0 22 0 12435452 11397763072 830230 33554432000 4194304 4196468 140736121041872 140491343415688 140491417338599 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6856] ppid=6789 vsize=11130628 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6856/stat : 6856 (java) S 6789 6792 3349 0 -1 1077944384 32694 12527 0 0 106 18 7 4 20 0 22 0 12435454 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490899211792 140491424720597 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6857] ppid=6789 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6857/stat : 6857 (java) S 6789 6792 3349 0 -1 1077944384 61 12527 0 0 0 0 7 4 20 0 22 0 12435455 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490898159344 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6858] ppid=6789 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6858/stat : 6858 (java) S 6789 6792 3349 0 -1 1077944384 45 12527 0 0 0 0 7 4 20 0 22 0 12435456 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490897106304 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6859] ppid=6789 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6859/stat : 6859 (java) S 6789 6792 3349 0 -1 1077944384 113 12527 0 0 0 0 7 4 20 0 22 0 12435460 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490896054608 140491424728987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6860] ppid=6789 vsize=11130628 CPUtime=5.48 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6860/stat : 6860 (java) S 6789 6792 3349 0 -1 1077944384 15801 12527 0 0 533 4 7 4 20 0 22 0 12435460 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490895001968 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6861] ppid=6789 vsize=11130628 CPUtime=5.5 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6861/stat : 6861 (java) S 6789 6792 3349 0 -1 1077944384 18559 12527 0 0 536 3 7 4 20 0 22 0 12435460 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490893938688 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6862] ppid=6789 vsize=11130628 CPUtime=5.27 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6862/stat : 6862 (java) S 6789 6792 3349 0 -1 1077944384 12092 12527 0 0 513 3 7 4 20 0 22 0 12435460 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490892896368 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6863] ppid=6789 vsize=11130628 CPUtime=2.45 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6863/stat : 6863 (java) S 6789 6792 3349 0 -1 1077944384 17674 12527 0 0 229 5 7 4 20 0 22 0 12435460 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490891843568 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6864] ppid=6789 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6864/stat : 6864 (java) S 6789 6792 3349 0 -1 1077944384 3 12527 0 0 0 0 7 4 20 0 22 0 12435460 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490890792032 140491424720597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
[pid=6792/tid=6865] ppid=6789 vsize=11130628 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/6792/task/6865/stat : 6865 (java) S 6789 6792 3349 0 -1 1077944384 1650 12527 0 0 60 75 7 4 20 0 22 0 12435460 11397763072 830230 33554432000 4194304 4196468 140736121041872 140490889739312 140491424721538 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34209792 140736121043649 140736121046423 140736121046423 140736121049039 0
Current children cumulated CPU time (s) 2403.99
Current children cumulated vsize (KiB) 11130628

Child status: 143
Real time (s): 2333.74
CPU time (s): 2404.04
CPU user time (s): 2395.84
CPU system time (s): 8.20034
CPU usage (%): 103.012
Max. virtual memory (cumulated for all children) (KiB): 11130628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.84
system time used= 8.20034
maximum resident set size= 3321556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 433858
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94612
involuntary context switches= 131267

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4206 second user time and 19.8184 second system time

The end

Begin job on node133 at 2017-07-23 03:01:25
IDJOB=4249536
IDBENCH=137061
IDSOLVER=2630
FILE ID=node133/4249536-1500771685
RUNJOBID= node133-1500754473-3381
PBS_JOBID= 20624590
Free space on /tmp= 61828 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/BinPacking/BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4249536-1500771685/watcher-4249536-1500771685 -o /tmp/evaluation-result-4249536-1500771685/solver-4249536-1500771685 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500754473-3381 --watchdog 2560  bin/concrete HOME/instance-4249536-1500771685.xml

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

MD5SUM BENCH= 2f852f7efb9788b9c4f77f580498dd38
RANDOM SEED=1545836384

node133.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	: 5334.13
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		: 2133.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	: 5229.85
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		: 2668.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	: 5334.13
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	: 5229.85
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	: 5334.13
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	: 5229.85
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30493540 kB
MemAvailable:   31119124 kB
Buffers:          170940 kB
Cached:           729716 kB
SwapCached:            0 kB
Active:          1433296 kB
Inactive:         388544 kB
Active(anon):     923800 kB
Inactive(anon):     8776 kB
Active(file):     509496 kB
Inactive(file):   379768 kB
Unevictable:        5892 kB
Mlocked:            5892 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24364 kB
Writeback:             0 kB
AnonPages:        928024 kB
Mapped:            45216 kB
Shmem:              8904 kB
Slab:             138624 kB
SReclaimable:     104312 kB
SUnreclaim:        34312 kB
KernelStack:        4624 kB
PageTables:        10832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1391752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    831488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61804 MiB
End job on node133 at 2017-07-23 03:40:19

Name	BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml
MD5SUM	2f852f7efb9788b9c4f77f580498dd38
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	22
Best CPU time to get the best result obtained on this benchmark	2400.06
Satisfiable
(Un)Satisfiability was proved
Number of variables	371
Number of constraints	77
Number of domains	2
Minimum domain size	65
Maximum domain size	75
Distribution of domain sizes	[{"size":65,"count":370},{"size":75,"count":1}]
Minimum variable degree	2
Maximum variable degree	4
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":3,"count":296},{"degree":4,"count":74}]
Minimum constraint arity	5
Maximum constraint arity	370
Distribution of constraint arities	[{"arity":5,"count":74},{"arity":75,"count":1},{"arity":370,"count":2}]
Number of extensional constraints	74
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":74},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4249536

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data