2018 XCSP3 competition: mini-solvers track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Solver of Xavier Schul & Yvhan Smal 2018-04-28	SAT	2.19752	0.828923

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13537 MiB free)
  memory of node 1: 16384 MiB (13926 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298801-1532774598/watcher-4298801-1532774598 -o /tmp/evaluation-result-4298801-1532774598/solver-4298801-1532774598 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532774598-23260 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298801-1532774598.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23290, runsolver pid=23283

[startup+0.100155 s]*
/proc/loadavg: 0.69 0.86 1.10 7/216 23319
/proc/meminfo: memFree=28092072/32770624 swapFree=67108532/67108860
[pid=23290] ppid=23283 vsize=10661052 memory=27572 CPUtime=0.12 cores=0,2,4,6
/proc/23290/stat : 23290 (java) S 23283 23290 23229 0 -1 1077944320 5290 0 0 0 11 1 0 0 20 0 15 0 95022958 10916917248 6893 33554432000 4194304 4196468 140724315370064 140724315352608 140566214381303 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
/proc/23290/statm: 2665263 6893 2867 1 0 2627263 0
[pid=23290/tid=23293] ppid=23283 vsize=10661052 memory=5450919713671312938 CPUtime=0.09 cores=0,2,4,6
/proc/23290/task/23293/stat : 23293 (java) R 23283 23290 23229 0 -1 4202560 3172 0 0 0 8 1 0 0 20 0 15 0 95022959 10916917248 6893 33554432000 4194304 4196468 140724315370064 140566218609456 140566198424933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23298] ppid=23283 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23298/stat : 23298 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022959 10916917248 6893 33554432000 4194304 4196468 140724315370064 140566167002000 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23299] ppid=23283 vsize=10661052 memory=140113725752960 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23299/stat : 23299 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022959 10916917248 6893 33554432000 4194304 4196468 140724315370064 140566165949200 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23300] ppid=23283 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23300/stat : 23300 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022959 10916917248 6893 33554432000 4194304 4196468 140724315370064 140566164896912 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23301] ppid=23283 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23301/stat : 23301 (java) S 23283 23290 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95022959 10916917248 6893 33554432000 4194304 4196468 140724315370064 140566163844112 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23303] ppid=23283 vsize=10661052 memory=140113725752960 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23303/stat : 23303 (java) S 23283 23290 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95022961 10916917248 6893 33554432000 4194304 4196468 140724315370064 140565451384944 140566214392450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23305] ppid=23283 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23305/stat : 23305 (java) S 23283 23290 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95022961 10916917248 6893 33554432000 4194304 4196468 140724315370064 140565450330912 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23307] ppid=23283 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23307/stat : 23307 (java) S 23283 23290 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95022961 10916917248 6893 33554432000 4194304 4196468 140724315370064 140565449278576 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23313] ppid=23283 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23313/stat : 23313 (java) S 23283 23290 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95022964 10916917248 6893 33554432000 4194304 4196468 140724315370064 140565448226896 140566214399899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23314] ppid=23283 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23314/stat : 23314 (java) S 23283 23290 23229 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 95022964 10916917248 6893 33554432000 4194304 4196468 140724315370064 140565447174768 140566214392450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23315] ppid=23283 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23315/stat : 23315 (java) S 23283 23290 23229 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 95022964 10916917248 6893 33554432000 4194304 4196468 140724315370064 140565446121968 140566214392450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23316] ppid=23283 vsize=10661052 memory=140113725752960 CPUtime=0.01 cores=0,2,4,6
/proc/23290/task/23316/stat : 23316 (java) S 23283 23290 23229 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 15 0 95022964 10916917248 6893 33554432000 4194304 4196468 140724315370064 140565445069680 140566214392450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23318] ppid=23283 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23318/stat : 23318 (java) S 23283 23290 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95022964 10916917248 6893 33554432000 4194304 4196468 140724315370064 140565444017120 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23319] ppid=23283 vsize=10661052 memory=140113725752960 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23319/stat : 23319 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022964 10916917248 6893 33554432000 4194304 4196468 140724315370064 140565442963888 140566214392450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 27572 KiB

