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: AbsCon-basic 2017-06-11	SAT (TO)	218	2400.03	2377.71

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-4249184-1500748470/watcher-4249184-1500748470 -o /tmp/evaluation-result-4249184-1500748470/solver-4249184-1500748470 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500717213-13540 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4249184-1500748470.xml 

pid=21119
running on 8 cores: 4-7,12-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.05 2.03 2.02 3/262 21122
/proc/meminfo: memFree=31659216/32770624 swapFree=5832/233808
[pid=21122] ppid=21119 vsize=8357968 CPUtime=0 cores=4-7,12-15
/proc/21122/stat : 21122 (java) S 21119 21122 13508 0 -1 1077944320 2253 0 0 0 0 0 0 0 20 0 10 0 10112326 8558559232 2508 33554432000 4194304 4196468 140721036458784 140721036441328 140426180710135 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
/proc/21122/statm: 2089492 2508 1209 1 0 2078403 0
[pid=21122/tid=21123] ppid=21119 vsize=8882256 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21123/stat : 21123 (java) D 21119 21122 13508 0 -1 4202560 949 0 0 0 0 0 0 0 20 0 10 0 10112326 9095430144 2508 33554432000 4194304 4196468 140721036458784 140426184951912 140426152623554 0 4 0 16784584 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21124] ppid=21119 vsize=8816720 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21124/stat : 21124 (java) R 21119 21122 13508 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 10 0 10112327 9028321280 2508 33554432000 4194304 4196468 140721036458784 140426106784280 140426160734000 0 4 0 16784584 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21125] ppid=21119 vsize=9131088 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21125/stat : 21125 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 10112327 9350234112 2508 33554432000 4194304 4196468 140721036458784 140426105731856 140426180720341 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21126] ppid=21119 vsize=10195824 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21126/stat : 21126 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 10112327 10440523776 2537 33554432000 4194304 4196468 140721036458784 140426104679568 140426180720341 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21127] ppid=21119 vsize=10204016 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21127/stat : 21127 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 10112327 10448912384 2537 33554432000 4194304 4196468 140721036458784 140425784454160 140426180720341 0 4 0 16784584 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21128] ppid=21119 vsize=10204016 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21128/stat : 21128 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 10112327 10448912384 2537 33554432000 4194304 4196468 140721036458784 140425783400848 140426180720341 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21129] ppid=21119 vsize=10204852 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21129/stat : 21129 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 10112327 10449768448 2537 33554432000 4194304 4196468 140721036458784 140425782348048 140426180720341 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21130] ppid=21119 vsize=10204852 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21130/stat : 21130 (java) S 21119 21122 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 10112327 10449768448 2602 33554432000 4194304 4196468 140721036458784 140425781295760 140426180720341 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21131] ppid=21119 vsize=10204852 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21131/stat : 21131 (java) S 21119 21122 13508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 10112327 10449768448 2602 33554432000 4194304 4196468 140721036458784 140425780242960 140426180720341 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0

[startup+0.100101 s]
/proc/loadavg: 2.05 2.03 2.02 3/262 21122
/proc/meminfo: memFree=31659216/32770624 swapFree=5832/233808
[pid=21122] ppid=21119 vsize=10900580 CPUtime=0.09 cores=4-7,12-15
/proc/21122/stat : 21122 (java) S 21119 21122 13508 0 -1 1077944320 4889 0 0 0 8 1 0 0 20 0 20 0 10112326 11162193920 5971 33554432000 4194304 4196468 140721036458784 140721036441328 140426180710135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
/proc/21122/statm: 2725145 5971 2626 1 0 2713552 0
[pid=21122/tid=21123] ppid=21119 vsize=10900580 CPUtime=0.08 cores=4-7,12-15
/proc/21122/task/21123/stat : 21123 (java) R 21119 21122 13508 0 -1 4202560 2967 0 0 0 7 1 0 0 20 0 20 0 10112326 11162193920 5971 33554432000 4194304 4196468 140721036458784 140426184948144 140426166393366 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21124] ppid=21119 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21124/stat : 21124 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 10112327 11162193920 5971 33554432000 4194304 4196468 140721036458784 140426106784656 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21125] ppid=21119 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21125/stat : 21125 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 10112327 11162193920 5971 33554432000 4194304 4196468 140721036458784 140426105731856 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21126] ppid=21119 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21126/stat : 21126 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 10112327 11162193920 5971 33554432000 4194304 4196468 140721036458784 140426104679568 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21127] ppid=21119 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21127/stat : 21127 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 10112327 11162193920 5991 33554432000 4194304 4196468 140721036458784 140425784454160 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21128] ppid=21119 vsize=10900456 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21128/stat : 21128 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 10112327 11162066944 5991 33554432000 4194304 4196468 140721036458784 140425783400848 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21129] ppid=21119 vsize=10900456 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21129/stat : 21129 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 10112327 11162066944 5991 33554432000 4194304 4196468 140721036458784 140425782348048 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21130] ppid=21119 vsize=10900456 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21130/stat : 21130 (java) S 21119 21122 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10112327 11162066944 5991 33554432000 4194304 4196468 140721036458784 140425781295760 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21131] ppid=21119 vsize=10900456 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21131/stat : 21131 (java) S 21119 21122 13508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10112327 11162066944 5991 33554432000 4194304 4196468 140721036458784 140425780242960 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900580

