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

Solver Name	Answer	CPU time	Wall clock time
R1: OscaR - Conflict Ordering 2017-06-30	? (TO)	2400.06	2372.72

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-4249033-1500750140/watcher-4249033-1500750140 -o /tmp/evaluation-result-4249033-1500750140/solver-4249033-1500750140 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500750140-19565 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1681494798 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249033-1500750140.xml 

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

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


[startup+0 s]
/proc/loadavg: 0.70 0.75 0.88 3/241 19593
/proc/meminfo: memFree=31474908/32770624 swapFree=6364/350208
[pid=19593] ppid=19588 vsize=109440 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/stat : 19593 (java) S 19588 19593 11993 0 -1 1077944320 1635 0 0 0 0 0 0 0 20 0 2 0 10281951 112066560 1360 33554432000 4194304 4196468 140729675555200 140729675537744 139720295223031 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
/proc/19593/statm: 27360 1360 1029 1 0 16810 0
[pid=19593/tid=19597] ppid=19588 vsize=109440 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19597/stat : 19597 (java) D 19588 19593 11993 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 2 0 10281951 112066560 1360 33554432000 4194304 4196468 140729675555200 139720299459792 139720287902253 0 4 0 16784584 18446744072101600804 0 0 -1 10 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0

[startup+0.100161 s]
/proc/loadavg: 0.70 0.75 0.88 3/241 19593
/proc/meminfo: memFree=31474908/32770624 swapFree=6364/350208
[pid=19593] ppid=19588 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/19593/stat : 19593 (java) S 19588 19593 11993 0 -1 1077944320 5777 0 0 0 7 1 0 0 20 0 20 0 10281951 13582725120 6365 33554432000 4194304 4196468 140729675555200 140729675537744 139720295223031 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
/proc/19593/statm: 3316095 6365 3309 1 0 3303815 0
[pid=19593/tid=19597] ppid=19588 vsize=13264380 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19597/stat : 19597 (java) R 19588 19593 11993 0 -1 4202560 3856 0 0 0 6 0 0 0 20 0 20 0 10281951 13582725120 6365 33554432000 4194304 4196468 140729675555200 139720299465312 139720295244957 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13264380

[startup+0.200346 s]
/proc/loadavg: 0.70 0.75 0.88 3/241 19593
/proc/meminfo: memFree=31474908/32770624 swapFree=6364/350208
[pid=19593] ppid=19588 vsize=13263912 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19593/stat : 19593 (java) S 19588 19593 11993 0 -1 1077944320 8852 0 0 0 19 2 0 0 20 0 20 0 10281951 13582245888 8857 33554432000 4194304 4196468 140729675555200 140729675537744 139720295223031 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
/proc/19593/statm: 3315978 8857 3535 1 0 3303698 0
[pid=19593/tid=19597] ppid=19588 vsize=13263912 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19597/stat : 19597 (java) D 19588 19593 11993 0 -1 1077944384 6600 0 0 0 14 1 0 0 20 0 20 0 10281951 13582245888 8857 33554432000 4194304 4196468 140729675555200 139720299450544 139720295246909 0 4 0 16800975 18446744072101600804 0 0 -1 10 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 13263912

[startup+0.300376 s]
/proc/loadavg: 0.70 0.75 0.88 3/241 19593
/proc/meminfo: memFree=31474908/32770624 swapFree=6364/350208
[pid=19593] ppid=19588 vsize=13263912 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/19593/stat : 19593 (java) S 19588 19593 11993 0 -1 1077944320 9367 0 0 0 27 3 0 0 20 0 20 0 10281951 13582245888 9692 33554432000 4194304 4196468 140729675555200 140729675537744 139720295223031 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
/proc/19593/statm: 3315978 9692 3558 1 0 3303698 0
[pid=19593/tid=19597] ppid=19588 vsize=13263912 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19597/stat : 19597 (java) R 19588 19593 11993 0 -1 4202560 6960 0 0 0 18 1 0 0 20 0 20 0 10281951 13582245888 9692 33554432000 4194304 4196468 140729675555200 139720299422784 139720279303518 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13263912

[startup+0.700239 s]
/proc/loadavg: 0.70 0.75 0.88 3/241 19593
/proc/meminfo: memFree=31474908/32770624 swapFree=6364/350208
[pid=19593] ppid=19588 vsize=13263932 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/19593/stat : 19593 (java) S 19588 19593 11993 0 -1 1077944320 11538 0 0 0 85 5 0 0 20 0 20 0 10281951 13582266368 14733 33554432000 4194304 4196468 140729675555200 140729675537744 139720295223031 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
/proc/19593/statm: 3315983 14733 3742 1 0 3303698 0
[pid=19593/tid=19597] ppid=19588 vsize=13263932 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19597/stat : 19597 (java) R 19588 19593 11993 0 -1 4202560 8206 0 0 0 47 3 0 0 20 0 20 0 10281951 13582266368 14733 33554432000 4194304 4196468 140729675555200 139720299459840 139720295244957 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 13263932