[startup+0.214105 s]*
/proc/loadavg: 0.69 0.86 1.10 8/216 23319
/proc/meminfo: memFree=28067560/32770624 swapFree=67108532/67108860
[pid=23290] ppid=23283 vsize=10661052 memory=41344 CPUtime=0.36 cores=0,2,4,6
/proc/23290/stat : 23290 (java) S 23283 23290 23229 0 -1 1077944320 8371 0 0 0 33 3 0 0 20 0 15 0 95022958 10916917248 10336 33554432000 4194304 4196468 140724315370064 140724315352608 140566214381303 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
/proc/23290/statm: 2665263 10336 3020 1 0 2627263 0
[pid=23290/tid=23293] ppid=23283 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/23290/task/23293/stat : 23293 (java) R 23283 23290 23229 0 -1 4202560 5150 0 0 0 19 1 0 0 20 0 15 0 95022959 10916917248 10336 33554432000 4194304 4196468 140724315370064 140566218619600 140566199752528 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23298] ppid=23283 vsize=10661052 memory=364 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23298/stat : 23298 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022959 10916917248 10336 33554432000 4194304 4196468 140724315370064 140566167002000 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23299] ppid=23283 vsize=10661052 memory=140113726286889 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23299/stat : 23299 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022959 10916917248 10336 33554432000 4194304 4196468 140724315370064 140566165949200 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23300] ppid=23283 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23300/stat : 23300 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022959 10916917248 10336 33554432000 4194304 4196468 140724315370064 140566164896912 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23301] ppid=23283 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23301/stat : 23301 (java) S 23283 23290 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95022959 10916917248 10336 33554432000 4194304 4196468 140724315370064 140566163844112 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23303] ppid=23283 vsize=10661052 memory=140113725752960 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23303/stat : 23303 (java) S 23283 23290 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95022961 10916917248 10336 33554432000 4194304 4196468 140724315370064 140565451384944 140566214392450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23305] ppid=23283 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23305/stat : 23305 (java) S 23283 23290 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95022961 10916917248 10336 33554432000 4194304 4196468 140724315370064 140565450330912 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23307] ppid=23283 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23307/stat : 23307 (java) S 23283 23290 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95022961 10916917248 10336 33554432000 4194304 4196468 140724315370064 140565449278576 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23313] ppid=23283 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23313/stat : 23313 (java) S 23283 23290 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95022964 10916917248 10336 33554432000 4194304 4196468 140724315370064 140565448226896 140566214399899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23314] ppid=23283 vsize=10661052 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23290/task/23314/stat : 23314 (java) S 23283 23290 23229 0 -1 1077944384 836 0 0 0 3 0 0 0 20 0 15 0 95022964 10916917248 10336 33554432000 4194304 4196468 140724315370064 140565447174768 140566214392450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23315] ppid=23283 vsize=10661052 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23290/task/23315/stat : 23315 (java) S 23283 23290 23229 0 -1 1077944384 281 0 0 0 2 0 0 0 20 0 15 0 95022964 10916917248 10336 33554432000 4194304 4196468 140724315370064 140565446121968 140566214392450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23316] ppid=23283 vsize=10661052 memory=140113725752960 CPUtime=0.07 cores=0,2,4,6
/proc/23290/task/23316/stat : 23316 (java) R 23283 23290 23229 0 -1 4202560 739 0 0 0 7 0 0 0 20 0 15 0 95022964 10916917248 10336 33554432000 4194304 4196468 140724315370064 140565445064216 140566193336889 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23318] ppid=23283 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23318/stat : 23318 (java) S 23283 23290 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95022964 10916917248 10336 33554432000 4194304 4196468 140724315370064 140565444017120 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23319] ppid=23283 vsize=10661052 memory=140113725752960 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23319/stat : 23319 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022964 10916917248 10336 33554432000 4194304 4196468 140724315370064 140565442963888 140566214392450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 41344 KiB