[startup+0.200799 s]
/proc/loadavg: 2.05 2.03 2.02 3/262 21122
/proc/meminfo: memFree=31659216/32770624 swapFree=5832/233808
[pid=21122] ppid=21119 vsize=10900580 CPUtime=0.27 cores=4-7,12-15
/proc/21122/stat : 21122 (java) S 21119 21122 13508 0 -1 1077944320 7664 0 0 0 25 2 0 0 20 0 20 0 10112326 11162193920 9059 33554432000 4194304 4196468 140721036458784 140721036441328 140426180710135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
/proc/21122/statm: 2725145 9059 2920 1 0 2713552 0
[pid=21122/tid=21123] ppid=21119 vsize=10900580 CPUtime=0.18 cores=4-7,12-15
/proc/21122/task/21123/stat : 21123 (java) R 21119 21122 13508 0 -1 4202560 4835 0 0 0 16 2 0 0 20 0 20 0 10112326 11162193920 9059 33554432000 4194304 4196468 140721036458784 140426184942112 140426164790622 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21124] ppid=21119 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21124/stat : 21124 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 10112327 11162193920 9059 33554432000 4194304 4196468 140721036458784 140426106784656 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21125] ppid=21119 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21125/stat : 21125 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 10112327 11162193920 9059 33554432000 4194304 4196468 140721036458784 140426105731856 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21126] ppid=21119 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21126/stat : 21126 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 10112327 11162193920 9059 33554432000 4194304 4196468 140721036458784 140426104679568 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21127] ppid=21119 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21127/stat : 21127 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 10112327 11162193920 9059 33554432000 4194304 4196468 140721036458784 140425784454160 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21128] ppid=21119 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21128/stat : 21128 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 10112327 11162193920 9059 33554432000 4194304 4196468 140721036458784 140425783400848 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21129] ppid=21119 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21129/stat : 21129 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 10112327 11162193920 9059 33554432000 4194304 4196468 140721036458784 140425782348048 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21130] ppid=21119 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21130/stat : 21130 (java) S 21119 21122 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10112327 11162193920 9059 33554432000 4194304 4196468 140721036458784 140425781295760 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21131] ppid=21119 vsize=10900580 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21131/stat : 21131 (java) S 21119 21122 13508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10112327 11162193920 9059 33554432000 4194304 4196468 140721036458784 140425780242960 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10900580

[startup+0.300607 s]
/proc/loadavg: 2.05 2.03 2.02 3/262 21122
/proc/meminfo: memFree=31659216/32770624 swapFree=5832/233808
[pid=21122] ppid=21119 vsize=10969228 CPUtime=0.48 cores=4-7,12-15
/proc/21122/stat : 21122 (java) S 21119 21122 13508 0 -1 1077944320 8482 0 0 0 45 3 0 0 20 0 21 0 10112326 11232489472 13253 33554432000 4194304 4196468 140721036458784 140721036441328 140426180710135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
/proc/21122/statm: 2742307 13253 2986 1 0 2730193 0
[pid=21122/tid=21123] ppid=21119 vsize=10969228 CPUtime=0.25 cores=4-7,12-15
/proc/21122/task/21123/stat : 21123 (java) S 21119 21122 13508 0 -1 1077944384 5186 0 0 0 23 2 0 0 20 0 21 0 10112326 11232489472 13253 33554432000 4194304 4196468 140721036458784 140426184953008 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21124] ppid=21119 vsize=10969228 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21124/stat : 21124 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 10112327 11232489472 13253 33554432000 4194304 4196468 140721036458784 140426106784656 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21125] ppid=21119 vsize=10969228 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21125/stat : 21125 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 10112327 11232489472 13253 33554432000 4194304 4196468 140721036458784 140426105731856 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21126] ppid=21119 vsize=10969228 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21126/stat : 21126 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 10112327 11232489472 13253 33554432000 4194304 4196468 140721036458784 140426104679568 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21127] ppid=21119 vsize=10969228 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21127/stat : 21127 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 10112327 11232489472 13253 33554432000 4194304 4196468 140721036458784 140425784454160 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21128] ppid=21119 vsize=10969228 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21128/stat : 21128 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 10112327 11232489472 13253 33554432000 4194304 4196468 140721036458784 140425783400848 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21129] ppid=21119 vsize=10969228 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21129/stat : 21129 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 10112327 11232489472 13253 33554432000 4194304 4196468 140721036458784 140425782348048 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21130] ppid=21119 vsize=10969228 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21130/stat : 21130 (java) S 21119 21122 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 10112327 11232489472 13253 33554432000 4194304 4196468 140721036458784 140425781295760 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21131] ppid=21119 vsize=10969228 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21131/stat : 21131 (java) S 21119 21122 13508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 10112327 11232489472 13253 33554432000 4194304 4196468 140721036458784 140425780242960 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10969228