[startup+1.50083 s]
/proc/loadavg: 1.04 0.82 0.90 5/284 19636
/proc/meminfo: memFree=31247124/32770624 swapFree=6368/349220
[pid=19593] ppid=19588 vsize=13268028 CPUtime=4.12 cores=0,2,4,6,8,10,12,14
/proc/19593/stat : 19593 (java) S 19588 19593 11993 0 -1 1077944320 21498 0 0 0 390 22 0 0 20 0 20 0 10281951 13586460672 53214 33554432000 4194304 4196468 140729675555200 140729675537744 139720295223031 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
/proc/19593/statm: 3317007 53214 3811 1 0 3304722 0
[pid=19593/tid=19597] ppid=19588 vsize=13268028 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19597/stat : 19597 (java) R 19588 19593 11993 0 -1 4202560 10056 0 0 0 122 5 0 0 20 0 20 0 10281951 13586460672 53214 33554432000 4194304 4196468 140729675555200 139720299443968 139720295244957 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19601] ppid=19588 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19601/stat : 19601 (java) S 19588 19593 11993 0 -1 1077944384 23 0 0 0 0 1 0 0 20 0 20 0 10281953 13586460672 53214 33554432000 4194304 4196468 140729675555200 139720253983760 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19602] ppid=19588 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19602/stat : 19602 (java) S 19588 19593 11993 0 -1 1077944384 11 0 0 0 0 1 0 0 20 0 20 0 10281953 13586460672 53214 33554432000 4194304 4196468 140729675555200 139719893142672 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19603] ppid=19588 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19603/stat : 19603 (java) S 19588 19593 11993 0 -1 1077944384 41 0 0 0 0 1 0 0 20 0 20 0 10281953 13586460672 53214 33554432000 4194304 4196468 140729675555200 139719892089616 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19604] ppid=19588 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19604/stat : 19604 (java) S 19588 19593 11993 0 -1 1077944384 44 0 0 0 0 1 0 0 20 0 20 0 10281953 13586460672 53214 33554432000 4194304 4196468 140729675555200 139719891037072 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19606] ppid=19588 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19606/stat : 19606 (java) S 19588 19593 11993 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 20 0 10281953 13586460672 53214 33554432000 4194304 4196468 140729675555200 139719889984016 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19607] ppid=19588 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19607/stat : 19607 (java) S 19588 19593 11993 0 -1 1077944384 28 0 0 0 0 1 0 0 20 0 20 0 10281953 13586460672 53214 33554432000 4194304 4196468 140729675555200 139719888931472 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19608] ppid=19588 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19608/stat : 19608 (java) S 19588 19593 11993 0 -1 1077944384 229 0 0 0 0 1 0 0 20 0 20 0 10281953 13586460672 53214 33554432000 4194304 4196468 140729675555200 139719887878416 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19610] ppid=19588 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19610/stat : 19610 (java) S 19588 19593 11993 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 20 0 10281953 13586460672 53214 33554432000 4194304 4196468 140729675555200 139719886825872 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19617] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19617/stat : 19617 (java) S 19588 19593 11993 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 20 0 10281955 13586460672 53214 33554432000 4194304 4196468 140729675555200 139719758215920 139720295234178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19618] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19618/stat : 19618 (java) S 19588 19593 11993 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 10281956 13586460672 53214 33554432000 4194304 4196468 140729675555200 139719757162208 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19620] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19620/stat : 19620 (java) S 19588 19593 11993 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 10281956 13586460672 53214 33554432000 4194304 4196468 140729675555200 139719756109040 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19623] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19623/stat : 19623 (java) S 19588 19593 11993 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10281960 13586460672 53214 33554432000 4194304 4196468 140729675555200 139719755057616 139720295241627 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19624] ppid=19588 vsize=13268028 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19624/stat : 19624 (java) S 19588 19593 11993 0 -1 1077944384 2252 0 0 0 69 3 0 0 20 0 20 0 10281960 13586460672 53214 33554432000 4194304 4196468 140729675555200 139719754004720 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19625] ppid=19588 vsize=13268028 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19625/stat : 19625 (java) S 19588 19593 11993 0 -1 1077944384 2369 0 0 0 68 0 0 0 20 0 20 0 10281960 13586460672 53214 33554432000 4194304 4196468 140729675555200 139719752952176 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19626] ppid=19588 vsize=13268028 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19626/stat : 19626 (java) S 19588 19593 11993 0 -1 1077944384 2133 0 0 0 68 0 0 0 20 0 20 0 10281960 13586460672 53214 33554432000 4194304 4196468 140729675555200 139719751899120 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19627] ppid=19588 vsize=13268028 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19627/stat : 19627 (java) S 19588 19593 11993 0 -1 1077944384 2646 0 0 0 52 1 0 0 20 0 20 0 10281960 13586460672 53214 33554432000 4194304 4196468 140729675555200 139719750846576 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19628] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19628/stat : 19628 (java) S 19588 19593 11993 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10281960 13586460672 53214 33554432000 4194304 4196468 140729675555200 139719749794784 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19629] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19629/stat : 19629 (java) S 19588 19593 11993 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 10281960 13586460672 53214 33554432000 4194304 4196468 140729675555200 139719748742320 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 13268028