[startup+0.31052 s]*
/proc/loadavg: 0.69 0.86 1.10 5/216 23319
/proc/meminfo: memFree=28056580/32770624 swapFree=67108532/67108860
[pid=23290] ppid=23283 vsize=10661128 memory=47532 CPUtime=0.59 cores=0,2,4,6
/proc/23290/stat : 23290 (java) S 23283 23290 23229 0 -1 1077944320 8915 0 0 0 56 3 0 0 20 0 15 0 95022958 10916995072 11883 33554432000 4194304 4196468 140724315370064 140724315352608 140566214381303 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
/proc/23290/statm: 2665282 11883 3076 1 0 2627263 0
[pid=23290/tid=23293] ppid=23283 vsize=10661128 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/23290/task/23293/stat : 23293 (java) R 23283 23290 23229 0 -1 4202560 5447 0 0 0 28 2 0 0 20 0 15 0 95022959 10916995072 11883 33554432000 4194304 4196468 140724315370064 140566218615184 140565842780832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23298] ppid=23283 vsize=10661128 memory=304556149079015447 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23298/stat : 23298 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022959 10916995072 11883 33554432000 4194304 4196468 140724315370064 140566167002000 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23299] ppid=23283 vsize=10661128 memory=140113726286833 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23299/stat : 23299 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022959 10916995072 11883 33554432000 4194304 4196468 140724315370064 140566165949200 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23300] ppid=23283 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23300/stat : 23300 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022959 10916995072 11883 33554432000 4194304 4196468 140724315370064 140566164896912 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23301] ppid=23283 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23301/stat : 23301 (java) S 23283 23290 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95022959 10916995072 11883 33554432000 4194304 4196468 140724315370064 140566163844112 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23303] ppid=23283 vsize=10661128 memory=140113725752960 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23303/stat : 23303 (java) S 23283 23290 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95022961 10916995072 11883 33554432000 4194304 4196468 140724315370064 140565451384944 140566214392450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23305] ppid=23283 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23305/stat : 23305 (java) S 23283 23290 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95022961 10916995072 11883 33554432000 4194304 4196468 140724315370064 140565450330912 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23307] ppid=23283 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23307/stat : 23307 (java) S 23283 23290 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95022961 10916995072 11883 33554432000 4194304 4196468 140724315370064 140565449278576 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23313] ppid=23283 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23313/stat : 23313 (java) S 23283 23290 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95022964 10916995072 11883 33554432000 4194304 4196468 140724315370064 140565448226896 140566214399899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23314] ppid=23283 vsize=10661128 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/23290/task/23314/stat : 23314 (java) R 23283 23290 23229 0 -1 4202560 883 0 0 0 6 0 0 0 20 0 15 0 95022964 10916995072 11883 33554432000 4194304 4196468 140724315370064 140565447174864 140566194037681 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23315] ppid=23283 vsize=10661128 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/23290/task/23315/stat : 23315 (java) R 23283 23290 23229 0 -1 1077944384 339 0 0 0 5 0 0 0 20 0 15 0 95022964 10916995072 11883 33554432000 4194304 4196468 140724315370064 140565446121968 140566214392450 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23316] ppid=23283 vsize=10661128 memory=140113725752960 CPUtime=0.15 cores=0,2,4,6
/proc/23290/task/23316/stat : 23316 (java) R 23283 23290 23229 0 -1 4202560 879 0 0 0 15 0 0 0 20 0 15 0 95022964 10916995072 11883 33554432000 4194304 4196468 140724315370064 140565445065408 140566214402650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23318] ppid=23283 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23318/stat : 23318 (java) S 23283 23290 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95022964 10916995072 11883 33554432000 4194304 4196468 140724315370064 140565444017120 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23319] ppid=23283 vsize=10661128 memory=140113725752960 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23319/stat : 23319 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022964 10916995072 11883 33554432000 4194304 4196468 140724315370064 140565442963888 140566214392450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 47532 KiB