[startup+0.700666 s]
/proc/loadavg: 2.05 2.03 2.02 3/262 21122
/proc/meminfo: memFree=31659216/32770624 swapFree=5832/233808
[pid=21122] ppid=21119 vsize=10971352 CPUtime=1.43 cores=4-7,12-15
/proc/21122/stat : 21122 (java) S 21119 21122 13508 0 -1 1077944320 12806 0 0 0 138 5 0 0 20 0 21 0 10112326 11234664448 21030 33554432000 4194304 4196468 140721036458784 140721036441328 140426180710135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
/proc/21122/statm: 2742838 21030 3097 1 0 2730705 0
[pid=21122/tid=21123] ppid=21119 vsize=10971352 CPUtime=0.25 cores=4-7,12-15
/proc/21122/task/21123/stat : 21123 (java) S 21119 21122 13508 0 -1 1077944384 5186 0 0 0 23 2 0 0 20 0 21 0 10112326 11234664448 21030 33554432000 4194304 4196468 140721036458784 140426184953008 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21124] ppid=21119 vsize=10971352 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21124/stat : 21124 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 10112327 11234664448 21030 33554432000 4194304 4196468 140721036458784 140426106784656 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21125] ppid=21119 vsize=10971352 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21125/stat : 21125 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 10112327 11234664448 21030 33554432000 4194304 4196468 140721036458784 140426105731856 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21126] ppid=21119 vsize=10971352 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21126/stat : 21126 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 10112327 11234664448 21030 33554432000 4194304 4196468 140721036458784 140426104679568 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21127] ppid=21119 vsize=10971352 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21127/stat : 21127 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 10112327 11234664448 21030 33554432000 4194304 4196468 140721036458784 140425784454160 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21128] ppid=21119 vsize=10971352 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21128/stat : 21128 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 10112327 11234664448 21030 33554432000 4194304 4196468 140721036458784 140425783400848 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21129] ppid=21119 vsize=10971352 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21129/stat : 21129 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 10112327 11234664448 21030 33554432000 4194304 4196468 140721036458784 140425782348048 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21130] ppid=21119 vsize=10971352 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21130/stat : 21130 (java) S 21119 21122 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 10112327 11234664448 21030 33554432000 4194304 4196468 140721036458784 140425781295760 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21131] ppid=21119 vsize=10971352 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21131/stat : 21131 (java) S 21119 21122 13508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 10112327 11234664448 21030 33554432000 4194304 4196468 140721036458784 140425780242960 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 10971352

