0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=esac.xml
0.38
0.38 instance
0.39 name=/tmp/evaluation/224130-1168267812/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.46 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.46 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.46
0.46 relations being loaded...
0.56
0.56 constraints being loaded...
0.67 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1 maxDegree=14 maxArity=2
0.67 => wckTime=0.314 cpuTime=0.24 mem=13M828
0.71
0.71 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.52 cpuTime=0.38 mem=14M839
0.93
0.93 preprocessing
0.93 nbConstraintChecks=69246 nbPropagations=792 nbRevisions=5279 nbUselessRevisions=4129 nbSingletonTests=49
0.93 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.93 => wckTime=0.049 cpuTime=0.02 mem=14M839
0.95
0.95 search
0.95 run=0 nbConstraintChecks=35346 nbPropagations=1320 nbRevisions=9334 nbUselessRevisions=6998 nbAssignments=27
0.95 nbFailedAssignments=9 nbBacktracks=12 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.071 cpuTime=0.04 mem=14M839
0.97
0.97 search
0.97 run=1 nbConstraintChecks=101125 nbPropagations=3679 nbRevisions=27188 nbUselessRevisions=19976
0.97 nbAssignments=80 nbFailedAssignments=40 nbBacktracks=27 nbVisitedNodes=141 nbRestartNogoods=3 mapSize=23
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.093 cpuTime=0.06 mem=14M839
1.00
1.00 search
1.00 run=2 nbConstraintChecks=241014 nbPropagations=7789 nbRevisions=57969 nbUselessRevisions=42574
1.00 nbAssignments=174 nbFailedAssignments=59 nbBacktracks=49 nbVisitedNodes=220 nbRestartNogoods=12 mapSize=42
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.12 cpuTime=0.08 mem=14M839
1.02
1.02 search
1.02 run=3 nbConstraintChecks=351535 nbPropagations=13680 nbRevisions=103201 nbUselessRevisions=75154
1.02 nbAssignments=255 nbFailedAssignments=102 nbBacktracks=82 nbVisitedNodes=363 nbRestartNogoods=14 mapSize=70
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.142 cpuTime=0.1 mem=14M839
1.05
1.05 search
1.05 run=4 nbConstraintChecks=490627 nbPropagations=21893 nbRevisions=167103 nbUselessRevisions=120690
1.05 nbAssignments=362 nbFailedAssignments=155 nbBacktracks=133 nbVisitedNodes=559 nbRestartNogoods=20 mapSize=115
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.17 cpuTime=0.12 mem=14M839
1.08
1.08 search
1.08 run=5 nbConstraintChecks=678437 nbPropagations=33246 nbRevisions=255550 nbUselessRevisions=183235
1.08 nbAssignments=510 nbFailedAssignments=221 nbBacktracks=212 nbVisitedNodes=816 nbRestartNogoods=21 mapSize=181
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.203 cpuTime=0.15 mem=14M839
1.14
1.14 search
1.14 run=6 nbConstraintChecks=982623 nbPropagations=49633 nbRevisions=384188 nbUselessRevisions=273510
1.14 nbAssignments=740 nbFailedAssignments=333 nbBacktracks=327 nbVisitedNodes=1232 nbRestartNogoods=23 mapSize=279
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.266 cpuTime=0.2 mem=14M839
1.22
1.22 search
1.22 run=7 nbConstraintChecks=1436257 nbPropagations=73326 nbRevisions=571800 nbUselessRevisions=404522
1.22 nbAssignments=1081 nbFailedAssignments=499 nbBacktracks=497 nbVisitedNodes=1842 nbRestartNogoods=26
1.22 mapSize=421 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.342 cpuTime=0.28 mem=14M839
1.35
1.35 search
1.35 run=8 nbConstraintChecks=2152783 nbPropagations=108859 nbRevisions=856854 nbUselessRevisions=603559
1.35 nbAssignments=1618 nbFailedAssignments=775 nbBacktracks=753 nbVisitedNodes=2827 nbRestartNogoods=33
1.35 mapSize=653 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.476 cpuTime=0.39 mem=14M839
1.52
1.52 search
1.52 run=9 nbConstraintChecks=3286626 nbPropagations=162528 nbRevisions=1290154 nbUselessRevisions=905172
1.52 nbAssignments=2424 nbFailedAssignments=1192 nbBacktracks=1137 nbVisitedNodes=4302 nbRestartNogoods=39
1.52 mapSize=996 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.646 cpuTime=0.56 mem=14M839
1.53
1.53 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=14M839)
1.76
1.76 search
1.76 run=10 nbConstraintChecks=4938207 nbPropagations=241816 nbRevisions=1932133 nbUselessRevisions=1350499
1.76 nbAssignments=3599 nbFailedAssignments=1783 nbBacktracks=1715 nbVisitedNodes=6432 nbRestartNogoods=46
1.76 => wckTime=0.882 cpuTime=0.78 mem=14M839
2.13
2.13 search
2.13 run=11 nbConstraintChecks=7723389 nbPropagations=363458 nbRevisions=2927781 nbUselessRevisions=2040101
2.13 nbAssignments=5383 nbFailedAssignments=2697 nbBacktracks=2581 nbVisitedNodes=9733 nbRestartNogoods=49
2.13 => wckTime=1.249 cpuTime=1.15 mem=14M839
2.61
2.61 search
2.61 run=12 nbConstraintChecks=11201554 nbPropagations=542488 nbRevisions=4383087 nbUselessRevisions=3048085
2.61 nbAssignments=7869 nbFailedAssignments=3879 nbBacktracks=3881 nbVisitedNodes=14236 nbRestartNogoods=62
2.61 => wckTime=1.735 cpuTime=1.62 mem=14M839
3.34
3.34 search
3.34 run=13 nbConstraintChecks=16493879 nbPropagations=809450 nbRevisions=6545673 nbUselessRevisions=4543769
3.34 nbAssignments=11740 nbFailedAssignments=5797 nbBacktracks=5828 nbVisitedNodes=21285 nbRestartNogoods=67
3.34 => wckTime=2.468 cpuTime=2.35 mem=14M839
4.45
4.45 search
4.45 run=14 nbConstraintChecks=24589654 nbPropagations=1207626 nbRevisions=9767842 nbUselessRevisions=6772796
4.45 nbAssignments=17459 nbFailedAssignments=8590 nbBacktracks=8748 nbVisitedNodes=31724 nbRestartNogoods=76
4.45 => wckTime=3.573 cpuTime=3.45 mem=15M814
6.18
6.18 search
6.18 run=15 nbConstraintChecks=37404125 nbPropagations=1807231 nbRevisions=14635755 nbUselessRevisions=10137719
6.18 nbAssignments=26232 nbFailedAssignments=12982 nbBacktracks=13128 nbVisitedNodes=47785 nbRestartNogoods=85
6.18 => wckTime=5.3 cpuTime=5.16 mem=15M814
8.59
8.59 search
8.59 run=16 nbConstraintChecks=55037371 nbPropagations=2695521 nbRevisions=21837652 nbUselessRevisions=15118828
8.59 nbAssignments=39034 nbFailedAssignments=19208 nbBacktracks=19697 nbVisitedNodes=70996 nbRestartNogoods=91
8.59 => wckTime=7.718 cpuTime=7.55 mem=15M814
12.38
12.38 search
12.38 run=17 nbConstraintChecks=82859383 nbPropagations=4035776 nbRevisions=32720864 nbUselessRevisions=22656514
12.38 nbAssignments=58576 nbFailedAssignments=28892 nbBacktracks=29550 nbVisitedNodes=106670 nbRestartNogoods=94
12.38 => wckTime=11.5 cpuTime=11.31 mem=15M814
17.92
17.92 search
17.92 run=18 nbConstraintChecks=124065105 nbPropagations=6041195 nbRevisions=49020175 nbUselessRevisions=33951276
17.92 nbAssignments=87605 nbFailedAssignments=43138 nbBacktracks=44330 nbVisitedNodes=159632 nbRestartNogoods=105
17.92 => wckTime=17.048 cpuTime=16.81 mem=15M814
26.44
26.44 search
26.44 run=19 nbConstraintChecks=187183740 nbPropagations=9059803 nbRevisions=73556230 nbUselessRevisions=50950486
26.44 nbAssignments=131432 nbFailedAssignments=64792 nbBacktracks=66498 nbVisitedNodes=239675 nbRestartNogoods=115
26.44 => wckTime=25.566 cpuTime=25.25 mem=15M814
30.40
30.40 search
30.40 run=20 nbConstraintChecks=216667795 nbPropagations=12545437 nbRevisions=101894497 nbUselessRevisions=70584004
30.40 nbAssignments=151389 nbFailedAssignments=74766 nbBacktracks=76482 nbVisitedNodes=276202 nbRestartNogoods=128
30.40 => wckTime=29.524 cpuTime=29.18 mem=15M814
30.40
30.40 global
30.40 nbConstraintChecks=216737041 nbPropagations=12546229 nbRevisions=101899776 nbUselessRevisions=70588133
30.40 nbRestartNogoods=128 solvingWckTime=29.525 solvingCpuTime=29.18 expiredTime=no totalExploration=yes
30.40 nbFoundSolutions=0 globalCpuTime=29.61
30.40 => wckTime=30.049 cpuTime=29.57 mem=15M814
30.40
30.40 s UNSATISFIABLE
30.41 d NODES 151389
30.41 d CHECKS 216737041
30.41
30.41 totalWckTime=30.131 totalCpuTime=29.63
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-224130-1168267812 -o ROOT/results/node39/solver-224130-1168267812 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224130-1168267812/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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.00 2.01 5/74 20666
/proc/meminfo: memFree=390152/2055920 swapFree=4187312/4192956
[pid=20665] ppid=20663 vsize=18540 CPUtime=0
/proc/20665/stat : 20665 (runsolver) R 20663 20665 20598 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 175180850 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231493659943 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20665/statm: 4635 279 244 17 0 2626 0
[startup+0.108038 s]
/proc/loadavg: 2.01 2.00 2.01 5/74 20666
/proc/meminfo: memFree=390152/2055920 swapFree=4187312/4192956
[pid=20665] ppid=20663 vsize=911488 CPUtime=0.07
/proc/20665/stat : 20665 (java) R 20663 20665 20598 0 -1 0 2619 0 1 0 5 2 0 0 20 0 8 0 175180850 933363712 2366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819580 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20665/statm: 227872 2366 1279 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488
[startup+0.516075 s]
/proc/loadavg: 2.01 2.00 2.01 5/74 20666
/proc/meminfo: memFree=390152/2055920 swapFree=4187312/4192956
[pid=20665] ppid=20663 vsize=915328 CPUtime=0.46
/proc/20665/stat : 20665 (java) R 20663 20665 20598 0 -1 0 6556 0 5 0 41 5 0 0 18 0 8 0 175180850 937295872 6299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20665/statm: 228832 6299 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.34314 s]
/proc/loadavg: 2.01 2.00 2.01 3/81 20673
/proc/meminfo: memFree=364496/2055920 swapFree=4187312/4192956
[pid=20665] ppid=20663 vsize=915452 CPUtime=1.28
/proc/20665/stat : 20665 (java) R 20663 20665 20598 0 -1 0 8680 0 5 0 120 8 0 0 24 0 8 0 175180850 937422848 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20665/statm: 228863 8422 2524 14 0 215333 0
[pid=20665/tid=20667] ppid=20663 vsize=915452 CPUtime=0.03
/proc/20665/task/20667/stat : 20667 (java) S 20663 20665 20598 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175180854 937422848 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20668] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20668/stat : 20668 (java) S 20663 20665 20598 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 175180855 937422848 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20669] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20669/stat : 20669 (java) S 20663 20665 20598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175180855 937422848 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20670] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20670/stat : 20670 (java) S 20663 20665 20598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175180860 937422848 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20671] ppid=20663 vsize=915452 CPUtime=0.21
/proc/20665/task/20671/stat : 20671 (java) S 20663 20665 20598 0 -1 64 380 0 0 0 20 1 0 0 15 0 8 0 175180860 937422848 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20672] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20672/stat : 20672 (java) S 20663 20665 20598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175180860 937422848 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20673] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20673/stat : 20673 (java) S 20663 20665 20598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175180860 937422848 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915452
[startup+2.98929 s]
/proc/loadavg: 2.01 2.00 2.01 3/81 20673
/proc/meminfo: memFree=363928/2055920 swapFree=4187312/4192956
[pid=20665] ppid=20663 vsize=915452 CPUtime=2.91
/proc/20665/stat : 20665 (java) R 20663 20665 20598 0 -1 0 8725 0 5 0 283 8 0 0 25 0 8 0 175180850 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20665/statm: 228863 8466 2524 14 0 215333 0
[pid=20665/tid=20667] ppid=20663 vsize=915452 CPUtime=0.03
/proc/20665/task/20667/stat : 20667 (java) S 20663 20665 20598 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175180854 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20668] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20668/stat : 20668 (java) S 20663 20665 20598 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 175180855 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20669] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20669/stat : 20669 (java) S 20663 20665 20598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175180855 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20670] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20670/stat : 20670 (java) S 20663 20665 20598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175180860 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20671] ppid=20663 vsize=915452 CPUtime=0.23
/proc/20665/task/20671/stat : 20671 (java) S 20663 20665 20598 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 175180860 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20672] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20672/stat : 20672 (java) S 20663 20665 20598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175180860 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20673] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20673/stat : 20673 (java) S 20663 20665 20598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175180860 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915452
[startup+6.26859 s]
/proc/loadavg: 2.01 2.00 2.01 3/81 20673
/proc/meminfo: memFree=363296/2055920 swapFree=4187312/4192956
[pid=20665] ppid=20663 vsize=915452 CPUtime=6.16
/proc/20665/stat : 20665 (java) R 20663 20665 20598 0 -1 0 8734 0 5 0 608 8 0 0 25 0 8 0 175180850 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801026 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20665/statm: 228863 8474 2524 14 0 215333 0
[pid=20665/tid=20667] ppid=20663 vsize=915452 CPUtime=0.03
/proc/20665/task/20667/stat : 20667 (java) S 20663 20665 20598 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175180854 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20668] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20668/stat : 20668 (java) S 20663 20665 20598 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 175180855 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20669] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20669/stat : 20669 (java) S 20663 20665 20598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175180855 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20670] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20670/stat : 20670 (java) S 20663 20665 20598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175180860 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20671] ppid=20663 vsize=915452 CPUtime=0.23
/proc/20665/task/20671/stat : 20671 (java) S 20663 20665 20598 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 175180860 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20672] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20672/stat : 20672 (java) S 20663 20665 20598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175180860 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20673] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20673/stat : 20673 (java) S 20663 20665 20598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175180860 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915452
[startup+12.7552 s]
/proc/loadavg: 2.01 2.00 2.00 3/81 20673
/proc/meminfo: memFree=362280/2055920 swapFree=4187312/4192956
[pid=20665] ppid=20663 vsize=915452 CPUtime=12.59
/proc/20665/stat : 20665 (java) R 20663 20665 20598 0 -1 0 8739 0 5 0 1251 8 0 0 25 0 8 0 175180850 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20665/statm: 228863 8479 2524 14 0 215333 0
[pid=20665/tid=20667] ppid=20663 vsize=915452 CPUtime=0.03
/proc/20665/task/20667/stat : 20667 (java) S 20663 20665 20598 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175180854 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20668] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20668/stat : 20668 (java) S 20663 20665 20598 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 175180855 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20669] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20669/stat : 20669 (java) S 20663 20665 20598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175180855 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20670] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20670/stat : 20670 (java) S 20663 20665 20598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175180860 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20671] ppid=20663 vsize=915452 CPUtime=0.23
/proc/20665/task/20671/stat : 20671 (java) S 20663 20665 20598 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 175180860 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20672] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20672/stat : 20672 (java) S 20663 20665 20598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175180860 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20673] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20673/stat : 20673 (java) S 20663 20665 20598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175180860 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915452
[startup+25.5994 s]
/proc/loadavg: 2.01 2.00 2.00 3/81 20673
/proc/meminfo: memFree=359848/2055920 swapFree=4187312/4192956
[pid=20665] ppid=20663 vsize=915452 CPUtime=25.33
/proc/20665/stat : 20665 (java) R 20663 20665 20598 0 -1 0 8741 0 5 0 2525 8 0 0 25 0 8 0 175180850 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797147 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20665/statm: 228863 8481 2524 14 0 215333 0
[pid=20665/tid=20667] ppid=20663 vsize=915452 CPUtime=0.03
/proc/20665/task/20667/stat : 20667 (java) S 20663 20665 20598 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175180854 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20668] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20668/stat : 20668 (java) S 20663 20665 20598 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 175180855 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20669] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20669/stat : 20669 (java) S 20663 20665 20598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175180855 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20670] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20670/stat : 20670 (java) S 20663 20665 20598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175180860 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20671] ppid=20663 vsize=915452 CPUtime=0.23
/proc/20665/task/20671/stat : 20671 (java) S 20663 20665 20598 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 175180860 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20672] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20672/stat : 20672 (java) S 20663 20665 20598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175180860 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20665/tid=20673] ppid=20663 vsize=915452 CPUtime=0
/proc/20665/task/20673/stat : 20673 (java) S 20663 20665 20598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175180860 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 30.4586
CPU time (s): 30.1254
CPU user time (s): 30.0294
CPU system time (s): 0.095985
CPU usage (%): 98.906
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.0294
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8836
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1745
involuntary context switches= 2590
runsolver used 0.052991 s user time and 0.091986 s system time
The end
Begin job on node39 on Mon Jan 8 14:50:12 UTC 2007
IDJOB= 224130
IDBENCH= 5710
FILE ID= node39/224130-1168267812
PBS_JOBID= 3482908
Free space on /tmp= 66485 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224130-1168267812/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-224130-1168267812 -o ROOT/results/node39/solver-224130-1168267812 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224130-1168267812/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c38004291fa3b8cfe69355ece43a58e6
RANDOM SEED= 132224064
TIME LIMIT= 1800 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.236
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.236
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: 390632 kB
Buffers: 2724 kB
Cached: 1374528 kB
SwapCached: 904 kB
Active: 1089752 kB
Inactive: 522120 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 390632 kB
SwapTotal: 4192956 kB
SwapFree: 4187312 kB
Dirty: 2116 kB
Writeback: 0 kB
Mapped: 243228 kB
Slab: 38432 kB
Committed_AS: 3860736 kB
PageTables: 2220 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= 66485 MiB
End job on node39 on Mon Jan 8 14:50:43 UTC 2007