[startup+0.700676 s]
/proc/loadavg: 1.12 0.94 1.13 9/216 23319
/proc/meminfo: memFree=28002736/32770624 swapFree=67108532/67108860
[pid=23290] ppid=23283 vsize=10661128 memory=85548 CPUtime=1.83 cores=0,2,4,6
/proc/23290/stat : 23290 (java) S 23283 23290 23229 0 -1 1077944320 12830 0 0 0 178 5 0 0 20 0 15 0 95022958 10916995072 21387 33554432000 4194304 4196468 140724315370064 140724315352608 140566214381303 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
/proc/23290/statm: 2665282 21387 3116 1 0 2627263 0
[pid=23290/tid=23293] ppid=23283 vsize=10661128 memory=16236 CPUtime=0.67 cores=0,2,4,6
/proc/23290/task/23293/stat : 23293 (java) R 23283 23290 23229 0 -1 4202560 5619 0 0 0 65 2 0 0 20 0 15 0 95022959 10916995072 21387 33554432000 4194304 4196468 140724315370064 140566218617288 140565844117037 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23298] ppid=23283 vsize=10661128 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23298/stat : 23298 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022959 10916995072 21387 33554432000 4194304 4196468 140724315370064 140566167002000 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23299] ppid=23283 vsize=10661128 memory=640 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23299/stat : 23299 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022959 10916995072 21387 33554432000 4194304 4196468 140724315370064 140566165949200 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23300] ppid=23283 vsize=10661128 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23300/stat : 23300 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022959 10916995072 21387 33554432000 4194304 4196468 140724315370064 140566164896912 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23301] ppid=23283 vsize=10661128 memory=960 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23301/stat : 23301 (java) S 23283 23290 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95022959 10916995072 21387 33554432000 4194304 4196468 140724315370064 140566163844112 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23303] ppid=23283 vsize=10661128 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23303/stat : 23303 (java) S 23283 23290 23229 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95022961 10916995072 21387 33554432000 4194304 4196468 140724315370064 140565451384944 140566214392450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23305] ppid=23283 vsize=10661128 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23305/stat : 23305 (java) S 23283 23290 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95022961 10916995072 21387 33554432000 4194304 4196468 140724315370064 140565450330912 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23307] ppid=23283 vsize=10661128 memory=928 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23307/stat : 23307 (java) S 23283 23290 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95022961 10916995072 21387 33554432000 4194304 4196468 140724315370064 140565449278576 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23313] ppid=23283 vsize=10661128 memory=6153431502485415274 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23313/stat : 23313 (java) S 23283 23290 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95022964 10916995072 21387 33554432000 4194304 4196468 140724315370064 140565448226896 140566214399899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23314] ppid=23283 vsize=10661128 memory=6081108994580113768 CPUtime=0.44 cores=0,2,4,6
/proc/23290/task/23314/stat : 23314 (java) R 23283 23290 23229 0 -1 4202560 2472 0 0 0 43 1 0 0 20 0 15 0 95022964 10916995072 21387 33554432000 4194304 4196468 140724315370064 140565447160568 140566193627146 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23315] ppid=23283 vsize=10661128 memory=6154282490091891024 CPUtime=0.4 cores=0,2,4,6
/proc/23290/task/23315/stat : 23315 (java) R 23283 23290 23229 0 -1 4202560 1920 0 0 0 40 0 0 0 20 0 15 0 95022964 10916995072 21387 33554432000 4194304 4196468 140724315370064 140565446107816 140566194074403 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23316] ppid=23283 vsize=10661128 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/23290/task/23316/stat : 23316 (java) S 23283 23290 23229 0 -1 1077944384 1448 0 0 0 28 0 0 0 20 0 15 0 95022964 10916995072 21387 33554432000 4194304 4196468 140724315370064 140565445069680 140566214392450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23318] ppid=23283 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23318/stat : 23318 (java) S 23283 23290 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95022964 10916995072 21387 33554432000 4194304 4196468 140724315370064 140565444017120 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23319] ppid=23283 vsize=10661128 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23319/stat : 23319 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022964 10916995072 21387 33554432000 4194304 4196468 140724315370064 140565442963888 140566214392450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 85548 KiB