[startup+1.50104 s]
/proc/loadavg: 2.05 2.03 2.02 4/283 21143
/proc/meminfo: memFree=31563532/32770624 swapFree=5832/233848
[pid=21122] ppid=21119 vsize=10973400 CPUtime=3.54 cores=4-7,12-15
/proc/21122/stat : 21122 (java) S 21119 21122 13508 0 -1 1077944320 16033 0 0 0 347 7 0 0 20 0 21 0 10112326 11236761600 31165 33554432000 4194304 4196468 140721036458784 140721036441328 140426180710135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
/proc/21122/statm: 2743350 31165 3132 1 0 2731217 0
[pid=21122/tid=21123] ppid=21119 vsize=10973400 CPUtime=0.25 cores=4-7,12-15
/proc/21122/task/21123/stat : 21123 (java) S 21119 21122 13508 0 -1 1077944384 5186 0 0 0 23 2 0 0 20 0 21 0 10112326 11236761600 31165 33554432000 4194304 4196468 140721036458784 140426184953008 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21124] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21124/stat : 21124 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 10112327 11236761600 31165 33554432000 4194304 4196468 140721036458784 140426106784656 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21125] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21125/stat : 21125 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 10112327 11236761600 31165 33554432000 4194304 4196468 140721036458784 140426105731856 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21126] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21126/stat : 21126 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 10112327 11236761600 31165 33554432000 4194304 4196468 140721036458784 140426104679568 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21127] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21127/stat : 21127 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 10112327 11236761600 31165 33554432000 4194304 4196468 140721036458784 140425784454160 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21128] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21128/stat : 21128 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 10112327 11236761600 31165 33554432000 4194304 4196468 140721036458784 140425783400848 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21129] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21129/stat : 21129 (java) S 21119 21122 13508 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 10112327 11236761600 31165 33554432000 4194304 4196468 140721036458784 140425782348048 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21130] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21130/stat : 21130 (java) S 21119 21122 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 10112327 11236761600 31165 33554432000 4194304 4196468 140721036458784 140425781295760 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21131] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21131/stat : 21131 (java) S 21119 21122 13508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 10112327 11236761600 31165 33554432000 4194304 4196468 140721036458784 140425780242960 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21133] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21133/stat : 21133 (java) S 21119 21122 13508 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 10112329 11236761600 31165 33554432000 4194304 4196468 140721036458784 140425656220272 140426180721282 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21134] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21134/stat : 21134 (java) S 21119 21122 13508 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 10112330 11236761600 31165 33554432000 4194304 4196468 140721036458784 140425655166240 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21135] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21135/stat : 21135 (java) S 21119 21122 13508 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 10112331 11236761600 31165 33554432000 4194304 4196468 140721036458784 140425654113904 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21136] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21136/stat : 21136 (java) S 21119 21122 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 10112334 11236761600 31165 33554432000 4194304 4196468 140721036458784 140425653062224 140426180728731 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21137] ppid=21119 vsize=10973400 CPUtime=0.56 cores=4-7,12-15
/proc/21122/task/21137/stat : 21137 (java) S 21119 21122 13508 0 -1 1077944384 1925 0 0 0 56 0 0 0 20 0 21 0 10112334 11236761600 31165 33554432000 4194304 4196468 140721036458784 140425652009072 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21138] ppid=21119 vsize=10973400 CPUtime=0.51 cores=4-7,12-15
/proc/21122/task/21138/stat : 21138 (java) S 21119 21122 13508 0 -1 1077944384 1052 0 0 0 51 0 0 0 20 0 21 0 10112334 11236761600 31165 33554432000 4194304 4196468 140721036458784 140425650956272 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21139] ppid=21119 vsize=10973400 CPUtime=0.48 cores=4-7,12-15
/proc/21122/task/21139/stat : 21139 (java) S 21119 21122 13508 0 -1 1077944384 1053 0 0 0 48 0 0 0 20 0 21 0 10112334 11236761600 31165 33554432000 4194304 4196468 140721036458784 140425649903984 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21140] ppid=21119 vsize=10973400 CPUtime=0.47 cores=4-7,12-15
/proc/21122/task/21140/stat : 21140 (java) S 21119 21122 13508 0 -1 1077944384 2173 0 0 0 47 0 0 0 20 0 21 0 10112334 11236761600 31165 33554432000 4194304 4196468 140721036458784 140425648851184 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21141] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21141/stat : 21141 (java) S 21119 21122 13508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 10112335 11236761600 31165 33554432000 4194304 4196468 140721036458784 140425647799136 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21142] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21142/stat : 21142 (java) S 21119 21122 13508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 10112335 11236761600 31165 33554432000 4194304 4196468 140721036458784 140425646746416 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21143] ppid=21119 vsize=10973400 CPUtime=1.21 cores=4-7,12-15

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

[pid=21122/tid=21142] ppid=21119 vsize=10973400 CPUtime=0.5 cores=4-7,12-15
/proc/21122/task/21142/stat : 21142 (java) S 21119 21122 13508 0 -1 1077944384 845 0 0 0 21 29 0 0 20 0 21 0 10112335 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425646746416 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21143] ppid=21119 vsize=10973400 CPUtime=2255.7 cores=4-7,12-15
/proc/21122/task/21143/stat : 21143 (java) R 21119 21122 13508 0 -1 4202560 16888 0 0 0 225562 8 0 0 20 0 21 0 10112353 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425643556752 140425789023173 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
Current children cumulated CPU time (s) 2283.83
Current children cumulated vsize (KiB) 10973400

