0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/228888-1168301763/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.43 => wckTime=0.107 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
0.51
0.51 constraints being loaded...
0.62 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1352 maxDegree=20
0.62 maxArity=2
0.62 => wckTime=0.295 cpuTime=0.2 mem=11M827
0.66
0.66 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.504 cpuTime=0.34 mem=14M826
0.88
0.88 preprocessing
0.88 nbConstraintChecks=54137 nbPropagations=804 nbRevisions=5830 nbUselessRevisions=4768 nbSingletonTests=51
0.88 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.88 => wckTime=0.049 cpuTime=0.03 mem=14M826
0.90
0.90 search
0.90 run=0 nbConstraintChecks=36574 nbPropagations=1437 nbRevisions=12508 nbUselessRevisions=9935 nbAssignments=35
0.90 nbFailedAssignments=16 nbBacktracks=12 nbVisitedNodes=60 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.075 cpuTime=0.05 mem=14M826
0.92
0.92 search
0.92 run=1 nbConstraintChecks=74161 nbPropagations=3538 nbRevisions=31725 nbUselessRevisions=25127 nbAssignments=65
0.92 nbFailedAssignments=26 nbBacktracks=27 nbVisitedNodes=113 nbRestartNogoods=4 mapSize=27 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.094 cpuTime=0.06 mem=14M826
0.94
0.94 search
0.94 run=2 nbConstraintChecks=116101 nbPropagations=6396 nbRevisions=58793 nbUselessRevisions=46306
0.94 nbAssignments=104 nbFailedAssignments=40 nbBacktracks=49 nbVisitedNodes=180 nbRestartNogoods=6 mapSize=47
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.109 cpuTime=0.07 mem=14M826
0.95
0.95 search
0.95 run=3 nbConstraintChecks=179794 nbPropagations=10403 nbRevisions=97152 nbUselessRevisions=75994
0.95 nbAssignments=167 nbFailedAssignments=60 nbBacktracks=85 nbVisitedNodes=282 nbRestartNogoods=7 mapSize=76
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.124 cpuTime=0.09 mem=14M826
0.98
0.98 search
0.98 run=4 nbConstraintChecks=275079 nbPropagations=16129 nbRevisions=153798 nbUselessRevisions=119690
0.98 nbAssignments=257 nbFailedAssignments=94 nbBacktracks=137 nbVisitedNodes=437 nbRestartNogoods=11 mapSize=118
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.149 cpuTime=0.11 mem=14M826
1.01
1.01 search
1.01 run=5 nbConstraintChecks=409185 nbPropagations=24265 nbRevisions=235426 nbUselessRevisions=182159
1.01 nbAssignments=386 nbFailedAssignments=142 nbBacktracks=212 nbVisitedNodes=658 nbRestartNogoods=14 mapSize=181
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.181 cpuTime=0.13 mem=14M826
1.06
1.06 search
1.06 run=6 nbConstraintChecks=642979 nbPropagations=36489 nbRevisions=360509 nbUselessRevisions=277647
1.06 nbAssignments=591 nbFailedAssignments=227 nbBacktracks=325 nbVisitedNodes=1019 nbRestartNogoods=18 mapSize=280
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.229 cpuTime=0.18 mem=14M826
1.13
1.13 search
1.13 run=7 nbConstraintChecks=977267 nbPropagations=54416 nbRevisions=545036 nbUselessRevisions=418251
1.13 nbAssignments=885 nbFailedAssignments=333 nbBacktracks=495 nbVisitedNodes=1508 nbRestartNogoods=23 mapSize=418
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.301 cpuTime=0.25 mem=14M826
1.23
1.23 search
1.23 run=8 nbConstraintChecks=1442375 nbPropagations=80616 nbRevisions=817398 nbUselessRevisions=625833
1.23 nbAssignments=1328 nbFailedAssignments=514 nbBacktracks=753 nbVisitedNodes=2280 nbRestartNogoods=30
1.23 mapSize=629 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.398 cpuTime=0.34 mem=14M826
1.36
1.36 search
1.36 run=9 nbConstraintChecks=2070046 nbPropagations=118139 nbRevisions=1205928 nbUselessRevisions=921208
1.36 nbAssignments=1960 nbFailedAssignments=757 nbBacktracks=1138 nbVisitedNodes=3350 nbRestartNogoods=36
1.36 mapSize=941 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.534 cpuTime=0.46 mem=14M826
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1034, nbTooLargekeys=0, mem=14M826)
1.57
1.57 search
1.57 run=10 nbConstraintChecks=3192816 nbPropagations=174776 nbRevisions=1801097 nbUselessRevisions=1374462
1.57 nbAssignments=2943 nbFailedAssignments=1159 nbBacktracks=1714 nbVisitedNodes=5069 nbRestartNogoods=40
1.57 => wckTime=0.744 cpuTime=0.66 mem=14M826
1.84
1.84 search
1.84 run=11 nbConstraintChecks=4745680 nbPropagations=259233 nbRevisions=2696871 nbUselessRevisions=2058011
1.84 nbAssignments=4449 nbFailedAssignments=1785 nbBacktracks=2579 nbVisitedNodes=7667 nbRestartNogoods=47
1.84 => wckTime=1.01 cpuTime=0.92 mem=14M826
2.24
2.24 search
2.24 run=12 nbConstraintChecks=7241445 nbPropagations=385852 nbRevisions=4043567 nbUselessRevisions=3083882
2.24 nbAssignments=6650 nbFailedAssignments=2675 nbBacktracks=3876 nbVisitedNodes=11503 nbRestartNogoods=56
2.24 => wckTime=1.415 cpuTime=1.32 mem=14M826
2.87
2.87 search
2.87 run=13 nbConstraintChecks=11040487 nbPropagations=576680 nbRevisions=6091903 nbUselessRevisions=4645330
2.87 nbAssignments=9966 nbFailedAssignments=4041 nbBacktracks=5824 nbVisitedNodes=17349 nbRestartNogoods=64
2.87 => wckTime=2.043 cpuTime=1.94 mem=14M826
3.85
3.85 search
3.85 run=14 nbConstraintChecks=16970866 nbPropagations=868187 nbRevisions=9243479 nbUselessRevisions=7049238
3.85 nbAssignments=15072 nbFailedAssignments=6222 nbBacktracks=8743 nbVisitedNodes=26438 nbRestartNogoods=66
3.85 => wckTime=3.022 cpuTime=2.91 mem=14M826
5.26
5.26 search
5.26 run=15 nbConstraintChecks=25509049 nbPropagations=1305855 nbRevisions=13973454 nbUselessRevisions=10655558
5.26 nbAssignments=22682 nbFailedAssignments=9438 nbBacktracks=13122 nbVisitedNodes=39789 nbRestartNogoods=79
5.26 => wckTime=4.427 cpuTime=4.3 mem=14M826
7.20
7.20 search
7.21 run=16 nbConstraintChecks=37322953 nbPropagations=1946596 nbRevisions=20898285 nbUselessRevisions=15937147
7.21 nbAssignments=33570 nbFailedAssignments=13754 nbBacktracks=19690 nbVisitedNodes=58703 nbRestartNogoods=90
7.21 => wckTime=6.376 cpuTime=6.23 mem=14M826
10.19
10.19 search
10.19 run=17 nbConstraintChecks=55119644 nbPropagations=2899650 nbRevisions=31181780 nbUselessRevisions=23784939
10.19 nbAssignments=50008 nbFailedAssignments=20335 nbBacktracks=29542 nbVisitedNodes=87369 nbRestartNogoods=97
10.19 => wckTime=9.359 cpuTime=9.19 mem=14M826
14.85
14.85 search
14.85 run=18 nbConstraintChecks=83061117 nbPropagations=4334508 nbRevisions=46736139 nbUselessRevisions=35674006
14.85 nbAssignments=75082 nbFailedAssignments=30623 nbBacktracks=44324 nbVisitedNodes=131411 nbRestartNogoods=109
14.85 => wckTime=14.019 cpuTime=13.8 mem=14M826
17.57
17.57 search
17.57 run=19 nbConstraintChecks=99406713 nbPropagations=6049198 nbRevisions=65400124 nbUselessRevisions=49956372
17.57 nbAssignments=89442 nbFailedAssignments=36584 nbBacktracks=52724 nbVisitedNodes=156668 nbRestartNogoods=117
17.57 => wckTime=16.743 cpuTime=16.5 mem=14M826
17.57
17.57 global
17.57 nbConstraintChecks=99460850 nbPropagations=6050002 nbRevisions=65405954 nbUselessRevisions=49961140
17.57 nbRestartNogoods=117 solvingWckTime=16.744 solvingCpuTime=16.5 expiredTime=no totalExploration=yes
17.57 nbFoundSolutions=0 globalCpuTime=16.9
17.57 => wckTime=17.252 cpuTime=16.84 mem=14M826
17.58
17.58 s UNSATISFIABLE
17.58 d NODES 89442
17.58 d CHECKS 99460850
17.58
17.58 totalWckTime=17.336 totalCpuTime=16.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-228888-1168301763 -o ROOT/results/node4/solver-228888-1168301763 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228888-1168301763/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: 1.92 1.94 1.80 4/98 6008
/proc/meminfo: memFree=1250704/2055920 swapFree=4182144/4192956
[pid=6007] ppid=6005 vsize=18540 CPUtime=0
/proc/6007/stat : 6007 (runsolver) R 6005 6007 4574 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 178571919 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6007/statm: 4635 279 244 17 0 2626 0
[startup+0.107085 s]
/proc/loadavg: 1.92 1.94 1.80 4/98 6008
/proc/meminfo: memFree=1250704/2055920 swapFree=4182144/4192956
[pid=6007] ppid=6005 vsize=914988 CPUtime=0.09
/proc/6007/stat : 6007 (java) R 6005 6007 4574 0 -1 0 2983 0 1 0 7 2 0 0 19 0 8 0 178571919 936947712 2729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582117 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6007/statm: 228747 2729 1424 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515123 s]
/proc/loadavg: 1.92 1.94 1.80 4/98 6008
/proc/meminfo: memFree=1250704/2055920 swapFree=4182144/4192956
[pid=6007] ppid=6005 vsize=915328 CPUtime=0.48
/proc/6007/stat : 6007 (java) R 6005 6007 4574 0 -1 0 6652 0 1 0 44 4 0 0 18 0 8 0 178571919 937295872 6391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072917232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6007/statm: 228832 6391 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3362 s]
/proc/loadavg: 1.92 1.94 1.80 3/105 6015
/proc/meminfo: memFree=1226840/2055920 swapFree=4182144/4192956
[pid=6007] ppid=6005 vsize=915452 CPUtime=1.3
/proc/6007/stat : 6007 (java) R 6005 6007 4574 0 -1 0 8685 0 1 0 123 7 0 0 24 0 8 0 178571919 937422848 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815223 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6007/statm: 228863 8423 2524 14 0 215333 0
[pid=6007/tid=6009] ppid=6005 vsize=915452 CPUtime=0.03
/proc/6007/task/6009/stat : 6009 (java) S 6005 6007 4574 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178571923 937422848 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6010] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6010/stat : 6010 (java) S 6005 6007 4574 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178571923 937422848 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6011] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6011/stat : 6011 (java) S 6005 6007 4574 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178571923 937422848 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6012] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6012/stat : 6012 (java) S 6005 6007 4574 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178571927 937422848 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6013] ppid=6005 vsize=915452 CPUtime=0.22
/proc/6007/task/6013/stat : 6013 (java) S 6005 6007 4574 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 178571927 937422848 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6014] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6014/stat : 6014 (java) S 6005 6007 4574 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178571927 937422848 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6015] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6015/stat : 6015 (java) S 6005 6007 4574 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178571927 937422848 8423 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) 915452
[startup+2.97335 s]
/proc/loadavg: 1.92 1.94 1.80 3/105 6015
/proc/meminfo: memFree=1226136/2055920 swapFree=4182144/4192956
[pid=6007] ppid=6005 vsize=915452 CPUtime=2.92
/proc/6007/stat : 6007 (java) R 6005 6007 4574 0 -1 0 8715 0 1 0 285 7 0 0 25 0 8 0 178571919 937422848 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6007/statm: 228863 8452 2524 14 0 215333 0
[pid=6007/tid=6009] ppid=6005 vsize=915452 CPUtime=0.03
/proc/6007/task/6009/stat : 6009 (java) S 6005 6007 4574 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178571923 937422848 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6010] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6010/stat : 6010 (java) S 6005 6007 4574 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178571923 937422848 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6011] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6011/stat : 6011 (java) S 6005 6007 4574 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178571923 937422848 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6012] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6012/stat : 6012 (java) S 6005 6007 4574 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178571927 937422848 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6013] ppid=6005 vsize=915452 CPUtime=0.23
/proc/6007/task/6013/stat : 6013 (java) S 6005 6007 4574 0 -1 64 392 0 0 0 22 1 0 0 15 0 8 0 178571927 937422848 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6014] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6014/stat : 6014 (java) S 6005 6007 4574 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178571927 937422848 8452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6015] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6015/stat : 6015 (java) S 6005 6007 4574 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178571927 937422848 8452 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) 915452
[startup+6.27067 s]
/proc/loadavg: 1.92 1.94 1.80 3/105 6015
/proc/meminfo: memFree=1224664/2055920 swapFree=4182144/4192956
[pid=6007] ppid=6005 vsize=915452 CPUtime=6.19
/proc/6007/stat : 6007 (java) R 6005 6007 4574 0 -1 0 8721 0 1 0 612 7 0 0 25 0 8 0 178571919 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6007/statm: 228863 8457 2524 14 0 215333 0
[pid=6007/tid=6009] ppid=6005 vsize=915452 CPUtime=0.03
/proc/6007/task/6009/stat : 6009 (java) S 6005 6007 4574 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178571923 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6010] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6010/stat : 6010 (java) S 6005 6007 4574 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178571923 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6011] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6011/stat : 6011 (java) S 6005 6007 4574 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178571923 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6012] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6012/stat : 6012 (java) S 6005 6007 4574 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178571927 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6013] ppid=6005 vsize=915452 CPUtime=0.24
/proc/6007/task/6013/stat : 6013 (java) S 6005 6007 4574 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 178571927 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6014] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6014/stat : 6014 (java) S 6005 6007 4574 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178571927 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6015] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6015/stat : 6015 (java) S 6005 6007 4574 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178571927 937422848 8457 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) 915452
[startup+12.7403 s]
/proc/loadavg: 1.93 1.94 1.80 4/105 6015
/proc/meminfo: memFree=1222936/2055920 swapFree=4182144/4192956
[pid=6007] ppid=6005 vsize=915452 CPUtime=12.6
/proc/6007/stat : 6007 (java) R 6005 6007 4574 0 -1 0 8725 0 1 0 1253 7 0 0 25 0 8 0 178571919 937422848 8461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798487 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6007/statm: 228863 8461 2524 14 0 215333 0
[pid=6007/tid=6009] ppid=6005 vsize=915452 CPUtime=0.03
/proc/6007/task/6009/stat : 6009 (java) S 6005 6007 4574 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178571923 937422848 8461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6010] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6010/stat : 6010 (java) S 6005 6007 4574 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178571923 937422848 8461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6011] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6011/stat : 6011 (java) S 6005 6007 4574 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178571923 937422848 8461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6012] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6012/stat : 6012 (java) S 6005 6007 4574 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178571927 937422848 8461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6013] ppid=6005 vsize=915452 CPUtime=0.24
/proc/6007/task/6013/stat : 6013 (java) S 6005 6007 4574 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 178571927 937422848 8461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6014] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6014/stat : 6014 (java) S 6005 6007 4574 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178571927 937422848 8461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6007/tid=6015] ppid=6005 vsize=915452 CPUtime=0
/proc/6007/task/6015/stat : 6015 (java) S 6005 6007 4574 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178571927 937422848 8461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 17.6358
CPU time (s): 17.4084
CPU user time (s): 17.3264
CPU system time (s): 0.081987
CPU usage (%): 98.71
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.3264
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8820
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= 1506
involuntary context switches= 2433
runsolver used 0.019996 s user time and 0.070989 s system time
The end
Begin job on node4 on Tue Jan 9 00:16:04 UTC 2007
IDJOB= 228888
IDBENCH= 6243
FILE ID= node4/228888-1168301763
PBS_JOBID= 3502192
Free space on /tmp= 66311 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228888-1168301763/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-228888-1168301763 -o ROOT/results/node4/solver-228888-1168301763 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228888-1168301763/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7ea56df0c9f45164a375bfe9b3378fb6
RANDOM SEED= 221433232
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.223
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.223
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: 1251184 kB
Buffers: 95868 kB
Cached: 535748 kB
SwapCached: 2552 kB
Active: 457684 kB
Inactive: 284456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1251184 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 1908 kB
Writeback: 0 kB
Mapped: 129956 kB
Slab: 47036 kB
Committed_AS: 5983176 kB
PageTables: 2576 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= 66311 MiB
End job on node4 on Tue Jan 9 00:16:21 UTC 2007