0.04/0.08
0.04/0.08 Abscon 112 (May, 2008)
0.19/0.23
0.19/0.23 configuration
0.19/0.23 name=esac.xml
0.29/0.31
0.29/0.31 instance
0.29/0.31 name=HOME/instance-1088828-1215260232.xml
0.29/0.35
0.29/0.35 domains being loaded...
0.29/0.36
0.29/0.36 variables being loaded...
0.39/0.42 nbVariables=211 nbDomainTypes=1 minDomainSize=30 maxDomainSize=30 nbTotalValues=6330
0.39/0.42 => wckTime=0.188 cpuTime=0.13 mem=8M894
0.39/0.42
0.39/0.42 predicates being loaded...
0.39/0.49
0.39/0.49 constraints being loaded...
1.66/1.76 nbConstraints=3648 nbGlobalConstraints=107 nbDisconnectedVariables=54 nbConvertedConstraints=3541
1.66/1.76 nbConvertConstraintsChecks=1800 nbExtensionStructures=2 nbSharedExtensionStructures=3539
1.66/1.76 nbConflictsStructures=24 nbSharedConflictsStructures=3539 nbSharedBinaryRepresentations=30 minDegree=1
1.66/1.76 maxDegree=143 minArity=2 avgArity=2.02 maxArity=30 nbGenerators=103 nbFusions=23 symmetryWckTime=0.487
1.66/1.76 symmetryCpuTime=0.25 nbCliques=4
1.66/1.76 => wckTime=1.528 cpuTime=1.06 mem=34M331
1.76/1.88
1.76/1.88 solver IterativeSystematicSolver being built...
1.87/1.95
1.87/1.95 INFO : Forward propagation technique limited
1.96/2.03 => wckTime=1.796 cpuTime=1.19 mem=24M730
2.07/2.19
2.07/2.19 preprocessing
2.07/2.19 nbConstraintChecks=80672 nbPropagations=3605 nbRevisions=4038 nbUselessRevisions=822 nbSingletonTests=211
2.07/2.19 nbEffectiveSingletonTests=0 nbACRemovals=80 nbFoundSingletons=0 firstSolutionCpuTime=1.29 nbRemovedValues=80
2.07/2.19 nbRemovedTuples=435 detectedInconsistency=no
2.07/2.19 => wckTime=0.15 cpuTime=0.11 mem=24M730
2.07/2.19
2.07/2.19 global
2.07/2.19 nbConstraintChecks=80672 nbPropagations=3605 nbRevisions=4038 nbUselessRevisions=822 nbRestartNogoods=0
2.07/2.19 solvingWckTime=0.155 solvingCpuTime=0.11 expiredTime=no totalExploration=no nbFoundSolutions=1
2.07/2.19 firstSolutionCpuTime=1.29 globalCpuTime=1.36
2.07/2.19 => wckTime=1.953 cpuTime=1.3 mem=24M730
2.07/2.19
2.07/2.19 s SATISFIABLE
2.07/2.19 v 3 6 0 23 19 20 21 22 24 8 1 4 7 10 11 12 6 7 10 11 12 16 17 18 19 20 21 0 1 3 4 22 13 0 0 17 0 0 0 0 2 0 5 0 14 0 2 15 0 0 16 0 0 18 0 13 15 0 25 26 9 2 2 2 2 2 13 8 14 2 2 2 2 2 2 2 2 2 2 2 5 2 9 15 2 0 0 5 0 5 9 5 0 0 0 0 0 0 5 0 2 0 0 0 0 9 9 25 9 9 0 0 0 0 0 0 25 0 0 9 27 9 0 25 26 25 25 2 2 2 25 18 16 15 14 2 5 9 13 2 5 9 15 23 25 25 25 25 0 0 16 16 0 9 0 9 0 0 0 0 0 25 27 25 25 15 13 13 0 25 0 13 25 27 25 27 27 28 28 27 25 25 14 14 14 14 0 0 0 13 25 27 28 15 15 15 29 15 29 27 13 13 0 15 15 15 25 25 0 9 25
2.07/2.19 d NODES 0
2.07/2.19 d CHECKS 80672
2.07/2.19
2.07/2.19 totalWckTime=2.01 totalCpuTime=1.37
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1088828-1215260232/watcher-1088828-1215260232 -o /tmp/evaluation-result-1088828-1215260232/solver-1088828-1215260232 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1088828-1215260232.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.03 2.01 3/84 19345
/proc/meminfo: memFree=1523336/2055920 swapFree=4180444/4192956
[pid=19345] ppid=19343 vsize=10732 CPUtime=0
/proc/19345/stat : 19345 (java) S 19343 19345 18458 0 -1 0 742 0 0 0 0 0 0 0 18 0 2 0 2004992737 10989568 522 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/19345/statm: 2683 522 245 9 0 1196 0
[pid=19345/tid=19346] ppid=19343 vsize=10732 CPUtime=0
/proc/19345/task/19346/stat : 19346 (java) R 19343 19345 18458 0 -1 64 66 0 0 0 0 0 0 0 20 0 2 0 2004992738 10989568 522 996147200 134512640 134550740 4294955968 18446744073709551615 6852907 0 0 0 16784584 0 0 0 -1 0 0 0
[startup+0.057487 s]
/proc/loadavg: 2.08 2.03 2.01 3/84 19345
/proc/meminfo: memFree=1523336/2055920 swapFree=4180444/4192956
[pid=19345] ppid=19343 vsize=864076 CPUtime=0.04
/proc/19345/stat : 19345 (java) S 19343 19345 18458 0 -1 0 2752 0 1 0 3 1 0 0 18 0 9 0 2004992737 884813824 2299 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19345/statm: 216019 2299 1097 9 0 210976 0
[pid=19345/tid=19346] ppid=19343 vsize=864076 CPUtime=0.03
/proc/19345/task/19346/stat : 19346 (java) R 19343 19345 18458 0 -1 64 1853 0 1 0 2 1 0 0 20 0 9 0 2004992738 884813824 2299 996147200 134512640 134550740 4294955968 18446744073709551615 102689690 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864076
[startup+0.101497 s]
/proc/loadavg: 2.08 2.03 2.01 3/84 19345
/proc/meminfo: memFree=1523336/2055920 swapFree=4180444/4192956
[pid=19345] ppid=19343 vsize=865884 CPUtime=0.09
/proc/19345/stat : 19345 (java) S 19343 19345 18458 0 -1 0 3805 0 1 0 7 2 0 0 18 0 9 0 2004992737 886665216 3256 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19345/statm: 216471 3256 1721 9 0 211026 0
[pid=19345/tid=19346] ppid=19343 vsize=865884 CPUtime=0.07
/proc/19345/task/19346/stat : 19346 (java) R 19343 19345 18458 0 -1 64 2897 0 1 0 6 1 0 0 18 0 9 0 2004992738 886665216 3256 996147200 134512640 134550740 4294955968 18446744073709551615 4159499263 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.30153 s]
/proc/loadavg: 2.08 2.03 2.01 3/84 19345
/proc/meminfo: memFree=1523336/2055920 swapFree=4180444/4192956
[pid=19345] ppid=19343 vsize=866196 CPUtime=0.29
/proc/19345/stat : 19345 (java) S 19343 19345 18458 0 -1 0 5625 0 1 0 25 4 0 0 18 0 9 0 2004992737 886984704 5039 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19345/statm: 216549 5039 1903 9 0 211097 0
[pid=19345/tid=19346] ppid=19343 vsize=866196 CPUtime=0.24
/proc/19345/task/19346/stat : 19346 (java) R 19343 19345 18458 0 -1 64 4655 0 1 0 21 3 0 0 19 0 9 0 2004992738 886984704 5039 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866196
[startup+0.701597 s]
/proc/loadavg: 2.08 2.03 2.01 3/84 19345
/proc/meminfo: memFree=1523336/2055920 swapFree=4180444/4192956
[pid=19345] ppid=19343 vsize=867644 CPUtime=0.69
/proc/19345/stat : 19345 (java) S 19343 19345 18458 0 -1 0 8265 0 1 0 63 6 0 0 18 0 9 0 2004992737 888467456 7625 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19345/statm: 216911 7625 2010 9 0 211417 0
[pid=19345/tid=19346] ppid=19343 vsize=867644 CPUtime=0.51
/proc/19345/task/19346/stat : 19346 (java) R 19343 19345 18458 0 -1 64 6914 0 1 0 46 5 0 0 21 0 9 0 2004992738 888467456 7625 996147200 134512640 134550740 4294955968 18446744073709551615 103948688 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867644
[startup+1.50273 s]
/proc/loadavg: 2.08 2.03 2.01 3/93 19354
/proc/meminfo: memFree=1491520/2055920 swapFree=4180444/4192956
[pid=19345] ppid=19343 vsize=867968 CPUtime=1.33
/proc/19345/stat : 19345 (java) S 19343 19345 18458 0 -1 0 12855 0 1 0 109 24 0 0 18 0 10 0 2004992737 888799232 12085 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19345/statm: 216992 12085 2018 9 0 211498 0
[pid=19345/tid=19346] ppid=19343 vsize=867968 CPUtime=1.09
/proc/19345/task/19346/stat : 19346 (java) S 19343 19345 18458 0 -1 64 11376 0 1 0 86 23 0 0 16 0 10 0 2004992738 888799232 12085 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=19345/tid=19348] ppid=19343 vsize=867968 CPUtime=0
/proc/19345/task/19348/stat : 19348 (java) S 19343 19345 18458 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 2004992740 888799232 12085 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19349] ppid=19343 vsize=867968 CPUtime=0
/proc/19345/task/19349/stat : 19349 (java) S 19343 19345 18458 0 -1 64 9 0 0 0 0 0 0 0 19 0 10 0 2004992740 888799232 12085 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19350] ppid=19343 vsize=867968 CPUtime=0
/proc/19345/task/19350/stat : 19350 (java) S 19343 19345 18458 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 2004992740 888799232 12085 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19351] ppid=19343 vsize=867968 CPUtime=0
/proc/19345/task/19351/stat : 19351 (java) S 19343 19345 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2004992742 888799232 12085 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19352] ppid=19343 vsize=867968 CPUtime=0.22
/proc/19345/task/19352/stat : 19352 (java) S 19343 19345 18458 0 -1 64 710 0 0 0 22 0 0 0 16 0 10 0 2004992742 888799232 12085 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19353] ppid=19343 vsize=867968 CPUtime=0
/proc/19345/task/19353/stat : 19353 (java) S 19343 19345 18458 0 -1 64 2 0 0 0 0 0 0 0 19 0 10 0 2004992742 888799232 12085 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19354] ppid=19343 vsize=867968 CPUtime=0
/proc/19345/task/19354/stat : 19354 (java) S 19343 19345 18458 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2004992742 888799232 12085 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 867968
Solver just ended. Dumping a history of the last processes samples
[startup+1.9028 s]
/proc/loadavg: 2.08 2.03 2.01 3/93 19354
/proc/meminfo: memFree=1491520/2055920 swapFree=4180444/4192956
[pid=19345] ppid=19343 vsize=868084 CPUtime=1.87
/proc/19345/stat : 19345 (java) S 19343 19345 18458 0 -1 0 21632 519 1 0 142 27 17 1 18 0 9 0 2004992737 888918016 14341 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19345/statm: 217021 14341 2631 9 0 211527 0
[pid=19345/tid=19346] ppid=19343 vsize=868084 CPUtime=1.48
/proc/19345/task/19346/stat : 19346 (java) R 19343 19345 18458 0 -1 64 14805 519 1 0 107 23 17 1 18 0 9 0 2004992738 888918016 14341 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19348] ppid=19343 vsize=868084 CPUtime=0.28
/proc/19345/task/19348/stat : 19348 (java) S 19343 19345 18458 0 -1 64 5079 519 0 0 9 1 17 1 16 0 9 0 2004992740 888918016 14341 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19349] ppid=19343 vsize=868084 CPUtime=0.18
/proc/19345/task/19349/stat : 19349 (java) S 19343 19345 18458 0 -1 64 13 519 0 0 0 0 17 1 16 0 9 0 2004992740 888918016 14341 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19350] ppid=19343 vsize=868084 CPUtime=0.18
/proc/19345/task/19350/stat : 19350 (java) S 19343 19345 18458 0 -1 64 11 519 0 0 0 0 17 1 16 0 9 0 2004992740 888918016 14341 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19351] ppid=19343 vsize=868084 CPUtime=0.18
/proc/19345/task/19351/stat : 19351 (java) S 19343 19345 18458 0 -1 64 1 519 0 0 0 0 17 1 18 0 9 0 2004992742 888918016 14341 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19352] ppid=19343 vsize=868084 CPUtime=0.43
/proc/19345/task/19352/stat : 19352 (java) R 19343 19345 18458 0 -1 64 907 519 0 0 24 1 17 1 16 0 9 0 2004992742 888918016 14341 996147200 134512640 134550740 4294955968 18446744073709551615 102049486 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19353] ppid=19343 vsize=868084 CPUtime=0.18
/proc/19345/task/19353/stat : 19353 (java) S 19343 19345 18458 0 -1 64 2 519 0 0 0 0 17 1 19 0 9 0 2004992742 888918016 14341 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19354] ppid=19343 vsize=868084 CPUtime=0.18
/proc/19345/task/19354/stat : 19354 (java) S 19343 19345 18458 0 -1 64 13 519 0 0 0 0 17 1 15 0 9 0 2004992742 888918016 14341 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 868084
[startup+2.10283 s]
/proc/loadavg: 2.08 2.03 2.01 3/93 19358
/proc/meminfo: memFree=1475456/2055920 swapFree=4180444/4192956
[pid=19345] ppid=19343 vsize=868084 CPUtime=2.07
/proc/19345/stat : 19345 (java) S 19343 19345 18458 0 -1 0 23403 519 1 0 161 28 17 1 18 0 9 0 2004992737 888918016 14420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19345/statm: 217021 14420 2633 9 0 211527 0
[pid=19345/tid=19346] ppid=19343 vsize=868084 CPUtime=1.63
/proc/19345/task/19346/stat : 19346 (java) R 19343 19345 18458 0 -1 64 16553 519 1 0 121 24 17 1 19 0 9 0 2004992738 888918016 14420 996147200 134512640 134550740 4294955968 18446744073709551615 4127182734 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19348] ppid=19343 vsize=868084 CPUtime=0.28
/proc/19345/task/19348/stat : 19348 (java) S 19343 19345 18458 0 -1 64 5079 519 0 0 9 1 17 1 16 0 9 0 2004992740 888918016 14420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19349] ppid=19343 vsize=868084 CPUtime=0.18
/proc/19345/task/19349/stat : 19349 (java) S 19343 19345 18458 0 -1 64 13 519 0 0 0 0 17 1 16 0 9 0 2004992740 888918016 14420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19350] ppid=19343 vsize=868084 CPUtime=0.18
/proc/19345/task/19350/stat : 19350 (java) S 19343 19345 18458 0 -1 64 11 519 0 0 0 0 17 1 16 0 9 0 2004992740 888918016 14420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19351] ppid=19343 vsize=868084 CPUtime=0.18
/proc/19345/task/19351/stat : 19351 (java) S 19343 19345 18458 0 -1 64 1 519 0 0 0 0 17 1 18 0 9 0 2004992742 888918016 14420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19352] ppid=19343 vsize=868084 CPUtime=0.48
/proc/19345/task/19352/stat : 19352 (java) S 19343 19345 18458 0 -1 64 930 519 0 0 29 1 17 1 15 0 9 0 2004992742 888918016 14420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19353] ppid=19343 vsize=868084 CPUtime=0.18
/proc/19345/task/19353/stat : 19353 (java) S 19343 19345 18458 0 -1 64 2 519 0 0 0 0 17 1 19 0 9 0 2004992742 888918016 14420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19354] ppid=19343 vsize=868084 CPUtime=0.18
/proc/19345/task/19354/stat : 19354 (java) S 19343 19345 18458 0 -1 64 13 519 0 0 0 0 17 1 15 0 9 0 2004992742 888918016 14420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 868084
[startup+2.20952 s]
/proc/loadavg: 2.08 2.03 2.01 3/93 19358
/proc/meminfo: memFree=1475456/2055920 swapFree=4180444/4192956
[pid=19345] ppid=19343 vsize=868084 CPUtime=2.15
/proc/19345/stat : 19345 (java) S 19343 19345 18458 0 -1 0 23425 519 1 0 169 28 17 1 18 0 9 0 2004992737 888918016 14437 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19345/statm: 217021 14437 2633 9 0 211527 0
[pid=19345/tid=19346] ppid=19343 vsize=868084 CPUtime=1.7
/proc/19345/task/19346/stat : 19346 (java) S 19343 19345 18458 0 -1 64 16564 519 1 0 128 24 17 1 20 0 9 0 2004992738 888918016 14437 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19348] ppid=19343 vsize=868084 CPUtime=0.28
/proc/19345/task/19348/stat : 19348 (java) S 19343 19345 18458 0 -1 64 5079 519 0 0 9 1 17 1 16 0 9 0 2004992740 888918016 14437 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19349] ppid=19343 vsize=868084 CPUtime=0.18
/proc/19345/task/19349/stat : 19349 (java) S 19343 19345 18458 0 -1 64 13 519 0 0 0 0 17 1 16 0 9 0 2004992740 888918016 14437 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19350] ppid=19343 vsize=868084 CPUtime=0.18
/proc/19345/task/19350/stat : 19350 (java) S 19343 19345 18458 0 -1 64 11 519 0 0 0 0 17 1 16 0 9 0 2004992740 888918016 14437 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19351] ppid=19343 vsize=868084 CPUtime=0.18
/proc/19345/task/19351/stat : 19351 (java) S 19343 19345 18458 0 -1 64 1 519 0 0 0 0 17 1 18 0 9 0 2004992742 888918016 14437 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19352] ppid=19343 vsize=868084 CPUtime=0.5
/proc/19345/task/19352/stat : 19352 (java) S 19343 19345 18458 0 -1 64 941 519 0 0 31 1 17 1 15 0 9 0 2004992742 888918016 14437 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19353] ppid=19343 vsize=868084 CPUtime=0.18
/proc/19345/task/19353/stat : 19353 (java) S 19343 19345 18458 0 -1 64 2 519 0 0 0 0 17 1 19 0 9 0 2004992742 888918016 14437 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19345/tid=19354] ppid=19343 vsize=868084 CPUtime=0.18
/proc/19345/task/19354/stat : 19354 (java) S 19343 19345 18458 0 -1 64 13 519 0 0 0 0 17 1 15 0 9 0 2004992742 888918016 14437 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 868084
Child status: 0
Real time (s): 2.24631
CPU time (s): 2.18367
CPU user time (s): 1.87971
CPU system time (s): 0.303953
CPU usage (%): 97.2113
Max. virtual memory (cumulated for all children) (KiB): 868084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.87971
system time used= 0.303953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23973
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= 1318
involuntary context switches= 1401
runsolver used 0.007998 second user time and 0.016997 second system time
The end
Begin job on node68 at 2008-07-05 14:17:12
IDJOB=1088828
IDBENCH=58119
IDSOLVER=364
FILE ID=node68/1088828-1215260232
PBS_JOBID= 7882094
Free space on /tmp= 66524 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/graphColoring/register/zeroin/normalized-zeroin-i-2-30.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1088828-1215260232/watcher-1088828-1215260232 -o /tmp/evaluation-result-1088828-1215260232/solver-1088828-1215260232 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1088828-1215260232.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 59cdcd97f898686db9120d1400ac3135
RANDOM SEED=1858121264
node68.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.261
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.261
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: 1523816 kB
Buffers: 32156 kB
Cached: 219404 kB
SwapCached: 6772 kB
Active: 360760 kB
Inactive: 119068 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1523816 kB
SwapTotal: 4192956 kB
SwapFree: 4180444 kB
Dirty: 2808 kB
Writeback: 0 kB
Mapped: 238580 kB
Slab: 37296 kB
Committed_AS: 5021344 kB
PageTables: 2148 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= 66524 MiB
End job on node68 at 2008-07-05 14:17:14