[startup+2322.3 s]
/proc/loadavg: 1.75 1.83 1.85 3/283 21323
/proc/meminfo: memFree=31482232/32770624 swapFree=5832/234604
[pid=21122] ppid=21119 vsize=10973400 CPUtime=2344.21 cores=4-7,12-15
/proc/21122/stat : 21122 (java) S 21119 21122 13508 0 -1 1077944320 68370 0 0 0 234275 146 0 0 20 0 21 0 10112326 11236761600 43393 33554432000 4194304 4196468 140721036458784 140721036441328 140426180710135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
/proc/21122/statm: 2743350 43393 3174 1 0 2731217 0
[pid=21122/tid=21123] ppid=21119 vsize=10973400 CPUtime=0.25 cores=4-7,12-15
/proc/21122/task/21123/stat : 21123 (java) S 21119 21122 13508 0 -1 1077944384 5186 0 0 0 23 2 0 0 20 0 21 0 10112326 11236761600 43393 33554432000 4194304 4196468 140721036458784 140426184953008 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21124] ppid=21119 vsize=10973400 CPUtime=2.87 cores=4-7,12-15
/proc/21122/task/21124/stat : 21124 (java) S 21119 21122 13508 0 -1 1077944384 2283 0 0 0 275 12 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140426106784656 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21125] ppid=21119 vsize=10973400 CPUtime=2.86 cores=4-7,12-15
/proc/21122/task/21125/stat : 21125 (java) S 21119 21122 13508 0 -1 1077944384 2176 0 0 0 274 12 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140426105731856 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21126] ppid=21119 vsize=10973400 CPUtime=2.85 cores=4-7,12-15
/proc/21122/task/21126/stat : 21126 (java) S 21119 21122 13508 0 -1 1077944384 1743 0 0 0 273 12 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140426104679568 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21127] ppid=21119 vsize=10973400 CPUtime=2.8 cores=4-7,12-15
/proc/21122/task/21127/stat : 21127 (java) S 21119 21122 13508 0 -1 1077944384 2860 0 0 0 267 13 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425784454160 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21128] ppid=21119 vsize=10973400 CPUtime=2.83 cores=4-7,12-15
/proc/21122/task/21128/stat : 21128 (java) S 21119 21122 13508 0 -1 1077944384 2099 0 0 0 272 11 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425783400848 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21129] ppid=21119 vsize=10973400 CPUtime=2.85 cores=4-7,12-15
/proc/21122/task/21129/stat : 21129 (java) S 21119 21122 13508 0 -1 1077944384 610 0 0 0 270 15 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425782348048 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21130] ppid=21119 vsize=10973400 CPUtime=2.78 cores=4-7,12-15
/proc/21122/task/21130/stat : 21130 (java) S 21119 21122 13508 0 -1 1077944384 1290 0 0 0 263 15 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425781295760 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21131] ppid=21119 vsize=10973400 CPUtime=2.83 cores=4-7,12-15
/proc/21122/task/21131/stat : 21131 (java) S 21119 21122 13508 0 -1 1077944384 1127 0 0 0 271 12 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425780242960 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21133] ppid=21119 vsize=10973400 CPUtime=2.31 cores=4-7,12-15
/proc/21122/task/21133/stat : 21133 (java) S 21119 21122 13508 0 -1 1077944384 5472 0 0 0 218 13 0 0 20 0 21 0 10112329 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425656220272 140426180721282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21134] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21134/stat : 21134 (java) S 21119 21122 13508 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 21 0 10112330 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425655166240 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21135] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21135/stat : 21135 (java) S 21119 21122 13508 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 21 0 10112331 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425654113904 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21136] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21136/stat : 21136 (java) S 21119 21122 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 10112334 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425653062224 140426180728731 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21137] ppid=21119 vsize=10973400 CPUtime=0.87 cores=4-7,12-15
/proc/21122/task/21137/stat : 21137 (java) S 21119 21122 13508 0 -1 1077944384 6074 0 0 0 86 1 0 0 20 0 21 0 10112334 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425652009072 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21138] ppid=21119 vsize=10973400 CPUtime=0.69 cores=4-7,12-15
/proc/21122/task/21138/stat : 21138 (java) S 21119 21122 13508 0 -1 1077944384 3411 0 0 0 68 1 0 0 20 0 21 0 10112334 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425650956272 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21139] ppid=21119 vsize=10973400 CPUtime=0.57 cores=4-7,12-15
/proc/21122/task/21139/stat : 21139 (java) S 21119 21122 13508 0 -1 1077944384 3323 0 0 0 57 0 0 0 20 0 21 0 10112334 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425649903984 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21140] ppid=21119 vsize=10973400 CPUtime=0.63 cores=4-7,12-15
/proc/21122/task/21140/stat : 21140 (java) S 21119 21122 13508 0 -1 1077944384 11169 0 0 0 62 1 0 0 20 0 21 0 10112334 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425648851184 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21141] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21141/stat : 21141 (java) S 21119 21122 13508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 10112335 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425647799136 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21142] ppid=21119 vsize=10973400 CPUtime=0.51 cores=4-7,12-15
/proc/21122/task/21142/stat : 21142 (java) S 21119 21122 13508 0 -1 1077944384 873 0 0 0 21 30 0 0 20 0 21 0 10112335 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425646746416 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21143] ppid=21119 vsize=10973400 CPUtime=2315.55 cores=4-7,12-15
/proc/21122/task/21143/stat : 21143 (java) R 21119 21122 13508 0 -1 4202560 17252 0 0 0 231547 8 0 0 20 0 21 0 10112353 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425643556752 140425789023751 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
Current children cumulated CPU time (s) 2344.21
Current children cumulated vsize (KiB) 10973400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2377.7 s]
/proc/loadavg: 1.82 1.84 1.86 3/283 21324
/proc/meminfo: memFree=31481920/32770624 swapFree=5832/234660
[pid=21122] ppid=21119 vsize=10973400 CPUtime=2400.01 cores=4-7,12-15
/proc/21122/stat : 21122 (java) S 21119 21122 13508 0 -1 1077944320 68466 0 0 0 239852 149 0 0 20 0 21 0 10112326 11236761600 43393 33554432000 4194304 4196468 140721036458784 140721036441328 140426180710135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
/proc/21122/statm: 2743350 43393 3174 1 0 2731217 0
[pid=21122/tid=21123] ppid=21119 vsize=10973400 CPUtime=0.25 cores=4-7,12-15
/proc/21122/task/21123/stat : 21123 (java) S 21119 21122 13508 0 -1 1077944384 5186 0 0 0 23 2 0 0 20 0 21 0 10112326 11236761600 43393 33554432000 4194304 4196468 140721036458784 140426184953008 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21124] ppid=21119 vsize=10973400 CPUtime=2.93 cores=4-7,12-15
/proc/21122/task/21124/stat : 21124 (java) S 21119 21122 13508 0 -1 1077944384 2283 0 0 0 281 12 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140426106784656 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21125] ppid=21119 vsize=10973400 CPUtime=2.91 cores=4-7,12-15
/proc/21122/task/21125/stat : 21125 (java) S 21119 21122 13508 0 -1 1077944384 2176 0 0 0 279 12 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140426105731856 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21126] ppid=21119 vsize=10973400 CPUtime=2.91 cores=4-7,12-15
/proc/21122/task/21126/stat : 21126 (java) S 21119 21122 13508 0 -1 1077944384 1743 0 0 0 279 12 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140426104679568 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21127] ppid=21119 vsize=10973400 CPUtime=2.85 cores=4-7,12-15
/proc/21122/task/21127/stat : 21127 (java) S 21119 21122 13508 0 -1 1077944384 2860 0 0 0 272 13 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425784454160 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21128] ppid=21119 vsize=10973400 CPUtime=2.88 cores=4-7,12-15
/proc/21122/task/21128/stat : 21128 (java) S 21119 21122 13508 0 -1 1077944384 2100 0 0 0 277 11 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425783400848 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21129] ppid=21119 vsize=10973400 CPUtime=2.91 cores=4-7,12-15
/proc/21122/task/21129/stat : 21129 (java) S 21119 21122 13508 0 -1 1077944384 611 0 0 0 275 16 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425782348048 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21130] ppid=21119 vsize=10973400 CPUtime=2.85 cores=4-7,12-15
/proc/21122/task/21130/stat : 21130 (java) S 21119 21122 13508 0 -1 1077944384 1290 0 0 0 270 15 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425781295760 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21131] ppid=21119 vsize=10973400 CPUtime=2.89 cores=4-7,12-15
/proc/21122/task/21131/stat : 21131 (java) S 21119 21122 13508 0 -1 1077944384 1127 0 0 0 277 12 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425780242960 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21133] ppid=21119 vsize=10973400 CPUtime=2.38 cores=4-7,12-15
/proc/21122/task/21133/stat : 21133 (java) S 21119 21122 13508 0 -1 1077944384 5477 0 0 0 224 14 0 0 20 0 21 0 10112329 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425656220272 140426180721282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21134] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21134/stat : 21134 (java) S 21119 21122 13508 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 21 0 10112330 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425655166240 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21135] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21135/stat : 21135 (java) S 21119 21122 13508 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 21 0 10112331 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425654113904 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21136] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21136/stat : 21136 (java) S 21119 21122 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 10112334 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425653062224 140426180728731 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21137] ppid=21119 vsize=10973400 CPUtime=0.87 cores=4-7,12-15
/proc/21122/task/21137/stat : 21137 (java) S 21119 21122 13508 0 -1 1077944384 6074 0 0 0 86 1 0 0 20 0 21 0 10112334 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425652009072 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21138] ppid=21119 vsize=10973400 CPUtime=0.69 cores=4-7,12-15
/proc/21122/task/21138/stat : 21138 (java) S 21119 21122 13508 0 -1 1077944384 3411 0 0 0 68 1 0 0 20 0 21 0 10112334 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425650956272 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21139] ppid=21119 vsize=10973400 CPUtime=0.57 cores=4-7,12-15
/proc/21122/task/21139/stat : 21139 (java) S 21119 21122 13508 0 -1 1077944384 3323 0 0 0 57 0 0 0 20 0 21 0 10112334 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425649903984 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21140] ppid=21119 vsize=10973400 CPUtime=0.63 cores=4-7,12-15
/proc/21122/task/21140/stat : 21140 (java) S 21119 21122 13508 0 -1 1077944384 11169 0 0 0 62 1 0 0 20 0 21 0 10112334 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425648851184 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21141] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21141/stat : 21141 (java) S 21119 21122 13508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 10112335 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425647799136 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21142] ppid=21119 vsize=10973400 CPUtime=0.52 cores=4-7,12-15
/proc/21122/task/21142/stat : 21142 (java) S 21119 21122 13508 0 -1 1077944384 877 0 0 0 22 30 0 0 20 0 21 0 10112335 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425646746416 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21143] ppid=21119 vsize=10973400 CPUtime=2370.8 cores=4-7,12-15
/proc/21122/task/21143/stat : 21143 (java) R 21119 21122 13508 0 -1 4202560 17337 0 0 0 237072 8 0 0 20 0 21 0 10112353 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425643556752 140425789023864 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 10973400

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