[startup+3.10088 s]
/proc/loadavg: 1.04 0.82 0.90 5/260 19645
/proc/meminfo: memFree=31256740/32770624 swapFree=6368/349224
[pid=19593] ppid=19588 vsize=13268028 CPUtime=8.07 cores=0,2,4,6,8,10,12,14
/proc/19593/stat : 19593 (java) S 19588 19593 11993 0 -1 1077944320 32066 0 0 0 770 37 0 0 20 0 20 0 10281951 13586460672 66742 33554432000 4194304 4196468 140729675555200 140729675537744 139720295223031 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
/proc/19593/statm: 3317007 66742 3830 1 0 3304722 0
[pid=19593/tid=19597] ppid=19588 vsize=13268028 CPUtime=2.65 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19597/stat : 19597 (java) R 19588 19593 11993 0 -1 4202560 11551 0 0 0 259 6 0 0 20 0 20 0 10281951 13586460672 66742 33554432000 4194304 4196468 140729675555200 139720299459432 139719939814415 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19601] ppid=19588 vsize=13268028 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19601/stat : 19601 (java) S 19588 19593 11993 0 -1 1077944384 114 0 0 0 2 2 0 0 20 0 20 0 10281953 13586460672 66742 33554432000 4194304 4196468 140729675555200 139720253983760 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19602] ppid=19588 vsize=13268028 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19602/stat : 19602 (java) S 19588 19593 11993 0 -1 1077944384 34 0 0 0 2 2 0 0 20 0 20 0 10281953 13586460672 66742 33554432000 4194304 4196468 140729675555200 139719893142672 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19603] ppid=19588 vsize=13268028 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19603/stat : 19603 (java) S 19588 19593 11993 0 -1 1077944384 84 0 0 0 2 2 0 0 20 0 20 0 10281953 13586460672 66742 33554432000 4194304 4196468 140729675555200 139719892089616 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19604] ppid=19588 vsize=13268028 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19604/stat : 19604 (java) S 19588 19593 11993 0 -1 1077944384 902 0 0 0 2 3 0 0 20 0 20 0 10281953 13586460672 66742 33554432000 4194304 4196468 140729675555200 139719891037072 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19606] ppid=19588 vsize=13268028 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19606/stat : 19606 (java) S 19588 19593 11993 0 -1 1077944384 85 0 0 0 2 2 0 0 20 0 20 0 10281953 13586460672 66742 33554432000 4194304 4196468 140729675555200 139719889984016 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19607] ppid=19588 vsize=13268028 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19607/stat : 19607 (java) S 19588 19593 11993 0 -1 1077944384 44 0 0 0 2 2 0 0 20 0 20 0 10281953 13586460672 66742 33554432000 4194304 4196468 140729675555200 139719888931472 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19608] ppid=19588 vsize=13268028 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19608/stat : 19608 (java) S 19588 19593 11993 0 -1 1077944384 257 0 0 0 2 2 0 0 20 0 20 0 10281953 13586460672 66742 33554432000 4194304 4196468 140729675555200 139719887878416 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19610] ppid=19588 vsize=13268028 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19610/stat : 19610 (java) S 19588 19593 11993 0 -1 1077944384 42 0 0 0 2 2 0 0 20 0 20 0 10281953 13586460672 66742 33554432000 4194304 4196468 140729675555200 139719886825872 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19617] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19617/stat : 19617 (java) S 19588 19593 11993 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 20 0 10281955 13586460672 66742 33554432000 4194304 4196468 140729675555200 139719758215920 139720295234178 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19618] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19618/stat : 19618 (java) S 19588 19593 11993 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 10281956 13586460672 66742 33554432000 4194304 4196468 140729675555200 139719757162208 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19620] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19620/stat : 19620 (java) S 19588 19593 11993 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 10281956 13586460672 66742 33554432000 4194304 4196468 140729675555200 139719756109056 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19623] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19623/stat : 19623 (java) S 19588 19593 11993 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10281960 13586460672 66742 33554432000 4194304 4196468 140729675555200 139719755057616 139720295241627 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19624] ppid=19588 vsize=13268028 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19624/stat : 19624 (java) S 19588 19593 11993 0 -1 1077944384 4295 0 0 0 136 4 0 0 20 0 20 0 10281960 13586460672 66742 33554432000 4194304 4196468 140729675555200 139719754004720 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19625] ppid=19588 vsize=13268028 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19625/stat : 19625 (java) S 19588 19593 11993 0 -1 1077944384 3762 0 0 0 130 1 0 0 20 0 20 0 10281960 13586460672 66742 33554432000 4194304 4196468 140729675555200 139719752952176 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19626] ppid=19588 vsize=13268028 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19626/stat : 19626 (java) S 19588 19593 11993 0 -1 1077944384 3479 0 0 0 133 1 0 0 20 0 20 0 10281960 13586460672 66742 33554432000 4194304 4196468 140729675555200 139719751899120 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19627] ppid=19588 vsize=13268028 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19627/stat : 19627 (java) S 19588 19593 11993 0 -1 1077944384 5687 0 0 0 86 2 0 0 20 0 20 0 10281960 13586460672 66742 33554432000 4194304 4196468 140729675555200 139719750846576 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19628] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19628/stat : 19628 (java) S 19588 19593 11993 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10281960 13586460672 66742 33554432000 4194304 4196468 140729675555200 139719749794784 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19629] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19629/stat : 19629 (java) S 19588 19593 11993 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 10281960 13586460672 66742 33554432000 4194304 4196468 140729675555200 139719748742320 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
Current children cumulated CPU time (s) 8.07
Current children cumulated vsize (KiB) 13268028

