0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=mac.xml
0.18/0.30
0.18/0.30 instance
0.18/0.30 name=HOME/instance-2097791-1247414033.xml
0.29/0.33
0.29/0.33 domains being loaded...
0.29/0.37
0.29/0.37 variables being loaded...
0.77/0.83 nbVariables=2750 nbDomainTypes=4 minDomainSize=130 maxDomainSize=502 nbTotalValues=1343881
0.77/0.83 => wckTime=0.572 cpuTime=0.37 mem=35M944
0.77/0.83
0.77/0.83 predicates being loaded...
0.77/0.89
0.77/0.90 constraints being loaded...
20.71/20.88
20.71/20.88 INFO : Stopping converting binary constraints (cpu=20.11, mem = 67M600)
27.67/27.82 nbConstraints=12605 nbMergedConstraints=10549 nbConvertedConstraints=179 nbConvertConstraintsChecks=38304608
27.67/27.82 nbExtensionStructures=154 nbSharedExtensionStructures=45 nbConflictsStructures=154
27.67/27.82 nbSharedConflictsStructures=45 nbUnbuiltConflictsStructures=6209 nbSharedBinaryRepresentations=125090
27.67/27.82 nbEvaluationManagers=6209 nbSharedEvaluationManagers=6217 minDegree=2 maxDegree=12 minArity=2 maxArity=2
27.67/27.82 nbGenerators=0 nbFusions=0 symmetryWckTime=3.387 symmetryCpuTime=3.05
27.67/27.82 => wckTime=27.559 cpuTime=26.3 mem=86M157
28.06/28.21
28.06/28.21 solver IterativeSystematicSolver being built...
28.65/28.84 => wckTime=28.581 cpuTime=26.72 mem=164M937
186.46/188.15
186.46/188.15 preprocessing
186.46/188.15 nbConstraintChecks=324951525 nbValidityChecks=1690057 nbPropagations=3059 nbRevisions=30217
186.46/188.15 nbUselessRevisions=26844 nbRemovedValues=473712 detectedInconsistency=no
186.46/188.15 => wckTime=159.282 cpuTime=157.77 mem=164M937
466.40/470.72
466.40/470.72 search
466.40/470.72 run=7 nbConstraintChecks=476165428 nbValidityChecks=40136834 minDepth=0 maxDepth=0 nbPropagations=76213
466.40/470.72 nbRevisions=712517 nbUselessRevisions=379336 nbAssignments=363 nbFailedAssignments=363 nbBacktracks=1
466.40/470.72 nbVisitedNodes=727 nbRestartNogoods=0 nbSEliminables=? nbREliminables=? nbIEliminables=? nbDEliminables=?
466.40/470.72 nbPEliminables=?
466.40/470.72 => wckTime=441.847 cpuTime=437.64 mem=170M24
466.40/470.72
466.40/470.72 global
466.40/470.72 nbConstraintChecks=801116953 nbValidityChecks=41826891 nbPropagations=79272 nbRevisions=742734
466.40/470.72 nbUselessRevisions=406180 nbRestartNogoods=0 solvingWckTime=441.85 solvingCpuTime=437.65 expiredTime=no
466.40/470.72 totalExploration=yes nbFoundSolutions=0 globalCpuTime=464.44
466.40/470.72 => wckTime=470.457 cpuTime=464.39 mem=170M24
466.40/470.77
466.40/470.77 s UNSATISFIABLE
466.40/470.77 d NODES 363
466.40/470.77 d CHECKS 801116953
466.40/470.77
466.40/470.77 totalWckTime=470.575 totalCpuTime=464.48
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097791-1247414033/watcher-2097791-1247414033 -o /tmp/evaluation-result-2097791-1247414033/solver-2097791-1247414033 -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-2097791-1247414033.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: 2.05 2.02 2.00 4/80 31342
/proc/meminfo: memFree=1716328/2055920 swapFree=4192812/4192956
[pid=31342] ppid=31340 vsize=18576 CPUtime=0
/proc/31342/stat : 31342 (runsolver) R 31340 31342 29880 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28470861 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31342/statm: 4644 284 249 26 0 2626 0
[startup+0.06274 s]
/proc/loadavg: 2.05 2.02 2.00 4/80 31342
/proc/meminfo: memFree=1716328/2055920 swapFree=4192812/4192956
[pid=31342] ppid=31340 vsize=864024 CPUtime=0.05
/proc/31342/stat : 31342 (java) S 31340 31342 29880 0 -1 0 2789 0 1 0 3 2 0 0 18 0 9 0 28470861 884760576 2329 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31342/statm: 216006 2329 1102 9 0 210899 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864024
[startup+0.102742 s]
/proc/loadavg: 2.05 2.02 2.00 4/80 31342
/proc/meminfo: memFree=1716328/2055920 swapFree=4192812/4192956
[pid=31342] ppid=31340 vsize=865984 CPUtime=0.08
/proc/31342/stat : 31342 (java) S 31340 31342 29880 0 -1 0 3739 0 1 0 6 2 0 0 18 0 9 0 28470861 886767616 3205 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31342/statm: 216496 3205 1695 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.302758 s]
/proc/loadavg: 2.05 2.02 2.00 4/80 31342
/proc/meminfo: memFree=1716328/2055920 swapFree=4192812/4192956
[pid=31342] ppid=31340 vsize=866380 CPUtime=0.29
/proc/31342/stat : 31342 (java) S 31340 31342 29880 0 -1 0 5860 0 1 0 25 4 0 0 18 0 9 0 28470861 887173120 5226 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31342/statm: 216595 5226 1981 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.702802 s]
/proc/loadavg: 2.05 2.02 2.00 4/80 31342
/proc/meminfo: memFree=1716328/2055920 swapFree=4192812/4192956
[pid=31342] ppid=31340 vsize=867428 CPUtime=0.68
/proc/31342/stat : 31342 (java) S 31340 31342 29880 0 -1 0 14633 0 1 0 59 9 0 0 18 0 9 0 28470861 888246272 13995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31342/statm: 216857 13995 2001 9 0 211315 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867428
[startup+1.50188 s]
/proc/loadavg: 2.05 2.02 2.00 3/89 31351
/proc/meminfo: memFree=1626848/2055920 swapFree=4192812/4192956
[pid=31342] ppid=31340 vsize=867648 CPUtime=1.47
/proc/31342/stat : 31342 (java) S 31340 31342 29880 0 -1 0 24967 0 1 0 134 13 0 0 18 0 9 0 28470861 888471552 24318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31342/statm: 216912 24318 2051 9 0 211348 0
[pid=31342/tid=31344] ppid=31340 vsize=867648 CPUtime=1.19
/proc/31342/task/31344/stat : 31344 (java) R 31340 31342 29880 0 -1 64 15790 0 1 0 110 9 0 0 25 0 9 0 28470862 888471552 24318 996147200 134512640 134550932 4294955968 18446744073709551615 103822104 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31345] ppid=31340 vsize=867648 CPUtime=0.06
/proc/31342/task/31345/stat : 31345 (java) S 31340 31342 29880 0 -1 64 7830 0 0 0 4 2 0 0 16 0 9 0 28470863 888471552 24318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31346] ppid=31340 vsize=867648 CPUtime=0
/proc/31342/task/31346/stat : 31346 (java) S 31340 31342 29880 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28470864 888471552 24318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31347] ppid=31340 vsize=867648 CPUtime=0
/proc/31342/task/31347/stat : 31347 (java) S 31340 31342 29880 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28470864 888471552 24318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31348] ppid=31340 vsize=867648 CPUtime=0
/proc/31342/task/31348/stat : 31348 (java) S 31340 31342 29880 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28470866 888471552 24318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31349] ppid=31340 vsize=867648 CPUtime=0.18
/proc/31342/task/31349/stat : 31349 (java) S 31340 31342 29880 0 -1 64 646 0 0 0 18 0 0 0 16 0 9 0 28470866 888471552 24318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31350] ppid=31340 vsize=867648 CPUtime=0
/proc/31342/task/31350/stat : 31350 (java) S 31340 31342 29880 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28470866 888471552 24318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31351] ppid=31340 vsize=867648 CPUtime=0
/proc/31342/task/31351/stat : 31351 (java) S 31340 31342 29880 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28470866 888471552 24318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867648
[startup+3.10202 s]
/proc/loadavg: 2.05 2.02 2.00 3/89 31351
/proc/meminfo: memFree=1610400/2055920 swapFree=4192812/4192956
[pid=31342] ppid=31340 vsize=867560 CPUtime=3.06
/proc/31342/stat : 31342 (java) S 31340 31342 29880 0 -1 0 30045 0 1 0 290 16 0 0 18 0 9 0 28470861 888381440 29370 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31342/statm: 216890 29370 2032 9 0 211348 0
[pid=31342/tid=31344] ppid=31340 vsize=867560 CPUtime=2.57
/proc/31342/task/31344/stat : 31344 (java) R 31340 31342 29880 0 -1 64 15822 0 1 0 248 9 0 0 25 0 9 0 28470862 888381440 29370 996147200 134512640 134550932 4294955968 18446744073709551615 4126933022 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31345] ppid=31340 vsize=867560 CPUtime=0.24
/proc/31342/task/31345/stat : 31345 (java) S 31340 31342 29880 0 -1 64 12859 0 0 0 20 4 0 0 16 0 9 0 28470863 888381440 29370 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31346] ppid=31340 vsize=867560 CPUtime=0
/proc/31342/task/31346/stat : 31346 (java) S 31340 31342 29880 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28470864 888381440 29370 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31347] ppid=31340 vsize=867560 CPUtime=0
/proc/31342/task/31347/stat : 31347 (java) S 31340 31342 29880 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28470864 888381440 29370 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31348] ppid=31340 vsize=867560 CPUtime=0
/proc/31342/task/31348/stat : 31348 (java) S 31340 31342 29880 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28470866 888381440 29370 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31349] ppid=31340 vsize=867560 CPUtime=0.21
/proc/31342/task/31349/stat : 31349 (java) S 31340 31342 29880 0 -1 64 663 0 0 0 21 0 0 0 16 0 9 0 28470866 888381440 29370 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31350] ppid=31340 vsize=867560 CPUtime=0
/proc/31342/task/31350/stat : 31350 (java) S 31340 31342 29880 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28470866 888381440 29370 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31351] ppid=31340 vsize=867560 CPUtime=0
/proc/31342/task/31351/stat : 31351 (java) S 31340 31342 29880 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28470866 888381440 29370 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867560
[startup+6.30233 s]
/proc/loadavg: 2.04 2.02 2.00 3/89 31351
/proc/meminfo: memFree=1598176/2055920 swapFree=4192812/4192956
[pid=31342] ppid=31340 vsize=867560 CPUtime=6.22
/proc/31342/stat : 31342 (java) S 31340 31342 29880 0 -1 0 30053 0 1 0 606 16 0 0 18 0 9 0 28470861 888381440 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31342/statm: 216890 29376 2032 9 0 211348 0
[pid=31342/tid=31344] ppid=31340 vsize=867560 CPUtime=5.74
/proc/31342/task/31344/stat : 31344 (java) R 31340 31342 29880 0 -1 64 15827 0 1 0 564 10 0 0 25 0 9 0 28470862 888381440 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4126929615 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31345] ppid=31340 vsize=867560 CPUtime=0.24
/proc/31342/task/31345/stat : 31345 (java) S 31340 31342 29880 0 -1 64 12859 0 0 0 20 4 0 0 16 0 9 0 28470863 888381440 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31346] ppid=31340 vsize=867560 CPUtime=0
/proc/31342/task/31346/stat : 31346 (java) S 31340 31342 29880 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28470864 888381440 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31347] ppid=31340 vsize=867560 CPUtime=0
/proc/31342/task/31347/stat : 31347 (java) S 31340 31342 29880 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28470864 888381440 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31348] ppid=31340 vsize=867560 CPUtime=0
/proc/31342/task/31348/stat : 31348 (java) S 31340 31342 29880 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28470866 888381440 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31349] ppid=31340 vsize=867560 CPUtime=0.21
/proc/31342/task/31349/stat : 31349 (java) S 31340 31342 29880 0 -1 64 666 0 0 0 21 0 0 0 15 0 9 0 28470866 888381440 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31350] ppid=31340 vsize=867560 CPUtime=0
/proc/31342/task/31350/stat : 31350 (java) S 31340 31342 29880 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28470866 888381440 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31351] ppid=31340 vsize=867560 CPUtime=0
/proc/31342/task/31351/stat : 31351 (java) S 31340 31342 29880 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28470866 888381440 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867560
[startup+12.7019 s]
/proc/loadavg: 2.04 2.02 2.00 3/89 31355
/proc/meminfo: memFree=1562336/2055920 swapFree=4192812/4192956
[pid=31342] ppid=31340 vsize=867560 CPUtime=12.61
/proc/31342/stat : 31342 (java) S 31340 31342 29880 0 -1 0 30080 0 1 0 1244 17 0 0 18 0 9 0 28470861 888381440 29398 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31342/statm: 216890 29398 2032 9 0 211348 0
[pid=31342/tid=31344] ppid=31340 vsize=867560 CPUtime=12.09
/proc/31342/task/31344/stat : 31344 (java) R 31340 31342 29880 0 -1 64 15832 0 1 0 1199 10 0 0 25 0 9 0 28470862 888381440 29398 996147200 134512640 134550932 4294955968 18446744073709551615 4126935095 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31342/tid=31345] ppid=31340 vsize=867560 CPUtime=0.24
/proc/31342/task/31345/stat : 31345 (java) S 31340 31342 29880 0 -1 64 12859 0 0 0 20 4 0 0 16 0 9 0 28470863 888381440 29398 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31342/tid=31346] ppid=31340 vsize=867560 CPUtime=0
/proc/31342/task/31346/stat : 31346 (java) S 31340 31342 29880 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28470864 888381440 29398 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31347] ppid=31340 vsize=867560 CPUtime=0
/proc/31342/task/31347/stat : 31347 (java) S 31340 31342 29880 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28470864 888381440 29398 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31348] ppid=31340 vsize=867560 CPUtime=0
/proc/31342/task/31348/stat : 31348 (java) S 31340 31342 29880 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28470866 888381440 29398 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31349] ppid=31340 vsize=867560 CPUtime=0.24
/proc/31342/task/31349/stat : 31349 (java) S 31340 31342 29880 0 -1 64 688 0 0 0 24 0 0 0 15 0 9 0 28470866 888381440 29398 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31342/tid=31350] ppid=31340 vsize=867560 CPUtime=0
/proc/31342/task/31350/stat : 31350 (java) S 31340 31342 29880 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28470866 888381440 29398 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31351] ppid=31340 vsize=867560 CPUtime=0
/proc/31342/task/31351/stat : 31351 (java) S 31340 31342 29880 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28470866 888381440 29398 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 867560
[startup+25.5022 s]
/proc/loadavg: 2.11 2.04 2.01 3/89 31359
/proc/meminfo: memFree=1537568/2055920 swapFree=4192812/4192956
[pid=31342] ppid=31340 vsize=869232 CPUtime=25.39
/proc/31342/stat : 31342 (java) S 31340 31342 29880 0 -1 0 37667 901 1 0 2499 23 15 2 18 0 9 0 28470861 890093568 35523 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31342/statm: 217308 35523 2045 9 0 211766 0
[pid=31342/tid=31344] ppid=31340 vsize=869232 CPUtime=24.39
/proc/31342/task/31344/stat : 31344 (java) R 31340 31342 29880 0 -1 64 17015 901 1 0 2410 12 15 2 22 0 9 0 28470862 890093568 35523 996147200 134512640 134550932 4294955968 18446744073709551615 4127251466 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31345] ppid=31340 vsize=869232 CPUtime=0.82
/proc/31342/task/31345/stat : 31345 (java) S 31340 31342 29880 0 -1 64 18943 901 0 0 58 7 15 2 16 0 9 0 28470863 890093568 35523 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31346] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31346/stat : 31346 (java) S 31340 31342 29880 0 -1 64 16 901 0 0 0 0 15 2 16 0 9 0 28470864 890093568 35523 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31347] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31347/stat : 31347 (java) S 31340 31342 29880 0 -1 64 5 901 0 0 0 0 15 2 16 0 9 0 28470864 890093568 35523 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31348] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31348/stat : 31348 (java) S 31340 31342 29880 0 -1 64 2 901 0 0 0 0 15 2 18 0 9 0 28470866 890093568 35523 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31349] ppid=31340 vsize=869232 CPUtime=0.48
/proc/31342/task/31349/stat : 31349 (java) S 31340 31342 29880 0 -1 64 860 901 0 0 30 1 15 2 15 0 9 0 28470866 890093568 35523 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31350] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31350/stat : 31350 (java) S 31340 31342 29880 0 -1 64 0 901 0 0 0 0 15 2 19 0 9 0 28470866 890093568 35523 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31351] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31351/stat : 31351 (java) S 31340 31342 29880 0 -1 64 11 901 0 0 0 0 15 2 15 0 9 0 28470866 890093568 35523 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 869232
[startup+51.1026 s]
/proc/loadavg: 2.07 2.03 2.00 3/89 31359
/proc/meminfo: memFree=1471904/2055920 swapFree=4192812/4192956
[pid=31342] ppid=31340 vsize=869232 CPUtime=50.74
/proc/31342/stat : 31342 (java) S 31340 31342 29880 0 -1 0 85761 901 1 0 5023 34 15 2 18 0 9 0 28470861 890093568 52533 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31342/statm: 217308 52533 2641 9 0 211766 0
[pid=31342/tid=31344] ppid=31340 vsize=869232 CPUtime=49.1
/proc/31342/task/31344/stat : 31344 (java) R 31340 31342 29880 0 -1 64 30376 901 1 0 4878 15 15 2 25 0 9 0 28470862 890093568 52533 996147200 134512640 134550932 4294955968 18446744073709551615 4127250679 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31345] ppid=31340 vsize=869232 CPUtime=1.35
/proc/31342/task/31345/stat : 31345 (java) S 31340 31342 29880 0 -1 64 53561 901 0 0 104 14 15 2 16 0 9 0 28470863 890093568 52533 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31346] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31346/stat : 31346 (java) S 31340 31342 29880 0 -1 64 20 901 0 0 0 0 15 2 16 0 9 0 28470864 890093568 52533 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31347] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31347/stat : 31347 (java) S 31340 31342 29880 0 -1 64 29 901 0 0 0 0 15 2 15 0 9 0 28470864 890093568 52533 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31348] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31348/stat : 31348 (java) S 31340 31342 29880 0 -1 64 2 901 0 0 0 0 15 2 18 0 9 0 28470866 890093568 52533 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31349] ppid=31340 vsize=869232 CPUtime=0.57
/proc/31342/task/31349/stat : 31349 (java) S 31340 31342 29880 0 -1 64 946 901 0 0 39 1 15 2 16 0 9 0 28470866 890093568 52533 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31350] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31350/stat : 31350 (java) S 31340 31342 29880 0 -1 64 0 901 0 0 0 0 15 2 19 0 9 0 28470866 890093568 52533 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/31342/task/31348/stat : 31348 (java) S 31340 31342 29880 0 -1 64 2 901 0 0 0 0 15 2 18 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31349] ppid=31340 vsize=869232 CPUtime=0.59
/proc/31342/task/31349/stat : 31349 (java) S 31340 31342 29880 0 -1 64 959 901 0 0 41 1 15 2 16 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31350] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31350/stat : 31350 (java) S 31340 31342 29880 0 -1 64 0 901 0 0 0 0 15 2 19 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31351] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31351/stat : 31351 (java) S 31340 31342 29880 0 -1 64 12 901 0 0 0 0 15 2 15 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 398.66
Current children cumulated vsize (KiB) 869232
[startup+462.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31365
/proc/meminfo: memFree=1471200/2055920 swapFree=4192812/4192956
[pid=31342] ppid=31340 vsize=869232 CPUtime=458.07
/proc/31342/stat : 31342 (java) S 31340 31342 29880 0 -1 0 85785 901 1 0 45755 35 15 2 18 0 9 0 28470861 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31342/statm: 217308 52543 2641 9 0 211766 0
[pid=31342/tid=31344] ppid=31340 vsize=869232 CPUtime=456.42
/proc/31342/task/31344/stat : 31344 (java) R 31340 31342 29880 0 -1 64 30387 901 1 0 45609 16 15 2 25 0 9 0 28470862 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4126932976 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31345] ppid=31340 vsize=869232 CPUtime=1.36
/proc/31342/task/31345/stat : 31345 (java) S 31340 31342 29880 0 -1 64 53561 901 0 0 104 15 15 2 16 0 9 0 28470863 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31346] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31346/stat : 31346 (java) S 31340 31342 29880 0 -1 64 20 901 0 0 0 0 15 2 16 0 9 0 28470864 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31347] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31347/stat : 31347 (java) S 31340 31342 29880 0 -1 64 29 901 0 0 0 0 15 2 15 0 9 0 28470864 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31348] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31348/stat : 31348 (java) S 31340 31342 29880 0 -1 64 2 901 0 0 0 0 15 2 18 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31349] ppid=31340 vsize=869232 CPUtime=0.59
/proc/31342/task/31349/stat : 31349 (java) S 31340 31342 29880 0 -1 64 959 901 0 0 41 1 15 2 16 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31350] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31350/stat : 31350 (java) S 31340 31342 29880 0 -1 64 0 901 0 0 0 0 15 2 19 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31351] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31351/stat : 31351 (java) S 31340 31342 29880 0 -1 64 12 901 0 0 0 0 15 2 15 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 458.07
Current children cumulated vsize (KiB) 869232
Solver just ended. Dumping a history of the last processes samples
[startup+467.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31365
/proc/meminfo: memFree=1471264/2055920 swapFree=4192812/4192956
[pid=31342] ppid=31340 vsize=869232 CPUtime=462.83
/proc/31342/stat : 31342 (java) S 31340 31342 29880 0 -1 0 85785 901 1 0 46231 35 15 2 18 0 9 0 28470861 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31342/statm: 217308 52543 2641 9 0 211766 0
[pid=31342/tid=31344] ppid=31340 vsize=869232 CPUtime=461.17
/proc/31342/task/31344/stat : 31344 (java) R 31340 31342 29880 0 -1 64 30387 901 1 0 46084 16 15 2 25 0 9 0 28470862 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4126929593 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31345] ppid=31340 vsize=869232 CPUtime=1.36
/proc/31342/task/31345/stat : 31345 (java) S 31340 31342 29880 0 -1 64 53561 901 0 0 104 15 15 2 16 0 9 0 28470863 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31346] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31346/stat : 31346 (java) S 31340 31342 29880 0 -1 64 20 901 0 0 0 0 15 2 16 0 9 0 28470864 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31347] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31347/stat : 31347 (java) S 31340 31342 29880 0 -1 64 29 901 0 0 0 0 15 2 15 0 9 0 28470864 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31348] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31348/stat : 31348 (java) S 31340 31342 29880 0 -1 64 2 901 0 0 0 0 15 2 18 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31349] ppid=31340 vsize=869232 CPUtime=0.59
/proc/31342/task/31349/stat : 31349 (java) S 31340 31342 29880 0 -1 64 959 901 0 0 41 1 15 2 16 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31350] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31350/stat : 31350 (java) S 31340 31342 29880 0 -1 64 0 901 0 0 0 0 15 2 19 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31351] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31351/stat : 31351 (java) S 31340 31342 29880 0 -1 64 12 901 0 0 0 0 15 2 15 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.83
Current children cumulated vsize (KiB) 869232
[startup+468.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31365
/proc/meminfo: memFree=1471264/2055920 swapFree=4192812/4192956
[pid=31342] ppid=31340 vsize=869232 CPUtime=464.41
/proc/31342/stat : 31342 (java) S 31340 31342 29880 0 -1 0 85785 901 1 0 46389 35 15 2 18 0 9 0 28470861 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31342/statm: 217308 52543 2641 9 0 211766 0
[pid=31342/tid=31344] ppid=31340 vsize=869232 CPUtime=462.76
/proc/31342/task/31344/stat : 31344 (java) R 31340 31342 29880 0 -1 64 30387 901 1 0 46243 16 15 2 25 0 9 0 28470862 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4127250756 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31345] ppid=31340 vsize=869232 CPUtime=1.36
/proc/31342/task/31345/stat : 31345 (java) S 31340 31342 29880 0 -1 64 53561 901 0 0 104 15 15 2 16 0 9 0 28470863 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31346] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31346/stat : 31346 (java) S 31340 31342 29880 0 -1 64 20 901 0 0 0 0 15 2 16 0 9 0 28470864 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31347] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31347/stat : 31347 (java) S 31340 31342 29880 0 -1 64 29 901 0 0 0 0 15 2 15 0 9 0 28470864 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31348] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31348/stat : 31348 (java) S 31340 31342 29880 0 -1 64 2 901 0 0 0 0 15 2 18 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31349] ppid=31340 vsize=869232 CPUtime=0.59
/proc/31342/task/31349/stat : 31349 (java) S 31340 31342 29880 0 -1 64 959 901 0 0 41 1 15 2 16 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31350] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31350/stat : 31350 (java) S 31340 31342 29880 0 -1 64 0 901 0 0 0 0 15 2 19 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31351] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31351/stat : 31351 (java) S 31340 31342 29880 0 -1 64 12 901 0 0 0 0 15 2 15 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 464.41
Current children cumulated vsize (KiB) 869232
[startup+469.502 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31365
/proc/meminfo: memFree=1471264/2055920 swapFree=4192812/4192956
[pid=31342] ppid=31340 vsize=869232 CPUtime=465.21
/proc/31342/stat : 31342 (java) S 31340 31342 29880 0 -1 0 85785 901 1 0 46469 35 15 2 18 0 9 0 28470861 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31342/statm: 217308 52543 2641 9 0 211766 0
[pid=31342/tid=31344] ppid=31340 vsize=869232 CPUtime=463.55
/proc/31342/task/31344/stat : 31344 (java) R 31340 31342 29880 0 -1 64 30387 901 1 0 46322 16 15 2 25 0 9 0 28470862 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4126929528 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31345] ppid=31340 vsize=869232 CPUtime=1.36
/proc/31342/task/31345/stat : 31345 (java) S 31340 31342 29880 0 -1 64 53561 901 0 0 104 15 15 2 16 0 9 0 28470863 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31346] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31346/stat : 31346 (java) S 31340 31342 29880 0 -1 64 20 901 0 0 0 0 15 2 16 0 9 0 28470864 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31347] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31347/stat : 31347 (java) S 31340 31342 29880 0 -1 64 29 901 0 0 0 0 15 2 15 0 9 0 28470864 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31348] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31348/stat : 31348 (java) S 31340 31342 29880 0 -1 64 2 901 0 0 0 0 15 2 18 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31349] ppid=31340 vsize=869232 CPUtime=0.59
/proc/31342/task/31349/stat : 31349 (java) S 31340 31342 29880 0 -1 64 959 901 0 0 41 1 15 2 16 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31350] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31350/stat : 31350 (java) S 31340 31342 29880 0 -1 64 0 901 0 0 0 0 15 2 19 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31351] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31351/stat : 31351 (java) S 31340 31342 29880 0 -1 64 12 901 0 0 0 0 15 2 15 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 465.21
Current children cumulated vsize (KiB) 869232
[startup+470.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31365
/proc/meminfo: memFree=1471264/2055920 swapFree=4192812/4192956
[pid=31342] ppid=31340 vsize=869232 CPUtime=466
/proc/31342/stat : 31342 (java) S 31340 31342 29880 0 -1 0 85785 901 1 0 46548 35 15 2 18 0 9 0 28470861 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31342/statm: 217308 52543 2641 9 0 211766 0
[pid=31342/tid=31344] ppid=31340 vsize=869232 CPUtime=464.34
/proc/31342/task/31344/stat : 31344 (java) R 31340 31342 29880 0 -1 64 30387 901 1 0 46401 16 15 2 25 0 9 0 28470862 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4126926912 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31345] ppid=31340 vsize=869232 CPUtime=1.36
/proc/31342/task/31345/stat : 31345 (java) S 31340 31342 29880 0 -1 64 53561 901 0 0 104 15 15 2 16 0 9 0 28470863 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31346] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31346/stat : 31346 (java) S 31340 31342 29880 0 -1 64 20 901 0 0 0 0 15 2 16 0 9 0 28470864 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31347] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31347/stat : 31347 (java) S 31340 31342 29880 0 -1 64 29 901 0 0 0 0 15 2 15 0 9 0 28470864 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31348] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31348/stat : 31348 (java) S 31340 31342 29880 0 -1 64 2 901 0 0 0 0 15 2 18 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31349] ppid=31340 vsize=869232 CPUtime=0.59
/proc/31342/task/31349/stat : 31349 (java) S 31340 31342 29880 0 -1 64 959 901 0 0 41 1 15 2 16 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31350] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31350/stat : 31350 (java) S 31340 31342 29880 0 -1 64 0 901 0 0 0 0 15 2 19 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31351] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31351/stat : 31351 (java) S 31340 31342 29880 0 -1 64 12 901 0 0 0 0 15 2 15 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 466
Current children cumulated vsize (KiB) 869232
[startup+470.703 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31365
/proc/meminfo: memFree=1471264/2055920 swapFree=4192812/4192956
[pid=31342] ppid=31340 vsize=869232 CPUtime=466.4
/proc/31342/stat : 31342 (java) S 31340 31342 29880 0 -1 0 85785 901 1 0 46588 35 15 2 18 0 9 0 28470861 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31342/statm: 217308 52543 2641 9 0 211766 0
[pid=31342/tid=31344] ppid=31340 vsize=869232 CPUtime=464.74
/proc/31342/task/31344/stat : 31344 (java) R 31340 31342 29880 0 -1 64 30387 901 1 0 46441 16 15 2 25 0 9 0 28470862 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4126926946 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31345] ppid=31340 vsize=869232 CPUtime=1.36
/proc/31342/task/31345/stat : 31345 (java) S 31340 31342 29880 0 -1 64 53561 901 0 0 104 15 15 2 16 0 9 0 28470863 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31346] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31346/stat : 31346 (java) S 31340 31342 29880 0 -1 64 20 901 0 0 0 0 15 2 16 0 9 0 28470864 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31347] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31347/stat : 31347 (java) S 31340 31342 29880 0 -1 64 29 901 0 0 0 0 15 2 15 0 9 0 28470864 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31348] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31348/stat : 31348 (java) S 31340 31342 29880 0 -1 64 2 901 0 0 0 0 15 2 18 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31349] ppid=31340 vsize=869232 CPUtime=0.59
/proc/31342/task/31349/stat : 31349 (java) S 31340 31342 29880 0 -1 64 959 901 0 0 41 1 15 2 16 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31350] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31350/stat : 31350 (java) S 31340 31342 29880 0 -1 64 0 901 0 0 0 0 15 2 19 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31342/tid=31351] ppid=31340 vsize=869232 CPUtime=0.17
/proc/31342/task/31351/stat : 31351 (java) S 31340 31342 29880 0 -1 64 12 901 0 0 0 0 15 2 15 0 9 0 28470866 890093568 52543 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 466.4
Current children cumulated vsize (KiB) 869232
[startup+470.808 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31365
/proc/meminfo: memFree=1471264/2055920 swapFree=4192812/4192956
[pid=31342] ppid=31340 vsize=0 CPUtime=466.47
/proc/31342/stat : 31342 (java) Z 31340 31342 29880 0 -1 12 85821 901 1 0 46594 36 15 2 16 0 2 0 28470861 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31342/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 466.47
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 470.829
CPU time (s): 466.512
CPU user time (s): 466.101
CPU system time (s): 0.410937
CPU usage (%): 99.083
Max. virtual memory (cumulated for all children) (KiB): 869320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 466.101
system time used= 0.410937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86722
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= 11811
involuntary context switches= 21073
runsolver used 0.560914 second user time and 1.59676 second system time
The end
Begin job on node4 at 2009-07-12 17:53:54
IDJOB=2097791
IDBENCH=57761
IDSOLVER=773
FILE ID=node4/2097791-1247414033
PBS_JOBID= 9510635
Free space on /tmp= 66260 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp39/normalized-fapp39-2750-2.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-2097791-1247414033/watcher-2097791-1247414033 -o /tmp/evaluation-result-2097791-1247414033/solver-2097791-1247414033 -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-2097791-1247414033.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5b1f6b307ea457c2b0019c1b311c0873
RANDOM SEED=654734886
node4.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.213
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.213
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: 1716808 kB
Buffers: 40612 kB
Cached: 121228 kB
SwapCached: 0 kB
Active: 217244 kB
Inactive: 66828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1716808 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 10932 kB
Writeback: 0 kB
Mapped: 140276 kB
Slab: 39932 kB
Committed_AS: 1004312 kB
PageTables: 2104 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= 66260 MiB
End job on node4 at 2009-07-12 18:01:44