[startup+2377.7 s]
/proc/loadavg: 1.82 1.84 1.86 3/283 21324
/proc/meminfo: memFree=31481920/32770624 swapFree=5832/234660
[pid=21122] ppid=21119 vsize=10973400 CPUtime=2400.01 cores=4-7,12-15
/proc/21122/stat : 21122 (java) S 21119 21122 13508 0 -1 1077944320 68466 0 0 0 239852 149 0 0 20 0 21 0 10112326 11236761600 43393 33554432000 4194304 4196468 140721036458784 140721036441328 140426180710135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
/proc/21122/statm: 2743350 43393 3174 1 0 2731217 0
[pid=21122/tid=21123] ppid=21119 vsize=10973400 CPUtime=0.25 cores=4-7,12-15
/proc/21122/task/21123/stat : 21123 (java) S 21119 21122 13508 0 -1 1077944384 5186 0 0 0 23 2 0 0 20 0 21 0 10112326 11236761600 43393 33554432000 4194304 4196468 140721036458784 140426184953008 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21124] ppid=21119 vsize=10973400 CPUtime=2.93 cores=4-7,12-15
/proc/21122/task/21124/stat : 21124 (java) S 21119 21122 13508 0 -1 1077944384 2283 0 0 0 281 12 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140426106784656 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21125] ppid=21119 vsize=10973400 CPUtime=2.91 cores=4-7,12-15
/proc/21122/task/21125/stat : 21125 (java) S 21119 21122 13508 0 -1 1077944384 2176 0 0 0 279 12 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140426105731856 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21126] ppid=21119 vsize=10973400 CPUtime=2.91 cores=4-7,12-15
/proc/21122/task/21126/stat : 21126 (java) S 21119 21122 13508 0 -1 1077944384 1743 0 0 0 279 12 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140426104679568 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21127] ppid=21119 vsize=10973400 CPUtime=2.85 cores=4-7,12-15
/proc/21122/task/21127/stat : 21127 (java) S 21119 21122 13508 0 -1 1077944384 2860 0 0 0 272 13 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425784454160 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21128] ppid=21119 vsize=10973400 CPUtime=2.88 cores=4-7,12-15
/proc/21122/task/21128/stat : 21128 (java) S 21119 21122 13508 0 -1 1077944384 2100 0 0 0 277 11 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425783400848 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21129] ppid=21119 vsize=10973400 CPUtime=2.91 cores=4-7,12-15
/proc/21122/task/21129/stat : 21129 (java) S 21119 21122 13508 0 -1 1077944384 611 0 0 0 275 16 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425782348048 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21130] ppid=21119 vsize=10973400 CPUtime=2.85 cores=4-7,12-15
/proc/21122/task/21130/stat : 21130 (java) S 21119 21122 13508 0 -1 1077944384 1290 0 0 0 270 15 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425781295760 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21131] ppid=21119 vsize=10973400 CPUtime=2.89 cores=4-7,12-15
/proc/21122/task/21131/stat : 21131 (java) S 21119 21122 13508 0 -1 1077944384 1127 0 0 0 277 12 0 0 20 0 21 0 10112327 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425780242960 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21133] ppid=21119 vsize=10973400 CPUtime=2.38 cores=4-7,12-15
/proc/21122/task/21133/stat : 21133 (java) S 21119 21122 13508 0 -1 1077944384 5477 0 0 0 224 14 0 0 20 0 21 0 10112329 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425656220272 140426180721282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21134] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21134/stat : 21134 (java) S 21119 21122 13508 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 21 0 10112330 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425655166240 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21135] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21135/stat : 21135 (java) S 21119 21122 13508 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 21 0 10112331 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425654113904 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21136] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21136/stat : 21136 (java) S 21119 21122 13508 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 10112334 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425653062224 140426180728731 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21137] ppid=21119 vsize=10973400 CPUtime=0.87 cores=4-7,12-15
/proc/21122/task/21137/stat : 21137 (java) S 21119 21122 13508 0 -1 1077944384 6074 0 0 0 86 1 0 0 20 0 21 0 10112334 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425652009072 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21138] ppid=21119 vsize=10973400 CPUtime=0.69 cores=4-7,12-15
/proc/21122/task/21138/stat : 21138 (java) S 21119 21122 13508 0 -1 1077944384 3411 0 0 0 68 1 0 0 20 0 21 0 10112334 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425650956272 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21139] ppid=21119 vsize=10973400 CPUtime=0.57 cores=4-7,12-15
/proc/21122/task/21139/stat : 21139 (java) S 21119 21122 13508 0 -1 1077944384 3323 0 0 0 57 0 0 0 20 0 21 0 10112334 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425649903984 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21140] ppid=21119 vsize=10973400 CPUtime=0.63 cores=4-7,12-15
/proc/21122/task/21140/stat : 21140 (java) S 21119 21122 13508 0 -1 1077944384 11169 0 0 0 62 1 0 0 20 0 21 0 10112334 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425648851184 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21141] ppid=21119 vsize=10973400 CPUtime=0 cores=4-7,12-15
/proc/21122/task/21141/stat : 21141 (java) S 21119 21122 13508 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 10112335 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425647799136 140426180720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21142] ppid=21119 vsize=10973400 CPUtime=0.52 cores=4-7,12-15
/proc/21122/task/21142/stat : 21142 (java) S 21119 21122 13508 0 -1 1077944384 877 0 0 0 22 30 0 0 20 0 21 0 10112335 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425646746416 140426180721282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
[pid=21122/tid=21143] ppid=21119 vsize=10973400 CPUtime=2370.8 cores=4-7,12-15
/proc/21122/task/21143/stat : 21143 (java) R 21119 21122 13508 0 -1 4202560 17337 0 0 0 237072 8 0 0 20 0 21 0 10112353 11236761600 43393 33554432000 4194304 4196468 140721036458784 140425643556752 140425789023864 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140721036465347 140721036465476 140721036465476 140721036468175 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 10973400