[startup+6.30095 s]
/proc/loadavg: 1.04 0.82 0.90 3/264 19738
/proc/meminfo: memFree=31215824/32770624 swapFree=6368/349248
[pid=19593] ppid=19588 vsize=13268028 CPUtime=11.5 cores=0,2,4,6,8,10,12,14
/proc/19593/stat : 19593 (java) S 19588 19593 11993 0 -1 1077944320 32271 0 0 0 1112 38 0 0 20 0 20 0 10281951 13586460672 75712 33554432000 4194304 4196468 140729675555200 140729675537744 139720295223031 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
/proc/19593/statm: 3317007 75712 3830 1 0 3304722 0
[pid=19593/tid=19597] ppid=19588 vsize=13268028 CPUtime=5.85 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19597/stat : 19597 (java) R 19588 19593 11993 0 -1 4202560 11633 0 0 0 578 7 0 0 20 0 20 0 10281951 13586460672 75712 33554432000 4194304 4196468 140729675555200 139720299459256 139719939815091 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19601] ppid=19588 vsize=13268028 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19601/stat : 19601 (java) S 19588 19593 11993 0 -1 1077944384 114 0 0 0 2 2 0 0 20 0 20 0 10281953 13586460672 75712 33554432000 4194304 4196468 140729675555200 139720253983760 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19602] ppid=19588 vsize=13268028 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19602/stat : 19602 (java) S 19588 19593 11993 0 -1 1077944384 34 0 0 0 2 2 0 0 20 0 20 0 10281953 13586460672 75712 33554432000 4194304 4196468 140729675555200 139719893142672 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19603] ppid=19588 vsize=13268028 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19603/stat : 19603 (java) S 19588 19593 11993 0 -1 1077944384 84 0 0 0 2 2 0 0 20 0 20 0 10281953 13586460672 75712 33554432000 4194304 4196468 140729675555200 139719892089616 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19604] ppid=19588 vsize=13268028 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19604/stat : 19604 (java) S 19588 19593 11993 0 -1 1077944384 902 0 0 0 2 3 0 0 20 0 20 0 10281953 13586460672 75712 33554432000 4194304 4196468 140729675555200 139719891037072 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19606] ppid=19588 vsize=13268028 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19606/stat : 19606 (java) S 19588 19593 11993 0 -1 1077944384 85 0 0 0 2 2 0 0 20 0 20 0 10281953 13586460672 75712 33554432000 4194304 4196468 140729675555200 139719889984016 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19607] ppid=19588 vsize=13268028 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19607/stat : 19607 (java) S 19588 19593 11993 0 -1 1077944384 44 0 0 0 2 2 0 0 20 0 20 0 10281953 13586460672 75712 33554432000 4194304 4196468 140729675555200 139719888931472 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19608] ppid=19588 vsize=13268028 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19608/stat : 19608 (java) S 19588 19593 11993 0 -1 1077944384 257 0 0 0 2 2 0 0 20 0 20 0 10281953 13586460672 75712 33554432000 4194304 4196468 140729675555200 139719887878416 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19610] ppid=19588 vsize=13268028 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19610/stat : 19610 (java) S 19588 19593 11993 0 -1 1077944384 42 0 0 0 2 2 0 0 20 0 20 0 10281953 13586460672 75712 33554432000 4194304 4196468 140729675555200 139719886825872 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19617] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19617/stat : 19617 (java) S 19588 19593 11993 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 10281955 13586460672 75712 33554432000 4194304 4196468 140729675555200 139719758215920 139720295234178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19618] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19618/stat : 19618 (java) S 19588 19593 11993 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 10281956 13586460672 75712 33554432000 4194304 4196468 140729675555200 139719757162208 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19620] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19620/stat : 19620 (java) S 19588 19593 11993 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 10281956 13586460672 75712 33554432000 4194304 4196468 140729675555200 139719756109056 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19623] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

