0.30
0.30 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/276950-1169250619/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.41 => wckTime=0.101 cpuTime=0.09 mem=6M910
0.41
0.41 relations being loaded...
0.51
0.51 constraints being loaded...
0.61 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8214 maxDegree=28
0.61 maxArity=2
0.61 => wckTime=0.3 cpuTime=0.23 mem=10M819
0.65
0.65 solver LocalSearchSolver being built...
0.69 => wckTime=0.386 cpuTime=0.27 mem=5M814
0.70
0.70 s SATISFIABLE
0.70 o 321
0.70 c 93
0.70 o 328
0.70 c 86
0.70 o 334
0.70 c 80
0.70 o 339
0.70 c 75
0.70 o 343
0.70 c 71
0.71 o 347
0.71 c 67
0.71 o 351
0.71 c 63
0.71 o 357
0.71 c 57
0.71 o 361
0.71 c 53
0.71 o 366
0.71 c 48
0.71 o 369
0.71 c 45
0.71 o 372
0.71 c 42
0.71 o 375
0.71 c 39
0.71 o 378
0.71 c 36
0.72 o 380
0.72 c 34
0.72 o 381
0.72 c 33
0.72 o 385
0.72 c 29
0.72 o 387
0.72 c 27
0.72 o 388
0.72 c 26
0.72 o 390
0.72 c 24
0.72 o 391
0.72 c 23
0.73 o 392
0.73 c 22
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 398
0.74 c 16
0.74 o 399
0.74 c 15
0.74 o 400
0.74 c 14
0.74 o 401
0.74 c 13
0.74 o 402
0.74 c 12
0.75 o 404
0.75 c 10
0.76 o 406
0.76 c 8
0.76 o 407
0.76 c 7
0.78 o 408
0.78 c 6
0.78 o 409
0.78 c 5
0.82 o 410
0.82 c 4
0.83 o 411
0.83 c 3
1.49 o 412
1.49 c 2
3.27
3.27 search
3.27 run=0 nbConstraintChecks=16685353 nbAssignments=10000
3.27 => wckTime=2.581 cpuTime=2.53 mem=5M814
5.91
5.91 search
5.91 run=1 nbConstraintChecks=34659585 nbAssignments=20000
5.91 => wckTime=5.219 cpuTime=5.14 mem=5M814
8.37
8.37 search
8.37 run=2 nbConstraintChecks=51046644 nbAssignments=30000
8.37 => wckTime=7.674 cpuTime=7.57 mem=5M814
9.82 o 413
9.82 c 1
9.82
9.82 search
9.82 run=3 nbConstraintChecks=60910344 nbAssignments=35563
9.82 => wckTime=9.131 cpuTime=9.02 mem=5M814
9.83
9.83 global
9.83 nbConstraintChecks=60910344 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
9.83 solvingWckTime=9.129 solvingCpuTime=9.02 expiredTime=no totalExploration=no nbFoundSolutions=0
9.83 globalCpuTime=9.33
9.83 => wckTime=9.518 cpuTime=9.29 mem=5M814
9.83
9.83 solver IterativeSystematicSolver being built...
9.96 => wckTime=9.649 cpuTime=9.39 mem=16M805
9.97
9.97 preprocessing
9.97 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
9.97 detectedInconsistency=no
9.97 => wckTime=0.0080 cpuTime=0.0 mem=16M805
10.04
10.04 search
10.04 run=0 nbConstraintChecks=112900 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33
10.04 nbFailedAssignments=15 nbBacktracks=10 nbVisitedNodes=59 nbRestartNogoods=0
10.04 => wckTime=0.079 cpuTime=0.05 mem=16M805
10.11
10.11 search
10.11 run=1 nbConstraintChecks=290948 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=82
10.11 nbFailedAssignments=42 nbBacktracks=25 nbVisitedNodes=150 nbRestartNogoods=14
10.11 => wckTime=0.154 cpuTime=0.11 mem=16M805
10.19
10.19 search
10.19 run=2 nbConstraintChecks=569656 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=151
10.19 nbFailedAssignments=84 nbBacktracks=47 nbVisitedNodes=283 nbRestartNogoods=25
10.19 => wckTime=0.237 cpuTime=0.19 mem=16M805
10.31
10.31 search
10.31 run=3 nbConstraintChecks=983135 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=252
10.31 nbFailedAssignments=146 nbBacktracks=80 nbVisitedNodes=478 nbRestartNogoods=29
10.31 => wckTime=0.348 cpuTime=0.3 mem=16M805
10.48
10.48 search
10.48 run=4 nbConstraintChecks=1654046 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=408
10.48 nbFailedAssignments=246 nbBacktracks=130 nbVisitedNodes=784 nbRestartNogoods=46
10.48 => wckTime=0.526 cpuTime=0.48 mem=16M805
10.71
10.71 search
10.71 run=5 nbConstraintChecks=2520143 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=629
10.71 nbFailedAssignments=385 nbBacktracks=205 nbVisitedNodes=1219 nbRestartNogoods=69
10.71 => wckTime=0.753 cpuTime=0.7 mem=16M805
11.06
11.06 search
11.06 run=6 nbConstraintChecks=3882059 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=957
11.06 nbFailedAssignments=593 nbBacktracks=318 nbVisitedNodes=1868 nbRestartNogoods=96
11.06 => wckTime=1.105 cpuTime=1.05 mem=16M805
11.53
11.53 search
11.53 run=7 nbConstraintChecks=5743347 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1402
11.53 nbFailedAssignments=862 nbBacktracks=488 nbVisitedNodes=2750 nbRestartNogoods=121
11.53 => wckTime=1.574 cpuTime=1.51 mem=16M805
12.45
12.45 search
12.45 run=8 nbConstraintChecks=9272046 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2239
12.45 nbFailedAssignments=1437 nbBacktracks=744 nbVisitedNodes=4418 nbRestartNogoods=130
12.45 => wckTime=2.494 cpuTime=2.41 mem=16M805
13.72
13.72 search
13.72 run=9 nbConstraintChecks=14186767 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3360
13.72 nbFailedAssignments=2169 nbBacktracks=1128 nbVisitedNodes=6649 nbRestartNogoods=138
13.72 => wckTime=3.761 cpuTime=3.66 mem=16M805
15.69
15.69 search
15.69 run=10 nbConstraintChecks=21865068 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5158
15.69 nbFailedAssignments=3385 nbBacktracks=1704 nbVisitedNodes=10232 nbRestartNogoods=149
15.69 => wckTime=5.73 cpuTime=5.61 mem=16M805
18.30
18.30 search
18.30 run=11 nbConstraintChecks=31787935 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7543
18.30 nbFailedAssignments=4901 nbBacktracks=2568 nbVisitedNodes=14981 nbRestartNogoods=164
18.30 => wckTime=8.344 cpuTime=8.2 mem=16M805
22.28
22.28 search
22.28 run=12 nbConstraintChecks=46905010 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11144
22.28 nbFailedAssignments=7200 nbBacktracks=3865 nbVisitedNodes=22122 nbRestartNogoods=189
22.28 => wckTime=12.327 cpuTime=12.15 mem=16M805
27.90
27.90 search
27.90 run=13 nbConstraintChecks=67931127 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16282
27.90 nbFailedAssignments=10385 nbBacktracks=5811 nbVisitedNodes=32290 nbRestartNogoods=194
27.90 => wckTime=17.944 cpuTime=17.72 mem=16M805
36.07
36.07 search
36.07 run=14 nbConstraintChecks=97683321 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23585
36.07 nbFailedAssignments=14763 nbBacktracks=8730 nbVisitedNodes=46406 nbRestartNogoods=222
36.07 => wckTime=26.113 cpuTime=25.82 mem=16M805
46.91
46.91 search
46.91 run=15 nbConstraintChecks=134870035 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33174
46.91 nbFailedAssignments=19968 nbBacktracks=13109 nbVisitedNodes=63841 nbRestartNogoods=230
46.91 => wckTime=36.956 cpuTime=36.56 mem=16M805
61.46
61.46 search
61.46 run=16 nbConstraintChecks=185387475 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46780
61.46 nbFailedAssignments=27000 nbBacktracks=19678 nbVisitedNodes=87804 nbRestartNogoods=241
61.46 => wckTime=51.505 cpuTime=50.99 mem=16M805
79.75
79.75 search
79.75 run=17 nbConstraintChecks=248413190 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=64718
79.75 nbFailedAssignments=35081 nbBacktracks=29531 nbVisitedNodes=117132 nbRestartNogoods=253
79.75 => wckTime=69.795 cpuTime=69.12 mem=16M805
104.10
104.10 search
104.10 run=18 nbConstraintChecks=332502809 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=90099
104.10 nbFailedAssignments=45677 nbBacktracks=44310 nbVisitedNodes=156546 nbRestartNogoods=264
104.10 => wckTime=94.139 cpuTime=93.25 mem=16M805
138.17
138.17 search
138.17 run=19 nbConstraintChecks=449457017 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=126429
138.17 nbFailedAssignments=59831 nbBacktracks=66479 nbVisitedNodes=211046 nbRestartNogoods=271
138.17 => wckTime=128.213 cpuTime=127.04 mem=16M805
187.26
187.26 search
187.26 run=20 nbConstraintChecks=619199282 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=180095
187.26 nbFailedAssignments=80238 nbBacktracks=99731 nbVisitedNodes=290490 nbRestartNogoods=279
187.26 => wckTime=177.305 cpuTime=175.73 mem=16M805
232.87
232.87 search
232.87 run=21 nbConstraintChecks=778704899 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=231524
232.87 nbFailedAssignments=99246 nbBacktracks=132153 nbVisitedNodes=365844 nbRestartNogoods=283
232.87 => wckTime=222.917 cpuTime=220.95 mem=16M805
232.88
232.88 global
232.88 nbConstraintChecks=778704899 nbRestartNogoods=283 solvingWckTime=222.918 solvingCpuTime=220.96 expiredTime=no
232.88 totalExploration=yes nbFoundSolutions=0 globalCpuTime=230.39
232.88 => wckTime=232.568 cpuTime=230.35 mem=16M805
232.90
232.90 s OPTIMUM FOUND
232.90 v 3 10 8 1 8 4 3 1 10 2 2 3 3 8 10 3 4 6 3 9 4 1 10 2 5 1 6 4 10 9 10 1 4 10 1 10 7 2 10 7
232.90
232.90 totalWckTime=232.668 totalCpuTime=230.39
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-276950-1169250619 -o ROOT/results/node12/solver-276950-1169250619 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276950-1169250619/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: 1.92 1.98 1.99 4/86 30742
/proc/meminfo: memFree=1372656/2055920 swapFree=4160348/4192956
[pid=30741] ppid=30739 vsize=12076 CPUtime=0
/proc/30741/stat : 30741 (java) D 30739 30741 30046 0 -1 0 796 0 1 0 0 0 0 0 17 0 1 0 273456900 12365824 545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/30741/statm: 11854 960 760 14 0 1707 0
[startup+0.10372 s]
/proc/loadavg: 1.92 1.98 1.99 4/86 30742
/proc/meminfo: memFree=1372656/2055920 swapFree=4160348/4192956
[pid=30741] ppid=30739 vsize=914988 CPUtime=0.08
/proc/30741/stat : 30741 (java) R 30739 30741 30046 0 -1 0 2995 0 1 0 7 1 0 0 18 0 8 0 273456900 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072929090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30741/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511792 s]
/proc/loadavg: 1.92 1.98 1.99 4/86 30742
/proc/meminfo: memFree=1372656/2055920 swapFree=4160348/4192956
[pid=30741] ppid=30739 vsize=915332 CPUtime=0.49
/proc/30741/stat : 30741 (java) R 30739 30741 30046 0 -1 0 6430 0 1 0 45 4 0 0 18 0 8 0 273456900 937299968 6169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582801 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30741/statm: 228833 6169 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33293 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 30749
/proc/meminfo: memFree=1352440/2055920 swapFree=4160348/4192956
[pid=30741] ppid=30739 vsize=915420 CPUtime=1.29
/proc/30741/stat : 30741 (java) R 30739 30741 30046 0 -1 0 7724 0 1 0 114 15 0 0 24 0 8 0 273456900 937390080 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30741/statm: 228855 7462 2476 14 0 215325 0
[pid=30741/tid=30743] ppid=30739 vsize=915420 CPUtime=0.03
/proc/30741/task/30743/stat : 30743 (java) S 30739 30741 30046 0 -1 64 232 0 0 0 3 0 0 0 16 0 8 0 273456904 937390080 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30744] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30744/stat : 30744 (java) S 30739 30741 30046 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456905 937390080 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30745] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30745/stat : 30745 (java) S 30739 30741 30046 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456905 937390080 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30746] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30746/stat : 30746 (java) S 30739 30741 30046 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273456908 937390080 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30747] ppid=30739 vsize=915420 CPUtime=0.14
/proc/30741/task/30747/stat : 30747 (java) S 30739 30741 30046 0 -1 64 350 0 0 0 13 1 0 0 16 0 8 0 273456908 937390080 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30748] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30748/stat : 30748 (java) S 30739 30741 30046 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273456908 937390080 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30749] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30749/stat : 30749 (java) S 30739 30741 30046 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456908 937390080 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915420
[startup+2.97623 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 30749
/proc/meminfo: memFree=1352440/2055920 swapFree=4160348/4192956
[pid=30741] ppid=30739 vsize=915420 CPUtime=2.93
/proc/30741/stat : 30741 (java) R 30739 30741 30046 0 -1 0 7725 0 1 0 252 41 0 0 25 0 8 0 273456900 937390080 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073743539 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30741/statm: 228855 7462 2476 14 0 215325 0
[pid=30741/tid=30743] ppid=30739 vsize=915420 CPUtime=0.03
/proc/30741/task/30743/stat : 30743 (java) S 30739 30741 30046 0 -1 64 232 0 0 0 3 0 0 0 16 0 8 0 273456904 937390080 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30744] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30744/stat : 30744 (java) S 30739 30741 30046 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456905 937390080 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30745] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30745/stat : 30745 (java) S 30739 30741 30046 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456905 937390080 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30746] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30746/stat : 30746 (java) S 30739 30741 30046 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273456908 937390080 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30747] ppid=30739 vsize=915420 CPUtime=0.14
/proc/30741/task/30747/stat : 30747 (java) S 30739 30741 30046 0 -1 64 350 0 0 0 13 1 0 0 16 0 8 0 273456908 937390080 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30748] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30748/stat : 30748 (java) S 30739 30741 30046 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273456908 937390080 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30749] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30749/stat : 30749 (java) S 30739 30741 30046 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456908 937390080 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915420
[startup+6.26783 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 30749
/proc/meminfo: memFree=1352376/2055920 swapFree=4160348/4192956
[pid=30741] ppid=30739 vsize=915424 CPUtime=6.19
/proc/30741/stat : 30741 (java) R 30739 30741 30046 0 -1 0 7728 0 1 0 525 94 0 0 25 0 8 0 273456900 937394176 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30741/statm: 228856 7465 2476 14 0 215326 0
[pid=30741/tid=30743] ppid=30739 vsize=915424 CPUtime=0.03
/proc/30741/task/30743/stat : 30743 (java) S 30739 30741 30046 0 -1 64 232 0 0 0 3 0 0 0 16 0 8 0 273456904 937394176 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30744] ppid=30739 vsize=915424 CPUtime=0
/proc/30741/task/30744/stat : 30744 (java) S 30739 30741 30046 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456905 937394176 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30745] ppid=30739 vsize=915424 CPUtime=0
/proc/30741/task/30745/stat : 30745 (java) S 30739 30741 30046 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456905 937394176 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30746] ppid=30739 vsize=915424 CPUtime=0
/proc/30741/task/30746/stat : 30746 (java) S 30739 30741 30046 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273456908 937394176 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30747] ppid=30739 vsize=915424 CPUtime=0.15
/proc/30741/task/30747/stat : 30747 (java) S 30739 30741 30046 0 -1 64 352 0 0 0 14 1 0 0 16 0 8 0 273456908 937394176 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30748] ppid=30739 vsize=915424 CPUtime=0
/proc/30741/task/30748/stat : 30748 (java) S 30739 30741 30046 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273456908 937394176 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30749] ppid=30739 vsize=915424 CPUtime=0
/proc/30741/task/30749/stat : 30749 (java) S 30739 30741 30046 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456908 937394176 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915424
[startup+12.749 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 30749
/proc/meminfo: memFree=1347192/2055920 swapFree=4160348/4192956
[pid=30741] ppid=30739 vsize=915420 CPUtime=12.61
/proc/30741/stat : 30741 (java) R 30739 30741 30046 0 -1 0 9111 0 1 0 1109 152 0 0 25 0 8 0 273456900 937390080 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073900963 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30741/statm: 228855 8845 2527 14 0 215325 0
[pid=30741/tid=30743] ppid=30739 vsize=915420 CPUtime=0.03
/proc/30741/task/30743/stat : 30743 (java) S 30739 30741 30046 0 -1 64 233 0 0 0 3 0 0 0 17 0 8 0 273456904 937390080 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30744] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30744/stat : 30744 (java) S 30739 30741 30046 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456905 937390080 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30745] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30745/stat : 30745 (java) S 30739 30741 30046 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456905 937390080 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30746] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30746/stat : 30746 (java) S 30739 30741 30046 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273456908 937390080 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30747] ppid=30739 vsize=915420 CPUtime=0.25
/proc/30741/task/30747/stat : 30747 (java) S 30739 30741 30046 0 -1 64 407 0 0 0 24 1 0 0 15 0 8 0 273456908 937390080 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30748] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30748/stat : 30748 (java) S 30739 30741 30046 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273456908 937390080 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30749] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30749/stat : 30749 (java) S 30739 30741 30046 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456908 937390080 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915420
[startup+25.6053 s]
/proc/loadavg: 1.95 1.98 1.99 3/93 30749
/proc/meminfo: memFree=1347192/2055920 swapFree=4160348/4192956
[pid=30741] ppid=30739 vsize=915420 CPUtime=25.36
/proc/30741/stat : 30741 (java) R 30739 30741 30046 0 -1 0 9125 0 1 0 2384 152 0 0 25 0 8 0 273456900 937390080 8857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073893814 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30741/statm: 228855 8857 2527 14 0 215325 0
[pid=30741/tid=30743] ppid=30739 vsize=915420 CPUtime=0.03
/proc/30741/task/30743/stat : 30743 (java) S 30739 30741 30046 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273456904 937390080 8857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30744] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30744/stat : 30744 (java) S 30739 30741 30046 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456905 937390080 8857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30745] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30745/stat : 30745 (java) S 30739 30741 30046 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456905 937390080 8857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30746] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30746/stat : 30746 (java) S 30739 30741 30046 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273456908 937390080 8857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30747] ppid=30739 vsize=915420 CPUtime=0.25
/proc/30741/task/30747/stat : 30747 (java) S 30739 30741 30046 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 273456908 937390080 8857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30748] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30748/stat : 30748 (java) S 30739 30741 30046 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273456908 937390080 8857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30749] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30749/stat : 30749 (java) S 30739 30741 30046 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456908 937390080 8857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915420
[startup+51.2089 s]
/proc/loadavg: 1.96 1.98 1.99 3/93 30749
/proc/meminfo: memFree=1347192/2055920 swapFree=4160348/4192956
[pid=30741] ppid=30739 vsize=915420 CPUtime=50.74
/proc/30741/stat : 30741 (java) R 30739 30741 30046 0 -1 0 9133 0 1 0 4922 152 0 0 25 0 8 0 273456900 937390080 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073900912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30741/statm: 228855 8865 2527 14 0 215325 0
[pid=30741/tid=30743] ppid=30739 vsize=915420 CPUtime=0.03
/proc/30741/task/30743/stat : 30743 (java) S 30739 30741 30046 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273456904 937390080 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30744] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30744/stat : 30744 (java) S 30739 30741 30046 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456905 937390080 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30745] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30745/stat : 30745 (java) S 30739 30741 30046 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456905 937390080 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30746] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30746/stat : 30746 (java) S 30739 30741 30046 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273456908 937390080 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30747] ppid=30739 vsize=915420 CPUtime=0.25
/proc/30741/task/30747/stat : 30747 (java) S 30739 30741 30046 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 273456908 937390080 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30748] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30748/stat : 30748 (java) S 30739 30741 30046 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273456908 937390080 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30749] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30749/stat : 30749 (java) S 30739 30741 30046 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456908 937390080 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915420
[startup+102.51 s]
/proc/loadavg: 1.98 1.98 1.99 3/93 30749
/proc/meminfo: memFree=1347128/2055920 swapFree=4160348/4192956
[pid=30741] ppid=30739 vsize=915420 CPUtime=101.61
/proc/30741/stat : 30741 (java) R 30739 30741 30046 0 -1 0 9140 0 1 0 10008 153 0 0 25 0 8 0 273456900 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858562 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30741/statm: 228855 8870 2527 14 0 215325 0
[pid=30741/tid=30743] ppid=30739 vsize=915420 CPUtime=0.03
/proc/30741/task/30743/stat : 30743 (java) S 30739 30741 30046 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273456904 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30744] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30744/stat : 30744 (java) S 30739 30741 30046 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456905 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30745] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30745/stat : 30745 (java) S 30739 30741 30046 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456905 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30746] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30746/stat : 30746 (java) S 30739 30741 30046 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273456908 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30747] ppid=30739 vsize=915420 CPUtime=0.26
/proc/30741/task/30747/stat : 30747 (java) S 30739 30741 30046 0 -1 64 411 0 0 0 25 1 0 0 16 0 8 0 273456908 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30748] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30748/stat : 30748 (java) S 30739 30741 30046 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273456908 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30749] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30749/stat : 30749 (java) S 30739 30741 30046 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456908 937390080 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.61
Current children cumulated vsize (KiB) 915420
[startup+162.56 s]
/proc/loadavg: 1.99 1.98 1.99 4/93 30749
/proc/meminfo: memFree=1347128/2055920 swapFree=4160348/4192956
[pid=30741] ppid=30739 vsize=915420 CPUtime=161.15
/proc/30741/stat : 30741 (java) R 30739 30741 30046 0 -1 0 9146 0 1 0 15962 153 0 0 25 0 8 0 273456900 937390080 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856709 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30741/statm: 228855 8875 2527 14 0 215325 0
[pid=30741/tid=30743] ppid=30739 vsize=915420 CPUtime=0.03
/proc/30741/task/30743/stat : 30743 (java) S 30739 30741 30046 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273456904 937390080 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30744] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30744/stat : 30744 (java) S 30739 30741 30046 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456905 937390080 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30745] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30745/stat : 30745 (java) S 30739 30741 30046 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456905 937390080 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30746] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30746/stat : 30746 (java) S 30739 30741 30046 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273456908 937390080 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30747] ppid=30739 vsize=915420 CPUtime=0.26
/proc/30741/task/30747/stat : 30747 (java) S 30739 30741 30046 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 273456908 937390080 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30748] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30748/stat : 30748 (java) S 30739 30741 30046 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273456908 937390080 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30749] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30749/stat : 30749 (java) S 30739 30741 30046 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456908 937390080 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.15
Current children cumulated vsize (KiB) 915420
[startup+222.615 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 30749
/proc/meminfo: memFree=1347128/2055920 swapFree=4160348/4192956
[pid=30741] ppid=30739 vsize=915420 CPUtime=220.7
/proc/30741/stat : 30741 (java) R 30739 30741 30046 0 -1 0 9149 0 1 0 21917 153 0 0 25 0 8 0 273456900 937390080 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073880760 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30741/statm: 228855 8878 2527 14 0 215325 0
[pid=30741/tid=30743] ppid=30739 vsize=915420 CPUtime=0.03
/proc/30741/task/30743/stat : 30743 (java) S 30739 30741 30046 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273456904 937390080 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30744] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30744/stat : 30744 (java) S 30739 30741 30046 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456905 937390080 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30745] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30745/stat : 30745 (java) S 30739 30741 30046 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456905 937390080 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30746] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30746/stat : 30746 (java) S 30739 30741 30046 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273456908 937390080 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30747] ppid=30739 vsize=915420 CPUtime=0.26
/proc/30741/task/30747/stat : 30747 (java) S 30739 30741 30046 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 273456908 937390080 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30748] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30748/stat : 30748 (java) S 30739 30741 30046 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273456908 937390080 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30741/tid=30749] ppid=30739 vsize=915420 CPUtime=0
/proc/30741/task/30749/stat : 30749 (java) S 30739 30741 30046 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456908 937390080 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.7
Current children cumulated vsize (KiB) 915420
Child status: 0
Real time (s): 232.964
CPU time (s): 230.904
CPU user time (s): 229.357
CPU system time (s): 1.54676
CPU usage (%): 99.1159
Max. virtual memory (cumulated for all children) (KiB): 915424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 229.357
system time used= 1.54676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9244
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= 5937
involuntary context switches= 10763
runsolver used 0.269958 s user time and 0.778881 s system time
The end
Begin job on node12 on Fri Jan 19 23:50:19 UTC 2007
IDJOB= 276950
IDBENCH= 6153
IDSOLVER= 69
FILE ID= node12/276950-1169250619
PBS_JOBID= 3589062
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-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276950-1169250619/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-276950-1169250619 -o ROOT/results/node12/solver-276950-1169250619 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276950-1169250619/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2f0952897d1570a9d4666c5a8502dbb2
RANDOM SEED= 569694137
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.265
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.265
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: 1373072 kB
Buffers: 59100 kB
Cached: 512580 kB
SwapCached: 5164 kB
Active: 265768 kB
Inactive: 342888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1373072 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 1844 kB
Writeback: 0 kB
Mapped: 47560 kB
Slab: 59052 kB
Committed_AS: 7535420 kB
PageTables: 2032 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 node12 on Fri Jan 19 23:54:12 UTC 2007