Child status: 143
Real time (s): 2377.71
CPU time (s): 2400.03
CPU user time (s): 2398.53
CPU system time (s): 1.49943
CPU usage (%): 100.939
Max. virtual memory (cumulated for all children) (KiB): 10973400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.53
system time used= 1.49943
maximum resident set size= 233480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68736
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138026
involuntary context switches= 141358

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5295 second user time and 19.0408 second system time

The end

Begin job on node144 at 2017-07-22 20:34:30
IDJOB=4249184
IDBENCH=135751
IDSOLVER=2624
FILE ID=node144/4249184-1500748470
RUNJOBID= node144-1500717213-13540
PBS_JOBID= 20623363
Free space on /tmp= 62008 MiB

SOLVER NAME= AbsCon-basic 2017-06-11
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n50/TravellingSalesman-50-30-01.xml
COMMAND LINE= java -jar HOME/AbsCon-basic.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4249184-1500748470/watcher-4249184-1500748470 -o /tmp/evaluation-result-4249184-1500748470/solver-4249184-1500748470 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500717213-13540 --watchdog 2560  java -jar HOME/AbsCon-basic.jar HOME/instance-4249184-1500748470.xml

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

MD5SUM BENCH= c2cf49e605ec7848371b33956294adc3
RANDOM SEED=74691789

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

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

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

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 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.49
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		: 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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31659588 kB
MemAvailable:   31819408 kB
Buffers:          145216 kB
Cached:           298044 kB
SwapCached:            0 kB
Active:           439352 kB
Inactive:         242520 kB
Active(anon):     241444 kB
Inactive(anon):     8712 kB
Active(file):     197908 kB
Inactive(file):   233808 kB
Unevictable:        5832 kB
Mlocked:            5832 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7812 kB
Writeback:             0 kB
AnonPages:        290644 kB
Mapped:            43176 kB
Shmem:              8844 kB
Slab:             121252 kB
SReclaimable:      87876 kB
SUnreclaim:        33376 kB
KernelStack:        4880 kB
PageTables:         4856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1177240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 62000 MiB
End job on node144 at 2017-07-22 21:14:08

Name	TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml
MD5SUM	c2cf49e605ec7848371b33956294adc3
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	176
Best CPU time to get the best result obtained on this benchmark	2520.1101
Satisfiable
(Un)Satisfiability was proved
Number of variables	100
Number of constraints	51
Number of domains	2
Minimum domain size	36
Maximum domain size	50
Distribution of domain sizes	[{"size":36,"count":50},{"size":50,"count":50}]
Minimum variable degree	2
Maximum variable degree	3
Distribution of variable degrees	[{"degree":2,"count":50},{"degree":3,"count":50}]
Minimum constraint arity	3
Maximum constraint arity	50
Distribution of constraint arities	[{"arity":3,"count":50},{"arity":50,"count":1}]
Number of extensional constraints	50
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":50},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4249184

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data