0.04/0.07
0.04/0.07 Abscon 112 (May, 2008)
0.22/0.20
0.22/0.20 configuration
0.22/0.20 name=mac.xml
0.22/0.23
0.22/0.23 instance
0.22/0.23 name=HOME/instance-2093043-1247401114.xml
0.22/0.26
0.22/0.26 domains being loaded...
0.22/0.27
0.22/0.27 variables being loaded...
0.34/0.30 nbVariables=91 nbDomainTypes=1 minDomainSize=92 maxDomainSize=92 nbTotalValues=8372
0.34/0.30 => wckTime=0.099 cpuTime=0.1 mem=7M892
0.34/0.30
0.34/0.30 relations being loaded...
2.70/2.69
2.70/2.69 INFO : Contraction of relations, mem = 100M313
15.67/15.64
15.67/15.64 constraints being loaded...
21.12/21.04 nbConstraints=4095 nbRelationTypes=4095 nbExtensionStructures=4095 nbSharedExtensionStructures=0
21.12/21.04 nbConflictsStructures=4095 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=753206 minDegree=90
21.12/21.04 maxDegree=90 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.176 symmetryCpuTime=0.09
21.12/21.04 => wckTime=20.837 cpuTime=19.46 mem=130M454
21.54/21.48
21.54/21.48 solver IterativeSystematicSolver being built...
21.64/21.59 => wckTime=21.385 cpuTime=19.58 mem=136M760
21.77/21.62
21.77/21.62 preprocessing
21.77/21.62 nbConstraintChecks=600899 nbPropagations=173 nbRevisions=12557 nbUselessRevisions=12297 nbRemovedValues=4221
21.77/21.62 detectedInconsistency=no
21.77/21.62 => wckTime=0.036 cpuTime=0.04 mem=136M760
21.77/21.69
21.77/21.69 search
21.77/21.69 run=0 nbConstraintChecks=228361 minDepth=92 maxDepth=91 nbPropagations=274 nbRevisions=17540
21.77/21.70 nbUselessRevisions=17270 nbAssignments=91 nbFailedAssignments=0 nbBacktracks=0 nbVisitedNodes=92
21.77/21.70 nbRestartNogoods=0 nbFoundSolutions=1 mapSize=0 nbInferences=0 nbTooLargeKeys=0 nbSEliminables=45.5
21.77/21.70 nbREliminables=0 nbIEliminables=38.08 nbDEliminables=0 nbPEliminables=0
21.77/21.70 => wckTime=0.105 cpuTime=0.11 mem=137M762
21.77/21.70
21.77/21.70 global
21.77/21.70 nbConstraintChecks=829260 nbPropagations=447 nbRevisions=30097 nbUselessRevisions=29567 nbRestartNogoods=0
21.77/21.70 solvingWckTime=0.107 solvingCpuTime=0.11 expiredTime=no totalExploration=no nbFoundSolutions=1
21.77/21.70 firstSolutionCpuTime=19.68 globalCpuTime=19.73
21.77/21.70 => wckTime=21.494 cpuTime=19.69 mem=137M762
21.90/21.70
21.90/21.70 s SATISFIABLE
21.90/21.70 v 0 1 1 1 1 2 3 1 2 3 4 1 2 3 4 1 1 2 3 4 5 6 1 20 21 22 23 13 14 1 2 3 4 5 6 7 7 8 9 10 11 12 13 1 2 3 1 11 12 7 8 9 10 1 2 3 4 5 6 7 8 9 20 21 22 13 14 15 16 17 18 19 1 2 3 4 5 6 7 1 2 1 2 3 4 1 2 3 4 5 6
21.90/21.70 d NODES 91
21.90/21.70 d CHECKS 829260
21.90/21.70
21.90/21.70 totalWckTime=21.536 totalCpuTime=19.73
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093043-1247401114/watcher-2093043-1247401114 -o /tmp/evaluation-result-2093043-1247401114/solver-2093043-1247401114 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2093043-1247401114.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 0.15 0.03 0.09 3/67 29970
/proc/meminfo: memFree=1724120/2055920 swapFree=4192812/4192956
[pid=29970] ppid=29968 vsize=152 CPUtime=0
/proc/29970/stat : 29970 (java) R 29968 29970 29892 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 27175386 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 8413988 0 0 4096 0 0 0 0 17 0 0 0
/proc/29970/statm: 38 26 19 9 0 4 0
[startup+0.053141 s]
/proc/loadavg: 0.15 0.03 0.09 3/67 29970
/proc/meminfo: memFree=1724120/2055920 swapFree=4192812/4192956
[pid=29970] ppid=29968 vsize=864860 CPUtime=0.04
/proc/29970/stat : 29970 (java) S 29968 29970 29892 0 -1 0 2763 0 1 0 3 1 0 0 18 0 9 0 27175386 885616640 2299 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29970/statm: 216215 2299 1110 9 0 211108 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864860
[startup+0.101142 s]
/proc/loadavg: 0.15 0.03 0.09 3/67 29970
/proc/meminfo: memFree=1724120/2055920 swapFree=4192812/4192956
[pid=29970] ppid=29968 vsize=866816 CPUtime=0.1
/proc/29970/stat : 29970 (java) S 29968 29970 29892 0 -1 0 4026 0 1 0 8 2 0 0 18 0 9 0 27175386 887619584 3455 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29970/statm: 216704 3455 1795 9 0 211189 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 866816
[startup+0.301165 s]
/proc/loadavg: 0.15 0.03 0.09 3/67 29970
/proc/meminfo: memFree=1724120/2055920 swapFree=4192812/4192956
[pid=29970] ppid=29968 vsize=867064 CPUtime=0.34
/proc/29970/stat : 29970 (java) S 29968 29970 29892 0 -1 0 6560 0 1 0 31 3 0 0 18 0 9 0 27175386 887873536 5922 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29970/statm: 216766 5923 1995 9 0 211224 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 867064
[startup+0.7012 s]
/proc/loadavg: 0.15 0.03 0.09 3/67 29970
/proc/meminfo: memFree=1724120/2055920 swapFree=4192812/4192956
[pid=29970] ppid=29968 vsize=867064 CPUtime=0.77
/proc/29970/stat : 29970 (java) S 29968 29970 29892 0 -1 0 16510 0 1 0 69 8 0 0 18 0 9 0 27175386 887873536 15873 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29970/statm: 216766 15874 1998 9 0 211224 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 867064
[startup+1.50228 s]
/proc/loadavg: 0.15 0.03 0.09 2/76 29979
/proc/meminfo: memFree=1653520/2055920 swapFree=4192812/4192956
[pid=29970] ppid=29968 vsize=868088 CPUtime=1.58
/proc/29970/stat : 29970 (java) S 29968 29970 29892 0 -1 0 25618 0 1 0 145 13 0 0 18 0 9 0 27175386 888922112 24976 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29970/statm: 217022 24976 2011 9 0 211480 0
[pid=29970/tid=29972] ppid=29968 vsize=868088 CPUtime=1.29
/proc/29970/task/29972/stat : 29972 (java) R 29968 29970 29892 0 -1 64 15693 0 1 0 121 8 0 0 18 0 9 0 27175387 888922112 24976 996147200 134512640 134550932 4294955968 18446744073709551615 4126594046 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29973] ppid=29968 vsize=868088 CPUtime=0.16
/proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29892 0 -1 64 8740 0 0 0 13 3 0 0 16 0 9 0 27175388 888922112 24976 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29974] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29892 0 -1 64 16 0 0 0 0 0 0 0 15 0 9 0 27175389 888922112 24976 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29975] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29892 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 27175389 888922112 24976 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29976] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29892 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 27175391 888922112 24976 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29977] ppid=29968 vsize=868088 CPUtime=0.1
/proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29892 0 -1 64 482 0 0 0 10 0 0 0 16 0 9 0 27175391 888922112 24976 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29978] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29892 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 27175391 888922112 24976 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29979] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29979/stat : 29979 (java) S 29968 29970 29892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27175391 888922112 24976 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 868088
[startup+3.10244 s]
/proc/loadavg: 0.22 0.05 0.09 2/76 29979
/proc/meminfo: memFree=1615504/2055920 swapFree=4192812/4192956
[pid=29970] ppid=29968 vsize=868088 CPUtime=3.2
/proc/29970/stat : 29970 (java) S 29968 29970 29892 0 -1 0 34297 0 1 0 302 18 0 0 18 0 9 0 27175386 888922112 33463 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29970/statm: 217022 33463 2632 9 0 211480 0
[pid=29970/tid=29972] ppid=29968 vsize=868088 CPUtime=2.55
/proc/29970/task/29972/stat : 29972 (java) R 29968 29970 29892 0 -1 64 15705 0 1 0 246 9 0 0 16 0 9 0 27175387 888922112 33463 996147200 134512640 134550932 4294955968 18446744073709551615 4126586055 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29973] ppid=29968 vsize=868088 CPUtime=0.5
/proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29892 0 -1 64 17384 0 0 0 43 7 0 0 17 0 9 0 27175388 888922112 33463 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29974] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29892 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27175389 888922112 33463 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29975] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29892 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27175389 888922112 33463 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29976] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29892 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 27175391 888922112 33463 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29977] ppid=29968 vsize=868088 CPUtime=0.12
/proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29892 0 -1 64 505 0 0 0 12 0 0 0 16 0 9 0 27175391 888922112 33463 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29978] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29892 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 27175391 888922112 33463 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29979] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29979/stat : 29979 (java) S 29968 29970 29892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27175391 888922112 33463 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 868088
[startup+6.30184 s]
/proc/loadavg: 0.22 0.05 0.09 3/89 29997
/proc/meminfo: memFree=1590952/2055920 swapFree=4192812/4192956
[pid=29970] ppid=29968 vsize=868088 CPUtime=6.4
/proc/29970/stat : 29970 (java) S 29968 29970 29892 0 -1 0 35045 0 1 0 619 21 0 0 18 0 9 0 27175386 888922112 34204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29970/statm: 217022 34204 2634 9 0 211480 0
[pid=29970/tid=29972] ppid=29968 vsize=868088 CPUtime=5.61
/proc/29970/task/29972/stat : 29972 (java) R 29968 29970 29892 0 -1 64 15712 0 1 0 549 12 0 0 25 0 9 0 27175387 888922112 34204 996147200 134512640 134550932 4294955968 18446744073709551615 4126405557 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29973] ppid=29968 vsize=868088 CPUtime=0.61
/proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29892 0 -1 64 17975 0 0 0 54 7 0 0 16 0 9 0 27175388 888922112 34204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29974] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29892 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27175389 888922112 34204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29975] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29892 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27175389 888922112 34204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29976] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29892 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 27175391 888922112 34204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29977] ppid=29968 vsize=868088 CPUtime=0.15
/proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29892 0 -1 64 655 0 0 0 15 0 0 0 15 0 9 0 27175391 888922112 34204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29978] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29892 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 27175391 888922112 34204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29979] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29979/stat : 29979 (java) S 29968 29970 29892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27175391 888922112 34204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 868088
[startup+12.7014 s]
/proc/loadavg: 0.63 0.14 0.12 2/76 30018
/proc/meminfo: memFree=1570384/2055920 swapFree=4192812/4192956
[pid=29970] ppid=29968 vsize=868088 CPUtime=12.79
/proc/29970/stat : 29970 (java) S 29968 29970 29892 0 -1 0 42232 0 1 0 1251 28 0 0 18 0 9 0 27175386 888922112 41378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29970/statm: 217022 41378 2635 9 0 211480 0
[pid=29970/tid=29972] ppid=29968 vsize=868088 CPUtime=11.68
/proc/29970/task/29972/stat : 29972 (java) R 29968 29970 29892 0 -1 64 15725 0 1 0 1152 16 0 0 20 0 9 0 27175387 888922112 41378 996147200 134512640 134550932 4294955968 18446744073709551615 4126586146 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29973] ppid=29968 vsize=868088 CPUtime=0.92
/proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29892 0 -1 64 25143 0 0 0 82 10 0 0 16 0 9 0 27175388 888922112 41378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29974] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29892 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27175389 888922112 41378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29975] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29892 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27175389 888922112 41378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29976] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29892 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 27175391 888922112 41378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29977] ppid=29968 vsize=868088 CPUtime=0.16
/proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29892 0 -1 64 661 0 0 0 16 0 0 0 16 0 9 0 27175391 888922112 41378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29978] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29892 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 27175391 888922112 41378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29979] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29979/stat : 29979 (java) S 29968 29970 29892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27175391 888922112 41378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 868088
Solver just ended. Dumping a history of the last processes samples
[startup+15.9017 s]
/proc/loadavg: 0.63 0.14 0.12 2/76 30018
/proc/meminfo: memFree=1555024/2055920 swapFree=4192812/4192956
[pid=29970] ppid=29968 vsize=868088 CPUtime=16
/proc/29970/stat : 29970 (java) S 29968 29970 29892 0 -1 0 45597 0 1 0 1568 32 0 0 18 0 9 0 27175386 888922112 44730 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29970/statm: 217022 44730 2635 9 0 211480 0
[pid=29970/tid=29972] ppid=29968 vsize=868088 CPUtime=14.73
/proc/29970/task/29972/stat : 29972 (java) R 29968 29970 29892 0 -1 64 15766 0 1 0 1454 19 0 0 18 0 9 0 27175387 888922112 44730 996147200 134512640 134550932 4294955968 18446744073709551615 4126897373 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29973] ppid=29968 vsize=868088 CPUtime=1.06
/proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29892 0 -1 64 28447 0 0 0 95 11 0 0 16 0 9 0 27175388 888922112 44730 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29974] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29892 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27175389 888922112 44730 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29975] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29892 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27175389 888922112 44730 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29976] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29892 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 27175391 888922112 44730 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29977] ppid=29968 vsize=868088 CPUtime=0.18
/proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29892 0 -1 64 681 0 0 0 18 0 0 0 16 0 9 0 27175391 888922112 44730 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29978] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29892 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 27175391 888922112 44730 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29979] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29979/stat : 29979 (java) S 29968 29970 29892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27175391 888922112 44730 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16
Current children cumulated vsize (KiB) 868088
[startup+19.103 s]
/proc/loadavg: 0.66 0.16 0.13 2/76 30018
/proc/meminfo: memFree=1551504/2055920 swapFree=4192812/4192956
[pid=29970] ppid=29968 vsize=868088 CPUtime=19.21
/proc/29970/stat : 29970 (java) S 29968 29970 29892 0 -1 0 46444 0 1 0 1889 32 0 0 18 0 9 0 27175386 888922112 45574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29970/statm: 217022 45574 2636 9 0 211480 0
[pid=29970/tid=29972] ppid=29968 vsize=868088 CPUtime=17.86
/proc/29970/task/29972/stat : 29972 (java) R 29968 29970 29892 0 -1 64 15769 0 1 0 1767 19 0 0 25 0 9 0 27175387 888922112 45574 996147200 134512640 134550932 4294955968 18446744073709551615 4126927984 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29973] ppid=29968 vsize=868088 CPUtime=1.1
/proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29892 0 -1 64 29267 0 0 0 99 11 0 0 16 0 9 0 27175388 888922112 45574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29974] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29892 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27175389 888922112 45574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29975] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29892 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27175389 888922112 45574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29976] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29892 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 27175391 888922112 45574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29977] ppid=29968 vsize=868088 CPUtime=0.21
/proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29892 0 -1 64 705 0 0 0 21 0 0 0 15 0 9 0 27175391 888922112 45574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29978] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29892 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 27175391 888922112 45574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29979] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29979/stat : 29979 (java) S 29968 29970 29892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27175391 888922112 45574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 19.21
Current children cumulated vsize (KiB) 868088
[startup+20.7022 s]
/proc/loadavg: 0.66 0.16 0.13 2/76 30018
/proc/meminfo: memFree=1551440/2055920 swapFree=4192812/4192956
[pid=29970] ppid=29968 vsize=868088 CPUtime=20.8
/proc/29970/stat : 29970 (java) S 29968 29970 29892 0 -1 0 46444 0 1 0 2048 32 0 0 18 0 9 0 27175386 888922112 45574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29970/statm: 217022 45574 2636 9 0 211480 0
[pid=29970/tid=29972] ppid=29968 vsize=868088 CPUtime=19.46
/proc/29970/task/29972/stat : 29972 (java) R 29968 29970 29892 0 -1 64 15769 0 1 0 1927 19 0 0 25 0 9 0 27175387 888922112 45574 996147200 134512640 134550932 4294955968 18446744073709551615 4126897391 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29973] ppid=29968 vsize=868088 CPUtime=1.1
/proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29892 0 -1 64 29267 0 0 0 99 11 0 0 16 0 9 0 27175388 888922112 45574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29974] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29892 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27175389 888922112 45574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29975] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29892 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27175389 888922112 45574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29976] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29892 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 27175391 888922112 45574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29977] ppid=29968 vsize=868088 CPUtime=0.21
/proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29892 0 -1 64 705 0 0 0 21 0 0 0 15 0 9 0 27175391 888922112 45574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29978] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29892 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 27175391 888922112 45574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29979] ppid=29968 vsize=868088 CPUtime=0
/proc/29970/task/29979/stat : 29979 (java) S 29968 29970 29892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27175391 888922112 45574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.8
Current children cumulated vsize (KiB) 868088
[startup+21.5013 s]
/proc/loadavg: 0.66 0.16 0.13 2/76 30018
/proc/meminfo: memFree=1543888/2055920 swapFree=4192812/4192956
[pid=29970] ppid=29968 vsize=868824 CPUtime=21.64
/proc/29970/stat : 29970 (java) S 29968 29970 29892 0 -1 0 72766 456 1 0 2120 38 4 2 18 0 9 0 27175386 889675776 49036 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29970/statm: 217206 49036 2658 9 0 211642 0
[pid=29970/tid=29972] ppid=29968 vsize=868824 CPUtime=19.73
/proc/29970/task/29972/stat : 29972 (java) R 29968 29970 29892 0 -1 64 17658 456 1 0 1948 19 4 2 17 0 9 0 27175387 889675776 49036 996147200 134512640 134550932 4294955968 18446744073709551615 102751882 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29973] ppid=29968 vsize=868824 CPUtime=1.67
/proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29892 0 -1 64 53395 456 0 0 146 15 4 2 17 0 9 0 27175388 889675776 49036 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29974] ppid=29968 vsize=868824 CPUtime=0.06
/proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29892 0 -1 64 21 456 0 0 0 0 4 2 16 0 9 0 27175389 889675776 49036 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29975] ppid=29968 vsize=868824 CPUtime=0.06
/proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29892 0 -1 64 11 456 0 0 0 0 4 2 16 0 9 0 27175389 889675776 49036 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29976] ppid=29968 vsize=868824 CPUtime=0.06
/proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29892 0 -1 64 1 456 0 0 0 0 4 2 23 0 9 0 27175391 889675776 49036 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29977] ppid=29968 vsize=868824 CPUtime=0.31
/proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29892 0 -1 64 850 456 0 0 25 0 4 2 16 0 9 0 27175391 889675776 49036 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29978] ppid=29968 vsize=868824 CPUtime=0.06
/proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29892 0 -1 64 2 456 0 0 0 0 4 2 24 0 9 0 27175391 889675776 49036 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29979] ppid=29968 vsize=868824 CPUtime=0.06
/proc/29970/task/29979/stat : 29979 (java) S 29968 29970 29892 0 -1 64 8 456 0 0 0 0 4 2 15 0 9 0 27175391 889675776 49036 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.64
Current children cumulated vsize (KiB) 868824
[startup+21.7013 s]
/proc/loadavg: 0.66 0.16 0.13 2/76 30018
/proc/meminfo: memFree=1543888/2055920 swapFree=4192812/4192956
[pid=29970] ppid=29968 vsize=868824 CPUtime=21.9
/proc/29970/stat : 29970 (java) S 29968 29970 29892 0 -1 0 77074 456 1 0 2145 39 4 2 18 0 9 0 27175386 889675776 49123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29970/statm: 217206 49123 2660 9 0 211642 0
[pid=29970/tid=29972] ppid=29968 vsize=868824 CPUtime=19.93
/proc/29970/task/29972/stat : 29972 (java) R 29968 29970 29892 0 -1 64 21865 456 1 0 1967 20 4 2 17 0 9 0 27175387 889675776 49123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29973] ppid=29968 vsize=868824 CPUtime=1.67
/proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29892 0 -1 64 53395 456 0 0 146 15 4 2 17 0 9 0 27175388 889675776 49123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29974] ppid=29968 vsize=868824 CPUtime=0.06
/proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29892 0 -1 64 21 456 0 0 0 0 4 2 16 0 9 0 27175389 889675776 49123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29975] ppid=29968 vsize=868824 CPUtime=0.06
/proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29892 0 -1 64 11 456 0 0 0 0 4 2 16 0 9 0 27175389 889675776 49123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29976] ppid=29968 vsize=868824 CPUtime=0.06
/proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29892 0 -1 64 1 456 0 0 0 0 4 2 23 0 9 0 27175391 889675776 49123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29977] ppid=29968 vsize=868824 CPUtime=0.37
/proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29892 0 -1 64 950 456 0 0 31 0 4 2 16 0 9 0 27175391 889675776 49123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29970/tid=29978] ppid=29968 vsize=868824 CPUtime=0.06
/proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29892 0 -1 64 2 456 0 0 0 0 4 2 24 0 9 0 27175391 889675776 49123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29970/tid=29979] ppid=29968 vsize=868824 CPUtime=0.06
/proc/29970/task/29979/stat : 29979 (java) S 29968 29970 29892 0 -1 64 8 456 0 0 0 0 4 2 15 0 9 0 27175391 889675776 49123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.9
Current children cumulated vsize (KiB) 868824
Child status: 0
Real time (s): 21.7837
CPU time (s): 21.9447
CPU user time (s): 21.4987
CPU system time (s): 0.445932
CPU usage (%): 100.739
Max. virtual memory (cumulated for all children) (KiB): 868824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.4987
system time used= 0.445932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77646
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= 1091
involuntary context switches= 750
runsolver used 0.027995 second user time and 0.076988 second system time
The end
Begin job on node70 at 2009-07-12 14:18:47
IDJOB=2093043
IDBENCH=53340
IDSOLVER=773
FILE ID=node70/2093043-1247401114
PBS_JOBID= 9510508
Free space on /tmp= 66328 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/lard/normalized-lard-91-91.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2093043-1247401114/watcher-2093043-1247401114 -o /tmp/evaluation-result-2093043-1247401114/solver-2093043-1247401114 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2093043-1247401114.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6b4a6e4092e14f48fd38a5edec2adc18
RANDOM SEED=1277090842
node70.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.214
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.214
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: 1724664 kB
Buffers: 31880 kB
Cached: 228084 kB
SwapCached: 0 kB
Active: 191012 kB
Inactive: 83768 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1724664 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 96896 kB
Writeback: 0 kB
Mapped: 24588 kB
Slab: 42300 kB
Committed_AS: 161016 kB
PageTables: 1576 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= 66324 MiB
End job on node70 at 2009-07-12 14:19:09