[startup+0.828881 s]
# the end of solver process 23290 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2.13289 s, system=0.064633 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.800882 s]
/proc/loadavg: 1.12 0.94 1.13 9/216 23319
/proc/meminfo: memFree=28002736/32770624 swapFree=67108532/67108860
[pid=23290] ppid=23283 vsize=10661128 memory=91752 CPUtime=2.13 cores=0,2,4,6
/proc/23290/stat : 23290 (java) S 23283 23290 23229 0 -1 1077944320 13355 0 0 0 208 5 0 0 20 0 15 0 95022958 10916995072 22938 33554432000 4194304 4196468 140724315370064 140724315352608 140566214381303 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
/proc/23290/statm: 2665282 22938 3116 1 0 2627263 0
[pid=23290/tid=23293] ppid=23283 vsize=10661128 memory=16460 CPUtime=0.78 cores=0,2,4,6
/proc/23290/task/23293/stat : 23293 (java) R 23283 23290 23229 0 -1 4202560 5621 0 0 0 75 3 0 0 20 0 15 0 95022959 10916995072 22938 33554432000 4194304 4196468 140724315370064 140566218617288 140565843827838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23298] ppid=23283 vsize=10661128 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23298/stat : 23298 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022959 10916995072 22938 33554432000 4194304 4196468 140724315370064 140566167002000 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23299] ppid=23283 vsize=10661128 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23299/stat : 23299 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022959 10916995072 22938 33554432000 4194304 4196468 140724315370064 140566165949200 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23300] ppid=23283 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23300/stat : 23300 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022959 10916995072 22938 33554432000 4194304 4196468 140724315370064 140566164896912 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23301] ppid=23283 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23301/stat : 23301 (java) S 23283 23290 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95022959 10916995072 22938 33554432000 4194304 4196468 140724315370064 140566163844112 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23303] ppid=23283 vsize=10661128 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23303/stat : 23303 (java) S 23283 23290 23229 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95022961 10916995072 22938 33554432000 4194304 4196468 140724315370064 140565451384944 140566214392450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23305] ppid=23283 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23305/stat : 23305 (java) S 23283 23290 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95022961 10916995072 22938 33554432000 4194304 4196468 140724315370064 140565450330912 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23307] ppid=23283 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23307/stat : 23307 (java) S 23283 23290 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95022961 10916995072 22938 33554432000 4194304 4196468 140724315370064 140565449278576 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23313] ppid=23283 vsize=10661128 memory=4211821575712184960 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23313/stat : 23313 (java) S 23283 23290 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95022964 10916995072 22938 33554432000 4194304 4196468 140724315370064 140565448226896 140566214399899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23314] ppid=23283 vsize=10661128 memory=6944656592455359580 CPUtime=0.54 cores=0,2,4,6
/proc/23290/task/23314/stat : 23314 (java) R 23283 23290 23229 0 -1 4202560 2833 0 0 0 53 1 0 0 20 0 15 0 95022964 10916995072 22938 33554432000 4194304 4196468 140724315370064 140565447160568 140566200411351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23315] ppid=23283 vsize=10661128 memory=6944656592387989600 CPUtime=0.5 cores=0,2,4,6
/proc/23290/task/23315/stat : 23315 (java) R 23283 23290 23229 0 -1 4202560 2082 0 0 0 50 0 0 0 20 0 15 0 95022964 10916995072 22938 33554432000 4194304 4196468 140724315370064 140565446108536 140566197594849 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23316] ppid=23283 vsize=10661128 memory=6944656592455359580 CPUtime=0.28 cores=0,2,4,6
/proc/23290/task/23316/stat : 23316 (java) S 23283 23290 23229 0 -1 1077944384 1448 0 0 0 28 0 0 0 20 0 15 0 95022964 10916995072 22938 33554432000 4194304 4196468 140724315370064 140565445069680 140566214392450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23318] ppid=23283 vsize=10661128 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23318/stat : 23318 (java) S 23283 23290 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95022964 10916995072 22938 33554432000 4194304 4196468 140724315370064 140565444017120 140566214391509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
[pid=23290/tid=23319] ppid=23283 vsize=10661128 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/23290/task/23319/stat : 23319 (java) S 23283 23290 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95022964 10916995072 22938 33554432000 4194304 4196468 140724315370064 140565442963888 140566214392450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22482944 140724315378861 140724315378953 140724315378953 140724315381711 0
Current children cumulated CPU time: 2.13 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 91752 KiB

