0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/277040-1169253310/unknown.xml
0.38
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.43 => wckTime=0.103 cpuTime=0.1 mem=6M910
0.43
0.43 relations being loaded...
0.52
0.52 constraints being loaded...
0.63 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8183 maxDegree=27
0.63 maxArity=2
0.63 => wckTime=0.304 cpuTime=0.21 mem=10M811
0.67
0.67 solver LocalSearchSolver being built...
0.71 => wckTime=0.391 cpuTime=0.26 mem=5M815
0.72
0.72 s SATISFIABLE
0.72 o 350
0.72 c 64
0.72 o 356
0.72 c 58
0.72 o 362
0.72 c 52
0.72 o 366
0.72 c 48
0.72 o 370
0.72 c 44
0.72 o 374
0.72 c 40
0.72 o 376
0.72 c 38
0.72 o 379
0.72 c 35
0.73 o 381
0.73 c 33
0.73 o 383
0.73 c 31
0.73 o 385
0.73 c 29
0.73 o 387
0.73 c 27
0.73 o 388
0.73 c 26
0.73 o 390
0.73 c 24
0.73 o 391
0.73 c 23
0.73 o 393
0.73 c 21
0.73 o 394
0.73 c 20
0.73 o 395
0.73 c 19
0.74 o 396
0.74 c 18
0.75 o 397
0.75 c 17
0.75 o 399
0.75 c 15
0.75 o 400
0.75 c 14
0.75 o 401
0.75 c 13
0.75 o 402
0.75 c 12
0.75 o 403
0.75 c 11
0.76 o 404
0.76 c 10
0.76 o 405
0.76 c 9
0.77 o 406
0.77 c 8
0.79 o 407
0.79 c 7
0.79 o 408
0.79 c 6
0.82 o 409
0.82 c 5
0.89 o 410
0.89 c 4
0.91 o 411
0.91 c 3
0.91 o 412
0.91 c 2
3.20
3.20 search
3.20 run=0 nbConstraintChecks=15835119 nbAssignments=10000
3.20 => wckTime=2.485 cpuTime=2.44 mem=5M815
5.75
5.75 search
5.75 run=1 nbConstraintChecks=32989428 nbAssignments=20000
5.75 => wckTime=5.041 cpuTime=4.96 mem=5M815
8.17
8.17 search
8.17 run=2 nbConstraintChecks=49171386 nbAssignments=30000
8.17 => wckTime=7.457 cpuTime=7.36 mem=5M815
10.74
10.74 search
10.74 run=3 nbConstraintChecks=66689717 nbAssignments=40000
10.74 => wckTime=10.032 cpuTime=9.91 mem=5M815
11.70 o 413
11.70 c 1
11.70
11.70 search
11.70 run=4 nbConstraintChecks=72880898 nbAssignments=44302
11.70 => wckTime=10.988 cpuTime=10.86 mem=5M815
11.70
11.70 global
11.70 nbConstraintChecks=72880898 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
11.70 solvingWckTime=10.986 solvingCpuTime=10.86 expiredTime=no totalExploration=no nbFoundSolutions=0
11.70 globalCpuTime=11.16
11.70 => wckTime=11.38 cpuTime=11.12 mem=5M815
11.70
11.70 solver IterativeSystematicSolver being built...
11.83 => wckTime=11.51 cpuTime=11.23 mem=16M805
11.84
11.84 preprocessing
11.84 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
11.84 detectedInconsistency=no
11.84 => wckTime=0.0070 cpuTime=0.0 mem=16M805
11.92
11.92 search
11.92 run=0 nbConstraintChecks=137942 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35
11.92 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=64 nbRestartNogoods=0
11.92 => wckTime=0.083 cpuTime=0.06 mem=16M805
12.00
12.00 search
12.00 run=1 nbConstraintChecks=341905 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=86
12.00 nbFailedAssignments=48 nbBacktracks=25 nbVisitedNodes=160 nbRestartNogoods=15
12.00 => wckTime=0.166 cpuTime=0.13 mem=16M805
12.07
12.07 search
12.07 run=2 nbConstraintChecks=573833 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=141
12.07 nbFailedAssignments=75 nbBacktracks=48 nbVisitedNodes=265 nbRestartNogoods=23
12.07 => wckTime=0.233 cpuTime=0.19 mem=16M805
12.18
12.18 search
12.18 run=3 nbConstraintChecks=964558 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=235
12.18 nbFailedAssignments=131 nbBacktracks=81 nbVisitedNodes=448 nbRestartNogoods=31
12.18 => wckTime=0.342 cpuTime=0.3 mem=16M805
12.34
12.34 search
12.34 run=4 nbConstraintChecks=1614783 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=387
12.34 nbFailedAssignments=226 nbBacktracks=131 nbVisitedNodes=745 nbRestartNogoods=52
12.34 => wckTime=0.51 cpuTime=0.47 mem=16M805
12.60
12.60 search
12.60 run=5 nbConstraintChecks=2584567 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=605
12.60 nbFailedAssignments=364 nbBacktracks=206 nbVisitedNodes=1176 nbRestartNogoods=72
12.60 => wckTime=0.763 cpuTime=0.71 mem=16M805
12.99
12.99 search
12.99 run=6 nbConstraintChecks=4001487 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=943
12.99 nbFailedAssignments=584 nbBacktracks=319 nbVisitedNodes=1843 nbRestartNogoods=82
12.99 => wckTime=1.159 cpuTime=1.1 mem=16M805
13.48
13.48 search
13.48 run=7 nbConstraintChecks=5862415 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1373
13.48 nbFailedAssignments=838 nbBacktracks=490 nbVisitedNodes=2697 nbRestartNogoods=90
13.48 => wckTime=1.648 cpuTime=1.59 mem=16M805
14.36
14.36 search
14.36 run=8 nbConstraintChecks=9118156 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2124
14.36 nbFailedAssignments=1325 nbBacktracks=746 nbVisitedNodes=4191 nbRestartNogoods=104
14.36 => wckTime=2.523 cpuTime=2.44 mem=16M805
15.53
15.53 search
15.53 run=9 nbConstraintChecks=13561842 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3206
15.53 nbFailedAssignments=2016 nbBacktracks=1130 nbVisitedNodes=6299 nbRestartNogoods=121
15.53 => wckTime=3.696 cpuTime=3.6 mem=16M805
17.41
17.41 search
17.41 run=10 nbConstraintChecks=20906486 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4907
17.41 nbFailedAssignments=3137 nbBacktracks=1706 nbVisitedNodes=9660 nbRestartNogoods=147
17.41 => wckTime=5.581 cpuTime=5.46 mem=16M805
19.99
19.99 search
19.99 run=11 nbConstraintChecks=29784914 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7013
19.99 nbFailedAssignments=4377 nbBacktracks=2570 nbVisitedNodes=13669 nbRestartNogoods=149
19.99 => wckTime=8.156 cpuTime=8.01 mem=16M805
23.16
23.16 search
23.16 run=12 nbConstraintChecks=41120665 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9854
23.16 nbFailedAssignments=5915 nbBacktracks=3867 nbVisitedNodes=18851 nbRestartNogoods=151
23.16 => wckTime=11.33 cpuTime=11.16 mem=16M805
27.50
27.50 search
27.50 run=13 nbConstraintChecks=56030812 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13815
27.50 nbFailedAssignments=7925 nbBacktracks=5814 nbVisitedNodes=25682 nbRestartNogoods=164
27.50 => wckTime=15.671 cpuTime=15.46 mem=16M805
33.35
33.35 search
33.35 run=14 nbConstraintChecks=76735475 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19407
33.35 nbFailedAssignments=10591 nbBacktracks=8735 nbVisitedNodes=35061 nbRestartNogoods=173
33.35 => wckTime=21.522 cpuTime=21.26 mem=16M805
41.03
41.03 search
41.03 run=15 nbConstraintChecks=103617072 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=27108
41.03 nbFailedAssignments=13908 nbBacktracks=13113 nbVisitedNodes=47233 nbRestartNogoods=180
41.03 => wckTime=29.197 cpuTime=28.87 mem=16M805
51.42
51.42 search
51.42 run=16 nbConstraintChecks=140090921 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38107
51.42 nbFailedAssignments=18329 nbBacktracks=19685 nbVisitedNodes=63965 nbRestartNogoods=186
51.42 => wckTime=39.592 cpuTime=39.18 mem=16M805
66.29
66.29 search
66.29 run=17 nbConstraintChecks=192547758 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54150
66.29 nbFailedAssignments=24513 nbBacktracks=29538 nbVisitedNodes=87854 nbRestartNogoods=198
66.29 => wckTime=54.461 cpuTime=53.92 mem=16M805
87.67
87.67 search
87.67 run=18 nbConstraintChecks=268592191 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=77801
87.67 nbFailedAssignments=33375 nbBacktracks=44317 nbVisitedNodes=122573 nbRestartNogoods=209
87.67 => wckTime=75.834 cpuTime=75.12 mem=16M805
119.02
119.02 search
119.02 run=19 nbConstraintChecks=380340910 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=112855
119.02 nbFailedAssignments=46254 nbBacktracks=66485 nbVisitedNodes=173807 nbRestartNogoods=223
119.02 => wckTime=107.19 cpuTime=106.21 mem=16M805
165.01
165.01 search
165.01 run=20 nbConstraintChecks=545263255 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=165052
165.01 nbFailedAssignments=65191 nbBacktracks=99738 nbVisitedNodes=249558 nbRestartNogoods=231
165.01 => wckTime=153.175 cpuTime=151.8 mem=16M805
187.67
187.67 search
187.67 run=21 nbConstraintChecks=626618569 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=191090
187.67 nbFailedAssignments=74416 nbBacktracks=116552 nbVisitedNodes=287050 nbRestartNogoods=239
187.67 => wckTime=175.834 cpuTime=174.27 mem=16M805
187.67
187.67 global
187.67 nbConstraintChecks=626618569 nbRestartNogoods=239 solvingWckTime=175.835 solvingCpuTime=174.27 expiredTime=no
187.67 totalExploration=yes nbFoundSolutions=0 globalCpuTime=185.54
187.67 => wckTime=187.346 cpuTime=185.5 mem=16M805
187.67
187.67 s OPTIMUM FOUND
187.67 v 8 7 0 6 10 10 1 1 7 6 2 5 8 3 2 1 7 2 1 9 6 6 2 2 3 2 10 8 7 7 9 8 4 8 5 6 4 2 10 9
187.67
187.67 totalWckTime=187.431 totalCpuTime=185.54
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-277040-1169253310 -o ROOT/results/node18/solver-277040-1169253310 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277040-1169253310/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.01 2.02 2.00 4/86 6090
/proc/meminfo: memFree=1298328/2055920 swapFree=4192812/4192956
[pid=6089] ppid=6087 vsize=18540 CPUtime=0
/proc/6089/stat : 6089 (runsolver) R 6087 6089 5143 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 273725799 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6089/statm: 4635 279 244 17 0 2626 0
[startup+0.107468 s]
/proc/loadavg: 2.01 2.02 2.00 4/86 6090
/proc/meminfo: memFree=1298328/2055920 swapFree=4192812/4192956
[pid=6089] ppid=6087 vsize=914988 CPUtime=0.08
/proc/6089/stat : 6089 (java) R 6087 6089 5143 0 -1 0 2987 0 1 0 7 1 0 0 17 0 8 0 273725799 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6089/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515503 s]
/proc/loadavg: 2.01 2.02 2.00 4/86 6090
/proc/meminfo: memFree=1298328/2055920 swapFree=4192812/4192956
[pid=6089] ppid=6087 vsize=915332 CPUtime=0.48
/proc/6089/stat : 6089 (java) R 6087 6089 5143 0 -1 0 6376 0 1 0 44 4 0 0 18 0 8 0 273725799 937299968 6115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073574424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6089/statm: 228833 6115 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33658 s]
/proc/loadavg: 2.01 2.02 2.00 4/93 6097
/proc/meminfo: memFree=1278112/2055920 swapFree=4192812/4192956
[pid=6089] ppid=6087 vsize=915464 CPUtime=1.3
/proc/6089/stat : 6089 (java) R 6087 6089 5143 0 -1 0 7727 0 1 0 114 16 0 0 25 0 8 0 273725799 937435136 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741225 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6089/statm: 228866 7465 2476 14 0 215336 0
[pid=6089/tid=6091] ppid=6087 vsize=915464 CPUtime=0.03
/proc/6089/task/6091/stat : 6091 (java) S 6087 6089 5143 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273725803 937435136 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6092] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6092/stat : 6092 (java) S 6087 6089 5143 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273725804 937435136 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6093] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6093/stat : 6093 (java) S 6087 6089 5143 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273725804 937435136 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6094] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6094/stat : 6094 (java) S 6087 6089 5143 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273725807 937435136 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6095] ppid=6087 vsize=915464 CPUtime=0.17
/proc/6089/task/6095/stat : 6095 (java) S 6087 6089 5143 0 -1 64 351 0 0 0 16 1 0 0 16 0 8 0 273725807 937435136 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6096] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6096/stat : 6096 (java) S 6087 6089 5143 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273725807 937435136 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6097] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6097/stat : 6097 (java) S 6087 6089 5143 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273725807 937435136 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.97973 s]
/proc/loadavg: 2.01 2.02 2.00 3/93 6097
/proc/meminfo: memFree=1278048/2055920 swapFree=4192812/4192956
[pid=6089] ppid=6087 vsize=915464 CPUtime=2.92
/proc/6089/stat : 6089 (java) R 6087 6089 5143 0 -1 0 7728 0 1 0 251 41 0 0 25 0 8 0 273725799 937435136 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741339 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6089/statm: 228866 7465 2476 14 0 215336 0
[pid=6089/tid=6091] ppid=6087 vsize=915464 CPUtime=0.03
/proc/6089/task/6091/stat : 6091 (java) S 6087 6089 5143 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273725803 937435136 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6092] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6092/stat : 6092 (java) S 6087 6089 5143 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273725804 937435136 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6093] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6093/stat : 6093 (java) S 6087 6089 5143 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273725804 937435136 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6094] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6094/stat : 6094 (java) S 6087 6089 5143 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273725807 937435136 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6095] ppid=6087 vsize=915464 CPUtime=0.17
/proc/6089/task/6095/stat : 6095 (java) S 6087 6089 5143 0 -1 64 351 0 0 0 16 1 0 0 16 0 8 0 273725807 937435136 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6096] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6096/stat : 6096 (java) S 6087 6089 5143 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273725807 937435136 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6097] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6097/stat : 6097 (java) S 6087 6089 5143 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273725807 937435136 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915464
[startup+6.18304 s]
/proc/loadavg: 2.01 2.02 2.00 3/93 6097
/proc/meminfo: memFree=1278048/2055920 swapFree=4192812/4192956
[pid=6089] ppid=6087 vsize=915464 CPUtime=6.1
/proc/6089/stat : 6089 (java) R 6087 6089 5143 0 -1 0 7731 0 1 0 518 92 0 0 25 0 8 0 273725799 937435136 7468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073743539 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6089/statm: 228866 7468 2476 14 0 215336 0
[pid=6089/tid=6091] ppid=6087 vsize=915464 CPUtime=0.03
/proc/6089/task/6091/stat : 6091 (java) S 6087 6089 5143 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273725803 937435136 7468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6092] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6092/stat : 6092 (java) S 6087 6089 5143 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273725804 937435136 7468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6093] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6093/stat : 6093 (java) S 6087 6089 5143 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273725804 937435136 7468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6094] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6094/stat : 6094 (java) S 6087 6089 5143 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273725807 937435136 7468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6095] ppid=6087 vsize=915464 CPUtime=0.17
/proc/6089/task/6095/stat : 6095 (java) S 6087 6089 5143 0 -1 64 353 0 0 0 16 1 0 0 16 0 8 0 273725807 937435136 7468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6096] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6096/stat : 6096 (java) S 6087 6089 5143 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273725807 937435136 7468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6097] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6097/stat : 6097 (java) S 6087 6089 5143 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273725807 937435136 7468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915464
[startup+12.6537 s]
/proc/loadavg: 2.01 2.02 2.00 3/93 6097
/proc/meminfo: memFree=1272800/2055920 swapFree=4192812/4192956
[pid=6089] ppid=6087 vsize=915464 CPUtime=12.51
/proc/6089/stat : 6089 (java) R 6087 6089 5143 0 -1 0 9089 0 1 0 1070 181 0 0 25 0 8 0 273725799 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6089/statm: 228866 8825 2527 14 0 215336 0
[pid=6089/tid=6091] ppid=6087 vsize=915464 CPUtime=0.03
/proc/6089/task/6091/stat : 6091 (java) S 6087 6089 5143 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273725803 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6092] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6092/stat : 6092 (java) S 6087 6089 5143 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273725804 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6093] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6093/stat : 6093 (java) S 6087 6089 5143 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273725804 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6094] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6094/stat : 6094 (java) S 6087 6089 5143 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273725807 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6095] ppid=6087 vsize=915464 CPUtime=0.24
/proc/6089/task/6095/stat : 6095 (java) S 6087 6089 5143 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 273725807 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6096] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6096/stat : 6096 (java) S 6087 6089 5143 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273725807 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6097] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6097/stat : 6097 (java) S 6087 6089 5143 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273725807 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915464
[startup+25.5089 s]
/proc/loadavg: 2.01 2.02 2.00 3/93 6097
/proc/meminfo: memFree=1272736/2055920 swapFree=4192812/4192956
[pid=6089] ppid=6087 vsize=915464 CPUtime=25.26
/proc/6089/stat : 6089 (java) R 6087 6089 5143 0 -1 0 9124 0 1 0 2344 182 0 0 25 0 8 0 273725799 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6089/statm: 228866 8855 2527 14 0 215336 0
[pid=6089/tid=6091] ppid=6087 vsize=915464 CPUtime=0.03
/proc/6089/task/6091/stat : 6091 (java) S 6087 6089 5143 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273725803 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6092] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6092/stat : 6092 (java) S 6087 6089 5143 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273725804 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6093] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6093/stat : 6093 (java) S 6087 6089 5143 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273725804 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6094] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6094/stat : 6094 (java) S 6087 6089 5143 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273725807 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6095] ppid=6087 vsize=915464 CPUtime=0.26
/proc/6089/task/6095/stat : 6095 (java) S 6087 6089 5143 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 273725807 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6096] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6096/stat : 6096 (java) S 6087 6089 5143 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273725807 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6097] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6097/stat : 6097 (java) S 6087 6089 5143 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273725807 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915464
[startup+51.1124 s]
/proc/loadavg: 2.00 2.02 2.00 3/93 6097
/proc/meminfo: memFree=1272736/2055920 swapFree=4192812/4192956
[pid=6089] ppid=6087 vsize=915464 CPUtime=50.64
/proc/6089/stat : 6089 (java) R 6087 6089 5143 0 -1 0 9131 0 1 0 4882 182 0 0 25 0 8 0 273725799 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6089/statm: 228866 8862 2527 14 0 215336 0
[pid=6089/tid=6091] ppid=6087 vsize=915464 CPUtime=0.03
/proc/6089/task/6091/stat : 6091 (java) S 6087 6089 5143 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273725803 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6092] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6092/stat : 6092 (java) S 6087 6089 5143 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273725804 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6093] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6093/stat : 6093 (java) S 6087 6089 5143 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273725804 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6094] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6094/stat : 6094 (java) S 6087 6089 5143 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273725807 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6095] ppid=6087 vsize=915464 CPUtime=0.26
/proc/6089/task/6095/stat : 6095 (java) S 6087 6089 5143 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 273725807 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6096] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6096/stat : 6096 (java) S 6087 6089 5143 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273725807 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6097] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6097/stat : 6097 (java) S 6087 6089 5143 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273725807 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915464
[startup+102.316 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 6097
/proc/meminfo: memFree=1272736/2055920 swapFree=4192812/4192956
[pid=6089] ppid=6087 vsize=915464 CPUtime=101.41
/proc/6089/stat : 6089 (java) R 6087 6089 5143 0 -1 0 9141 0 1 0 9959 182 0 0 25 0 8 0 273725799 937435136 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073898842 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6089/statm: 228866 8870 2527 14 0 215336 0
[pid=6089/tid=6091] ppid=6087 vsize=915464 CPUtime=0.03
/proc/6089/task/6091/stat : 6091 (java) S 6087 6089 5143 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273725803 937435136 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6092] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6092/stat : 6092 (java) S 6087 6089 5143 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273725804 937435136 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6093] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6093/stat : 6093 (java) S 6087 6089 5143 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273725804 937435136 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6094] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6094/stat : 6094 (java) S 6087 6089 5143 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273725807 937435136 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6095] ppid=6087 vsize=915464 CPUtime=0.27
/proc/6089/task/6095/stat : 6095 (java) S 6087 6089 5143 0 -1 64 409 0 0 0 26 1 0 0 16 0 8 0 273725807 937435136 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6096] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6096/stat : 6096 (java) S 6087 6089 5143 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273725807 937435136 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6097] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6097/stat : 6097 (java) S 6087 6089 5143 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273725807 937435136 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 915464
[startup+162.367 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 6097
/proc/meminfo: memFree=1272736/2055920 swapFree=4192812/4192956
[pid=6089] ppid=6087 vsize=915464 CPUtime=160.97
/proc/6089/stat : 6089 (java) R 6087 6089 5143 0 -1 0 9144 0 1 0 15914 183 0 0 25 0 8 0 273725799 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073898862 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6089/statm: 228866 8873 2527 14 0 215336 0
[pid=6089/tid=6091] ppid=6087 vsize=915464 CPUtime=0.03
/proc/6089/task/6091/stat : 6091 (java) S 6087 6089 5143 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273725803 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6092] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6092/stat : 6092 (java) S 6087 6089 5143 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273725804 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6093] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6093/stat : 6093 (java) S 6087 6089 5143 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273725804 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6094] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6094/stat : 6094 (java) S 6087 6089 5143 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273725807 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6095] ppid=6087 vsize=915464 CPUtime=0.27
/proc/6089/task/6095/stat : 6095 (java) S 6087 6089 5143 0 -1 64 409 0 0 0 26 1 0 0 16 0 8 0 273725807 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6096] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6096/stat : 6096 (java) S 6087 6089 5143 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273725807 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6089/tid=6097] ppid=6087 vsize=915464 CPUtime=0
/proc/6089/task/6097/stat : 6097 (java) S 6087 6089 5143 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273725807 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.97
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 187.7
CPU time (s): 186.074
CPU user time (s): 184.233
CPU system time (s): 1.84072
CPU usage (%): 99.1334
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 184.233
system time used= 1.84072
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9243
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5011
involuntary context switches= 8946
runsolver used 0.229965 s user time and 0.620905 s system time
The end
Begin job on node18 on Sat Jan 20 00:35:11 UTC 2007
IDJOB= 277040
IDBENCH= 6218
IDSOLVER= 69
FILE ID= node18/277040-1169253310
PBS_JOBID= 3589083
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277040-1169253310/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-277040-1169253310 -o ROOT/results/node18/solver-277040-1169253310 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277040-1169253310/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f90de94442b44abf6aa7590ec3f26239
RANDOM SEED= 987620817
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1298808 kB
Buffers: 51888 kB
Cached: 562560 kB
SwapCached: 0 kB
Active: 251560 kB
Inactive: 426204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1298808 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2064 kB
Writeback: 0 kB
Mapped: 83672 kB
Slab: 64444 kB
Committed_AS: 8170756 kB
PageTables: 2024 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node18 on Sat Jan 20 00:38:19 UTC 2007