/proc/19593/task/19625/stat : 19625 (java) S 19588 19593 11993 0 -1 1077944384 4217 0 0 0 139 1 0 0 20 0 20 0 10281960 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719752952176 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19626] ppid=19588 vsize=13268028 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19626/stat : 19626 (java) S 19588 19593 11993 0 -1 1077944384 5171 0 0 0 144 2 0 0 20 0 20 0 10281960 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719751899120 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19627] ppid=19588 vsize=13268028 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19627/stat : 19627 (java) S 19588 19593 11993 0 -1 1077944384 6381 0 0 0 87 2 0 0 20 0 20 0 10281960 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719750846576 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19628] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19628/stat : 19628 (java) S 19588 19593 11993 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10281960 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719749794784 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19629] ppid=19588 vsize=13268028 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19629/stat : 19629 (java) S 19588 19593 11993 0 -1 1077944384 845 0 0 0 55 49 0 0 20 0 20 0 10281960 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719748742320 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
Current children cumulated CPU time (s) 2288.52
Current children cumulated vsize (KiB) 13268028

[startup+2322.3 s]
/proc/loadavg: 1.43 1.40 1.42 3/281 20051
/proc/meminfo: memFree=30511860/32770624 swapFree=6368/350656
[pid=19593] ppid=19588 vsize=13268028 CPUtime=2349.13 cores=0,2,4,6,8,10,12,14
/proc/19593/stat : 19593 (java) S 19588 19593 11993 0 -1 1077944320 88961 0 0 0 234643 270 0 0 20 0 20 0 10281951 13586460672 187730 33554432000 4194304 4196468 140729675555200 140729675537744 139720295223031 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
/proc/19593/statm: 3317007 187730 3832 1 0 3304722 0
[pid=19593/tid=19597] ppid=19588 vsize=13268028 CPUtime=2315.41 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19597/stat : 19597 (java) R 19588 19593 11993 0 -1 4202560 33294 0 0 0 231523 18 0 0 20 0 20 0 10281951 13586460672 187730 33554432000 4194304 4196468 140729675555200 139720299461472 139719939930021 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19601] ppid=19588 vsize=13268028 CPUtime=3.19 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19601/stat : 19601 (java) S 19588 19593 11993 0 -1 1077944384 3444 0 0 0 294 25 0 0 20 0 20 0 10281953 13586460672 187730 33554432000 4194304 4196468 140729675555200 139720253983760 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19602] ppid=19588 vsize=13268028 CPUtime=3.21 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19602/stat : 19602 (java) S 19588 19593 11993 0 -1 1077944384 3446 0 0 0 296 25 0 0 20 0 20 0 10281953 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719893142672 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19603] ppid=19588 vsize=13268028 CPUtime=3.23 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19603/stat : 19603 (java) S 19588 19593 11993 0 -1 1077944384 1883 0 0 0 299 24 0 0 20 0 20 0 10281953 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719892089616 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19604] ppid=19588 vsize=13268028 CPUtime=3.2 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19604/stat : 19604 (java) S 19588 19593 11993 0 -1 1077944384 5857 0 0 0 295 25 0 0 20 0 20 0 10281953 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719891037072 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19606] ppid=19588 vsize=13268028 CPUtime=3.17 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19606/stat : 19606 (java) S 19588 19593 11993 0 -1 1077944384 2673 0 0 0 291 26 0 0 20 0 20 0 10281953 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719889984016 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19607] ppid=19588 vsize=13268028 CPUtime=3.18 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19607/stat : 19607 (java) S 19588 19593 11993 0 -1 1077944384 2167 0 0 0 294 24 0 0 20 0 20 0 10281953 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719888931472 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19608] ppid=19588 vsize=13268028 CPUtime=3.27 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19608/stat : 19608 (java) S 19588 19593 11993 0 -1 1077944384 2877 0 0 0 302 25 0 0 20 0 20 0 10281953 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719887878416 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19610] ppid=19588 vsize=13268028 CPUtime=3.18 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19610/stat : 19610 (java) S 19588 19593 11993 0 -1 1077944384 2009 0 0 0 293 25 0 0 20 0 20 0 10281953 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719886825872 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19617] ppid=19588 vsize=13268028 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19617/stat : 19617 (java) S 19588 19593 11993 0 -1 1077944384 8819 0 0 0 147 16 0 0 20 0 20 0 10281955 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719758215920 139720295234178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19618] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19618/stat : 19618 (java) S 19588 19593 11993 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 10281956 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719757162208 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19620] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19620/stat : 19620 (java) S 19588 19593 11993 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 10281956 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719756109056 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19623] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19623/stat : 19623 (java) S 19588 19593 11993 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10281960 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719755057616 139720295241627 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19624] ppid=19588 vsize=13268028 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19624/stat : 19624 (java) S 19588 19593 11993 0 -1 1077944384 4425 0 0 0 145 4 0 0 20 0 20 0 10281960 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719754004720 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19625] ppid=19588 vsize=13268028 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19625/stat : 19625 (java) S 19588 19593 11993 0 -1 1077944384 4219 0 0 0 139 1 0 0 20 0 20 0 10281960 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719752952176 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19626] ppid=19588 vsize=13268028 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19626/stat : 19626 (java) S 19588 19593 11993 0 -1 1077944384 5173 0 0 0 144 2 0 0 20 0 20 0 10281960 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719751899120 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19627] ppid=19588 vsize=13268028 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19627/stat : 19627 (java) S 19588 19593 11993 0 -1 1077944384 6383 0 0 0 87 2 0 0 20 0 20 0 10281960 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719750846576 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19628] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19628/stat : 19628 (java) S 19588 19593 11993 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10281960 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719749794784 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19629] ppid=19588 vsize=13268028 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19629/stat : 19629 (java) S 19588 19593 11993 0 -1 1077944384 860 0 0 0 56 50 0 0 20 0 20 0 10281960 13586460672 187730 33554432000 4194304 4196468 140729675555200 139719748742320 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
Current children cumulated CPU time (s) 2349.13
Current children cumulated vsize (KiB) 13268028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2372.7 s]
/proc/loadavg: 1.51 1.43 1.43 3/281 20052
/proc/meminfo: memFree=30509272/32770624 swapFree=6368/350724
[pid=19593] ppid=19588 vsize=13268028 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/19593/stat : 19593 (java) S 19588 19593 11993 0 -1 1077944320 89384 0 0 0 239729 274 0 0 20 0 20 0 10281951 13586460672 188242 33554432000 4194304 4196468 140729675555200 140729675537744 139720295223031 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
/proc/19593/statm: 3317007 188242 3832 1 0 3304722 0
[pid=19593/tid=19597] ppid=19588 vsize=13268028 CPUtime=2365.68 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19597/stat : 19597 (java) R 19588 19593 11993 0 -1 4202560 33637 0 0 0 236549 19 0 0 20 0 20 0 10281951 13586460672 188242 33554432000 4194304 4196468 140729675555200 139720299461488 139719940275955 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19601] ppid=19588 vsize=13268028 CPUtime=3.26 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19601/stat : 19601 (java) S 19588 19593 11993 0 -1 1077944384 3454 0 0 0 301 25 0 0 20 0 20 0 10281953 13586460672 188242 33554432000 4194304 4196468 140729675555200 139720253983760 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19602] ppid=19588 vsize=13268028 CPUtime=3.29 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19602/stat : 19602 (java) S 19588 19593 11993 0 -1 1077944384 3459 0 0 0 303 26 0 0 20 0 20 0 10281953 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719893142672 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19603] ppid=19588 vsize=13268028 CPUtime=3.3 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19603/stat : 19603 (java) S 19588 19593 11993 0 -1 1077944384 1908 0 0 0 306 24 0 0 20 0 20 0 10281953 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719892089616 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19604] ppid=19588 vsize=13268028 CPUtime=3.27 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19604/stat : 19604 (java) S 19588 19593 11993 0 -1 1077944384 5867 0 0 0 301 26 0 0 20 0 20 0 10281953 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719891037072 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19606] ppid=19588 vsize=13268028 CPUtime=3.25 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19606/stat : 19606 (java) S 19588 19593 11993 0 -1 1077944384 2675 0 0 0 298 27 0 0 20 0 20 0 10281953 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719889984016 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19607] ppid=19588 vsize=13268028 CPUtime=3.25 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19607/stat : 19607 (java) S 19588 19593 11993 0 -1 1077944384 2169 0 0 0 301 24 0 0 20 0 20 0 10281953 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719888931472 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19608] ppid=19588 vsize=13268028 CPUtime=3.34 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19608/stat : 19608 (java) S 19588 19593 11993 0 -1 1077944384 2880 0 0 0 309 25 0 0 20 0 20 0 10281953 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719887878416 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19610] ppid=19588 vsize=13268028 CPUtime=3.24 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19610/stat : 19610 (java) S 19588 19593 11993 0 -1 1077944384 2016 0 0 0 299 25 0 0 20 0 20 0 10281953 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719886825872 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19617] ppid=19588 vsize=13268028 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19617/stat : 19617 (java) S 19588 19593 11993 0 -1 1077944384 8823 0 0 0 151 16 0 0 20 0 20 0 10281955 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719758215920 139720295234178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19618] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19618/stat : 19618 (java) S 19588 19593 11993 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 10281956 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719757162208 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19620] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19620/stat : 19620 (java) S 19588 19593 11993 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 10281956 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719756109056 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19623] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19623/stat : 19623 (java) S 19588 19593 11993 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10281960 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719755057616 139720295241627 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19624] ppid=19588 vsize=13268028 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19624/stat : 19624 (java) S 19588 19593 11993 0 -1 1077944384 4425 0 0 0 145 4 0 0 20 0 20 0 10281960 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719754004720 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19625] ppid=19588 vsize=13268028 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19625/stat : 19625 (java) S 19588 19593 11993 0 -1 1077944384 4219 0 0 0 139 1 0 0 20 0 20 0 10281960 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719752952176 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19626] ppid=19588 vsize=13268028 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19626/stat : 19626 (java) S 19588 19593 11993 0 -1 1077944384 5173 0 0 0 144 2 0 0 20 0 20 0 10281960 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719751899120 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19627] ppid=19588 vsize=13268028 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19627/stat : 19627 (java) S 19588 19593 11993 0 -1 1077944384 6383 0 0 0 87 2 0 0 20 0 20 0 10281960 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719750846576 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19628] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19628/stat : 19628 (java) S 19588 19593 11993 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10281960 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719749794784 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19629] ppid=19588 vsize=13268028 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19629/stat : 19629 (java) S 19588 19593 11993 0 -1 1077944384 864 0 0 0 57 51 0 0 20 0 20 0 10281960 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719748742320 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 13268028

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