Child status: 0
Real time (s): 0.828923
CPU time (s): 2.19752
CPU user time (s): 2.13289
CPU system time (s): 0.064633
CPU usage (%): 265.106
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 91752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.13289
system time used= 0.064633
maximum resident set size= 93264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13626
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1296
involuntary context switches= 13


# summary of solver processes directly reported to runsolver:
#   pid: 23290
#   total CPU time (s): 2.19752
#   total CPU user time (s): 2.13289
#   total CPU system time (s): 0.064633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028228 second user time and 0.047283 second system time

The end

Begin job on node104 at 2018-07-28 12:43:18
IDJOB=4298801
IDBENCH=141235
IDSOLVER=2766
FILE ID=node104/4298801-1532774598
RUNJOBID= node104-1532774598-23260
PBS_JOBID= 21022461
Free space on /tmp= 48344 MiB

SOLVER NAME= Solver of Xavier Schul & Yvhan Smal 2018-04-28
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-robin08_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298801-1532774598/watcher-4298801-1532774598 -o /tmp/evaluation-result-4298801-1532774598/solver-4298801-1532774598 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532774598-23260 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4298801-1532774598.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 1bc3f3e5ba546c0eba55cc781441057a
RANDOM SEED=1714002028

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.11
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.11
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.11
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.11
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28125036 kB
MemAvailable:   31952484 kB
Buffers:          149384 kB
Cached:          3931092 kB
SwapCached:           12 kB
Active:          1915316 kB
Inactive:        2217444 kB
Active(anon):       7404 kB
Inactive(anon):    73040 kB
Active(file):    1907912 kB
Inactive(file):  2144404 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108860 kB
SwapFree:       67108532 kB
Dirty:              2264 kB
Writeback:             0 kB
AnonPages:         59248 kB
Mapped:            40352 kB
Shmem:             25060 kB
Slab:             210124 kB
SReclaimable:     181936 kB
SUnreclaim:        28188 kB
KernelStack:        3152 kB
PageTables:         5168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48344 MiB
End job on node104 at 2018-07-28 12:43:19

Name	PseudoBoolean-dec/ Pb-robin08_c18.xml
MD5SUM	1bc3f3e5ba546c0eba55cc781441057a
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.189783
Satisfiable
(Un)Satisfiability was proved
Number of variables	784
Number of constraints	256
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":784}]
Minimum variable degree	10
Maximum variable degree	10
Distribution of variable degrees	[{"degree":10,"count":784}]
Minimum constraint arity	28
Maximum constraint arity	49
Distribution of constraint arities	[{"arity":28,"count":224},{"arity":49,"count":32}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":256}]
Optimization problem	NO
Type of objective

Trace number 4298801

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data