[startup+2372.7 s]
/proc/loadavg: 1.51 1.43 1.43 3/281 20052
/proc/meminfo: memFree=30509272/32770624 swapFree=6368/350724
[pid=19593] ppid=19588 vsize=13268028 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/19593/stat : 19593 (java) S 19588 19593 11993 0 -1 1077944320 89384 0 0 0 239729 274 0 0 20 0 20 0 10281951 13586460672 188242 33554432000 4194304 4196468 140729675555200 140729675537744 139720295223031 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
/proc/19593/statm: 3317007 188242 3832 1 0 3304722 0
[pid=19593/tid=19597] ppid=19588 vsize=13268028 CPUtime=2365.68 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19597/stat : 19597 (java) R 19588 19593 11993 0 -1 4202560 33637 0 0 0 236549 19 0 0 20 0 20 0 10281951 13586460672 188242 33554432000 4194304 4196468 140729675555200 139720299461488 139719940275955 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19601] ppid=19588 vsize=13268028 CPUtime=3.26 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19601/stat : 19601 (java) S 19588 19593 11993 0 -1 1077944384 3454 0 0 0 301 25 0 0 20 0 20 0 10281953 13586460672 188242 33554432000 4194304 4196468 140729675555200 139720253983760 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19602] ppid=19588 vsize=13268028 CPUtime=3.29 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19602/stat : 19602 (java) S 19588 19593 11993 0 -1 1077944384 3459 0 0 0 303 26 0 0 20 0 20 0 10281953 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719893142672 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19603] ppid=19588 vsize=13268028 CPUtime=3.3 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19603/stat : 19603 (java) S 19588 19593 11993 0 -1 1077944384 1908 0 0 0 306 24 0 0 20 0 20 0 10281953 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719892089616 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19604] ppid=19588 vsize=13268028 CPUtime=3.27 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19604/stat : 19604 (java) S 19588 19593 11993 0 -1 1077944384 5867 0 0 0 301 26 0 0 20 0 20 0 10281953 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719891037072 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19606] ppid=19588 vsize=13268028 CPUtime=3.25 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19606/stat : 19606 (java) S 19588 19593 11993 0 -1 1077944384 2675 0 0 0 298 27 0 0 20 0 20 0 10281953 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719889984016 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19607] ppid=19588 vsize=13268028 CPUtime=3.25 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19607/stat : 19607 (java) S 19588 19593 11993 0 -1 1077944384 2169 0 0 0 301 24 0 0 20 0 20 0 10281953 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719888931472 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19608] ppid=19588 vsize=13268028 CPUtime=3.34 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19608/stat : 19608 (java) S 19588 19593 11993 0 -1 1077944384 2880 0 0 0 309 25 0 0 20 0 20 0 10281953 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719887878416 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19610] ppid=19588 vsize=13268028 CPUtime=3.24 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19610/stat : 19610 (java) S 19588 19593 11993 0 -1 1077944384 2016 0 0 0 299 25 0 0 20 0 20 0 10281953 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719886825872 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19617] ppid=19588 vsize=13268028 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19617/stat : 19617 (java) S 19588 19593 11993 0 -1 1077944384 8823 0 0 0 151 16 0 0 20 0 20 0 10281955 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719758215920 139720295234178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19618] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19618/stat : 19618 (java) S 19588 19593 11993 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 10281956 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719757162208 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19620] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19620/stat : 19620 (java) S 19588 19593 11993 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 10281956 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719756109056 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19623] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19623/stat : 19623 (java) S 19588 19593 11993 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10281960 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719755057616 139720295241627 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19624] ppid=19588 vsize=13268028 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19624/stat : 19624 (java) S 19588 19593 11993 0 -1 1077944384 4425 0 0 0 145 4 0 0 20 0 20 0 10281960 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719754004720 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19625] ppid=19588 vsize=13268028 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19625/stat : 19625 (java) S 19588 19593 11993 0 -1 1077944384 4219 0 0 0 139 1 0 0 20 0 20 0 10281960 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719752952176 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19626] ppid=19588 vsize=13268028 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19626/stat : 19626 (java) S 19588 19593 11993 0 -1 1077944384 5173 0 0 0 144 2 0 0 20 0 20 0 10281960 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719751899120 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19627] ppid=19588 vsize=13268028 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19627/stat : 19627 (java) S 19588 19593 11993 0 -1 1077944384 6383 0 0 0 87 2 0 0 20 0 20 0 10281960 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719750846576 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19628] ppid=19588 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19628/stat : 19628 (java) S 19588 19593 11993 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10281960 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719749794784 139720295233237 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
[pid=19593/tid=19629] ppid=19588 vsize=13268028 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/19593/task/19629/stat : 19629 (java) S 19588 19593 11993 0 -1 1077944384 864 0 0 0 57 51 0 0 20 0 20 0 10281960 13586460672 188242 33554432000 4194304 4196468 140729675555200 139719748742320 139720295234178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6668288 140729675560073 140729675560260 140729675560260 140729675562959 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 13268028

Child status: 143
Real time (s): 2372.72
CPU time (s): 2400.06
CPU user time (s): 2397.3
CPU system time (s): 2.75304
CPU usage (%): 101.152
Max. virtual memory (cumulated for all children) (KiB): 13268028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.3
system time used= 2.75304
maximum resident set size= 753468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89641
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120477
involuntary context switches= 136257

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4974 second user time and 20.2525 second system time

The end

Begin job on node127 at 2017-07-22 21:02:20
IDJOB=4249033
IDBENCH=135029
IDSOLVER=2628
FILE ID=node127/4249033-1500750140
RUNJOBID= node127-1500750140-19565
PBS_JOBID= 20623370
Free space on /tmp= 61900 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K108.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4249033-1500750140/watcher-4249033-1500750140 -o /tmp/evaluation-result-4249033-1500750140/solver-4249033-1500750140 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500750140-19565 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1681494798 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249033-1500750140.xml

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

MD5SUM BENCH= 2a47884be513939e719b7a1148b6038b
RANDOM SEED=1681494798

node127.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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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

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

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

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

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

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

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.94
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		: 2267.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:        31475432 kB
MemAvailable:   31991900 kB
Buffers:          155524 kB
Cached:           639052 kB
SwapCached:            0 kB
Active:           490364 kB
Inactive:         361088 kB
Active(anon):      59392 kB
Inactive(anon):     8688 kB
Active(file):     430972 kB
Inactive(file):   352400 kB
Unevictable:        6364 kB
Mlocked:            6364 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             84704 kB
Writeback:             0 kB
AnonPages:         60800 kB
Mapped:            30780 kB
Shmem:              8840 kB
Slab:             131296 kB
SReclaimable:      97864 kB
SUnreclaim:        33432 kB
KernelStack:        4256 kB
PageTables:         4932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     309344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61816 MiB
End job on node127 at 2017-07-22 21:41:56

Name	PseudoBoolean/PseudoBoolean-dec-sptate/ Pb-Tate-K108.xml
MD5SUM	2a47884be513939e719b7a1148b6038b
Bench Category	CSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables	7344
Number of constraints	7562
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":7344}]
Minimum variable degree	3
Maximum variable degree	10
Distribution of variable degrees	[{"degree":3,"count":1},{"degree":4,"count":185},{"degree":5,"count":1300},{"degree":6,"count":2879},{"degree":7,"count":1808},{"degree":8,"count":745},{"degree":9,"count":214},{"degree":10,"count":212}]
Minimum constraint arity	1
Maximum constraint arity	108
Distribution of constraint arities	[{"arity":1,"count":2},{"arity":2,"count":1391},{"arity":3,"count":2889},{"arity":4,"count":1926},{"arity":5,"count":642},{"arity":6,"count":214},{"arity":7,"count":214},{"arity":68,"count":216},{"arity":108,"count":68}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":7562}]
Optimization problem	NO
Type of objective

Trace number 4249033

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data