0.04/0.08
0.04/0.08 Abscon 112 (May, 2008)
0.20/0.24
0.20/0.24 configuration
0.20/0.24 name=mac.xml
0.20/0.28
0.20/0.28 instance
0.20/0.28 name=HOME/instance-2094213-1247403005.xml
0.30/0.31
0.30/0.31 domains being loaded...
0.30/0.32
0.30/0.32 variables being loaded...
0.30/0.37 nbVariables=168 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=840
0.30/0.37 => wckTime=0.128 cpuTime=0.11 mem=8M867
0.30/0.37
0.30/0.37 predicates being loaded...
0.49/0.59
0.49/0.59 constraints being loaded...
2.04/2.32 nbConstraints=102 nbGlobalConstraints=21 nbDisconnectedVariables=20 nbConflictsStructures=3
2.04/2.32 nbSharedConflictsStructures=0 nbUnbuiltConflictsStructures=78 nbSharedBinaryRepresentations=0
2.04/2.32 nbEvaluationManagers=81 nbSharedEvaluationManagers=0 minDegree=1 maxDegree=10 minArity=2 avgArity=10.84
2.04/2.32 maxArity=22 nbGenerators=21 nbFusions=0 symmetryWckTime=0.086 symmetryCpuTime=0.04
2.04/2.32 => wckTime=2.075 cpuTime=1.48 mem=45M124
2.04/2.39
2.04/2.39 solver IterativeSystematicSolver being built...
2.14/2.48
2.14/2.48 INFO : Forward propagation technique limited
2.25/2.55 => wckTime=2.301 cpuTime=1.62 mem=23M813
2.34/2.62
2.34/2.62 preprocessing
2.34/2.62 nbConstraintChecks=54042 nbValidityChecks=82 nbPropagations=169 nbRevisions=66 nbUselessRevisions=59
2.34/2.62 nbRemovedValues=16 detectedInconsistency=no
2.34/2.62 => wckTime=0.07 cpuTime=0.06 mem=23M813
81.65/82.05
81.65/82.05 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=24M781)
123.13/123.55
123.13/123.55 search
123.13/123.56 run=7 nbConstraintChecks=54968941 nbValidityChecks=290033 minDepth=41 maxDepth=168 nbPropagations=12641
123.13/123.56 nbRevisions=212815 nbUselessRevisions=198579 nbAssignments=1435 nbFailedAssignments=381 nbBacktracks=422
123.13/123.56 nbVisitedNodes=1994 nbRestartNogoods=62 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=112.3
123.13/123.56 nbIEliminables=22.74 nbDEliminables=0 nbPEliminables=0
123.13/123.56 => wckTime=121.006 cpuTime=120.82 mem=24M781
123.13/123.56
123.13/123.56 global
123.13/123.56 nbConstraintChecks=55022983 nbValidityChecks=290115 nbPropagations=12810 nbRevisions=212881
123.13/123.56 nbUselessRevisions=198638 nbRestartNogoods=62 solvingWckTime=121.008 solvingCpuTime=120.83 expiredTime=no
123.13/123.56 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=122.44 globalCpuTime=122.49
123.13/123.56 => wckTime=123.311 cpuTime=122.45 mem=24M781
123.13/123.56
123.13/123.56 s SATISFIABLE
123.13/123.56 v 0 4 0 2 2 0 0 4 0 0 0 0 0 1 2 2 0 0 1 4 0 3 1 1 1 3 0 0 1 2 0 0 2 2 0 0 1 2 2 3 3 1 1 2 0 0 0 1 0 0 0 0 2 0 0 0 0 1 1 0 2 3 3 0 0 0 2 0 0 3 4 2 3 0 0 4 1 2 1 0 1 1 0 1 0 2 0 0 0 0 0 0 1 4 0 1 0 0 0 4 2 3 4 0 0 0 2 1 2 0 0 1 0 0 2 0 0 4 4 0 0 0 4 3 3 2 0 0 2 3 2 0 2 0 1 3 4 0 3 2 4 2 0 3 0 2 1 0 3 4 4 2 0 0 2 0 2 1 0 0 0 0 4 0 0 0 3 0
123.13/123.56 d NODES 1435
123.13/123.56 d CHECKS 55022983
123.13/123.56
123.13/123.56 totalWckTime=123.379 totalCpuTime=122.49
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094213-1247403005/watcher-2094213-1247403005 -o /tmp/evaluation-result-2094213-1247403005/solver-2094213-1247403005 -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-2094213-1247403005.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: 1.86 1.95 1.68 4/80 32630
/proc/meminfo: memFree=1801448/2055920 swapFree=4192812/4192956
[pid=32630] ppid=32628 vsize=18576 CPUtime=0
/proc/32630/stat : 32630 (runsolver) R 32628 32630 32214 0 -1 4194368 16 0 0 0 0 0 0 0 23 0 1 0 27367113 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 217871609127 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/32630/statm: 4644 284 249 26 0 2626 0
[startup+0.0507371 s]
/proc/loadavg: 1.86 1.95 1.68 4/80 32630
/proc/meminfo: memFree=1801448/2055920 swapFree=4192812/4192956
[pid=32630] ppid=32628 vsize=862776 CPUtime=0.04
/proc/32630/stat : 32630 (java) S 32628 32630 32214 0 -1 0 2419 0 1 0 2 2 0 0 18 0 7 0 27367113 883482624 1992 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32630/statm: 215694 1992 910 9 0 210609 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 862776
[startup+0.153351 s]
/proc/loadavg: 1.86 1.95 1.68 4/80 32630
/proc/meminfo: memFree=1801448/2055920 swapFree=4192812/4192956
[pid=32630] ppid=32628 vsize=865984 CPUtime=0.14
/proc/32630/stat : 32630 (java) S 32628 32630 32214 0 -1 0 4260 0 1 0 11 3 0 0 18 0 9 0 27367113 886767616 3686 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32630/statm: 216496 3686 1833 9 0 210981 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 865984
[startup+0.301926 s]
/proc/loadavg: 1.86 1.95 1.68 4/80 32630
/proc/meminfo: memFree=1801448/2055920 swapFree=4192812/4192956
[pid=32630] ppid=32628 vsize=866384 CPUtime=0.3
/proc/32630/stat : 32630 (java) S 32628 32630 32214 0 -1 0 5988 0 1 0 26 4 0 0 18 0 9 0 27367113 887177216 5354 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32630/statm: 216596 5354 1984 9 0 211054 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 866384
[startup+0.705603 s]
/proc/loadavg: 1.86 1.95 1.68 4/80 32630
/proc/meminfo: memFree=1801448/2055920 swapFree=4192812/4192956
[pid=32630] ppid=32628 vsize=867184 CPUtime=0.7
/proc/32630/stat : 32630 (java) S 32628 32630 32214 0 -1 0 10471 0 1 0 64 6 0 0 18 0 9 0 27367113 887996416 9825 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32630/statm: 216796 10719 2036 9 0 211232 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 867184
[startup+1.50288 s]
/proc/loadavg: 1.86 1.95 1.68 4/89 32639
/proc/meminfo: memFree=1762784/2055920 swapFree=4192812/4192956
[pid=32630] ppid=32628 vsize=867184 CPUtime=1.25
/proc/32630/stat : 32630 (java) S 32628 32630 32214 0 -1 0 14945 0 1 0 108 17 0 0 18 0 9 0 27367113 887996416 14298 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32630/statm: 216796 14299 2037 9 0 211232 0
[pid=32630/tid=32632] ppid=32628 vsize=867184 CPUtime=0.91
/proc/32630/task/32632/stat : 32632 (java) R 32628 32630 32214 0 -1 64 13728 0 1 0 83 8 0 0 24 0 9 0 27367115 887996416 14299 996147200 134512640 134550932 4294955968 18446744073709551615 103822515 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32633] ppid=32628 vsize=867184 CPUtime=0.07
/proc/32630/task/32633/stat : 32633 (java) S 32628 32630 32214 0 -1 64 3 0 0 0 6 1 0 0 18 0 9 0 27367116 887996416 14300 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32634] ppid=32628 vsize=867184 CPUtime=0
/proc/32630/task/32634/stat : 32634 (java) S 32628 32630 32214 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 27367116 887996416 14300 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32635] ppid=32628 vsize=867184 CPUtime=0
/proc/32630/task/32635/stat : 32635 (java) S 32628 32630 32214 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 27367116 887996416 14301 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32636] ppid=32628 vsize=867184 CPUtime=0
/proc/32630/task/32636/stat : 32636 (java) S 32628 32630 32214 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27367118 887996416 14302 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32637] ppid=32628 vsize=867184 CPUtime=0.15
/proc/32630/task/32637/stat : 32637 (java) S 32628 32630 32214 0 -1 64 520 0 0 0 15 0 0 0 15 0 9 0 27367118 887996416 14303 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32638] ppid=32628 vsize=867184 CPUtime=0
/proc/32630/task/32638/stat : 32638 (java) S 32628 32630 32214 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27367118 887996416 14303 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32639] ppid=32628 vsize=867184 CPUtime=0.07
/proc/32630/task/32639/stat : 32639 (java) S 32628 32630 32214 0 -1 64 0 0 0 0 2 5 0 0 15 0 9 0 27367118 887996416 14304 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 867184
[startup+3.10207 s]
/proc/loadavg: 1.86 1.95 1.68 3/89 32639
/proc/meminfo: memFree=1742176/2055920 swapFree=4192812/4192956
[pid=32630] ppid=32628 vsize=867956 CPUtime=2.84
/proc/32630/stat : 32630 (java) S 32628 32630 32214 0 -1 0 26702 302 1 0 262 21 0 1 18 0 9 0 27367113 888786944 18017 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32630/statm: 216989 18017 2662 9 0 211425 0
[pid=32630/tid=32632] ppid=32628 vsize=867956 CPUtime=2.35
/proc/32630/task/32632/stat : 32632 (java) R 32628 32630 32214 0 -1 64 22129 302 1 0 223 11 0 1 25 0 9 0 27367115 888786944 18017 996147200 134512640 134550932 4294955968 18446744073709551615 4126738459 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32633] ppid=32628 vsize=867956 CPUtime=0.16
/proc/32630/task/32633/stat : 32633 (java) S 32628 32630 32214 0 -1 64 3010 302 0 0 13 2 0 1 16 0 9 0 27367116 888786944 18017 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32634] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32634/stat : 32634 (java) S 32628 32630 32214 0 -1 64 20 302 0 0 0 0 0 1 16 0 9 0 27367116 888786944 18017 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32635] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32635/stat : 32635 (java) S 32628 32630 32214 0 -1 64 9 302 0 0 0 0 0 1 15 0 9 0 27367116 888786944 18017 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32636] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32636/stat : 32636 (java) S 32628 32630 32214 0 -1 64 2 302 0 0 0 0 0 1 18 0 9 0 27367118 888786944 18017 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32637] ppid=32628 vsize=867956 CPUtime=0.23
/proc/32630/task/32637/stat : 32637 (java) S 32628 32630 32214 0 -1 64 718 302 0 0 22 0 0 1 15 0 9 0 27367118 888786944 18017 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32638] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32638/stat : 32638 (java) S 32628 32630 32214 0 -1 64 0 302 0 0 0 0 0 1 19 0 9 0 27367118 888786944 18017 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32639] ppid=32628 vsize=867956 CPUtime=0.08
/proc/32630/task/32639/stat : 32639 (java) S 32628 32630 32214 0 -1 64 4 302 0 0 2 5 0 1 15 0 9 0 27367118 888786944 18017 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 867956
[startup+6.30145 s]
/proc/loadavg: 1.87 1.95 1.69 3/89 32643
/proc/meminfo: memFree=1738144/2055920 swapFree=4192812/4192956
[pid=32630] ppid=32628 vsize=867956 CPUtime=6.01
/proc/32630/stat : 32630 (java) S 32628 32630 32214 0 -1 0 26721 302 1 0 578 22 0 1 18 0 9 0 27367113 888786944 18019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32630/statm: 216989 18019 2662 9 0 211425 0
[pid=32630/tid=32632] ppid=32628 vsize=867956 CPUtime=5.5
/proc/32630/task/32632/stat : 32632 (java) R 32628 32630 32214 0 -1 64 22132 302 1 0 538 11 0 1 25 0 9 0 27367115 888786944 18019 996147200 134512640 134550932 4294955968 18446744073709551615 4126730848 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32633] ppid=32628 vsize=867956 CPUtime=0.16
/proc/32630/task/32633/stat : 32633 (java) S 32628 32630 32214 0 -1 64 3010 302 0 0 13 2 0 1 16 0 9 0 27367116 888786944 18019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32634] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32634/stat : 32634 (java) S 32628 32630 32214 0 -1 64 20 302 0 0 0 0 0 1 16 0 9 0 27367116 888786944 18019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32635] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32635/stat : 32635 (java) S 32628 32630 32214 0 -1 64 9 302 0 0 0 0 0 1 15 0 9 0 27367116 888786944 18019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32636] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32636/stat : 32636 (java) S 32628 32630 32214 0 -1 64 2 302 0 0 0 0 0 1 18 0 9 0 27367118 888786944 18019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32637] ppid=32628 vsize=867956 CPUtime=0.23
/proc/32630/task/32637/stat : 32637 (java) S 32628 32630 32214 0 -1 64 720 302 0 0 22 0 0 1 16 0 9 0 27367118 888786944 18019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32638] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32638/stat : 32638 (java) S 32628 32630 32214 0 -1 64 0 302 0 0 0 0 0 1 19 0 9 0 27367118 888786944 18019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32639] ppid=32628 vsize=867956 CPUtime=0.1
/proc/32630/task/32639/stat : 32639 (java) S 32628 32630 32214 0 -1 64 18 302 0 0 3 6 0 1 15 0 9 0 27367118 888786944 18019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 867956
[startup+12.7012 s]
/proc/loadavg: 1.88 1.95 1.69 3/89 32643
/proc/meminfo: memFree=1738016/2055920 swapFree=4192812/4192956
[pid=32630] ppid=32628 vsize=867956 CPUtime=12.4
/proc/32630/stat : 32630 (java) S 32628 32630 32214 0 -1 0 26724 302 1 0 1217 22 0 1 18 0 9 0 27367113 888786944 18021 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32630/statm: 216989 18021 2662 9 0 211425 0
[pid=32630/tid=32632] ppid=32628 vsize=867956 CPUtime=11.9
/proc/32630/task/32632/stat : 32632 (java) R 32628 32630 32214 0 -1 64 22133 302 1 0 1177 12 0 1 25 0 9 0 27367115 888786944 18021 996147200 134512640 134550932 4294955968 18446744073709551615 4126737793 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32633] ppid=32628 vsize=867956 CPUtime=0.16
/proc/32630/task/32633/stat : 32633 (java) S 32628 32630 32214 0 -1 64 3010 302 0 0 13 2 0 1 17 0 9 0 27367116 888786944 18021 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32634] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32634/stat : 32634 (java) S 32628 32630 32214 0 -1 64 20 302 0 0 0 0 0 1 16 0 9 0 27367116 888786944 18021 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32635] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32635/stat : 32635 (java) S 32628 32630 32214 0 -1 64 9 302 0 0 0 0 0 1 15 0 9 0 27367116 888786944 18021 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32636] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32636/stat : 32636 (java) S 32628 32630 32214 0 -1 64 2 302 0 0 0 0 0 1 18 0 9 0 27367118 888786944 18021 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32637] ppid=32628 vsize=867956 CPUtime=0.23
/proc/32630/task/32637/stat : 32637 (java) S 32628 32630 32214 0 -1 64 722 302 0 0 22 0 0 1 17 0 9 0 27367118 888786944 18021 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32638] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32638/stat : 32638 (java) S 32628 32630 32214 0 -1 64 0 302 0 0 0 0 0 1 19 0 9 0 27367118 888786944 18021 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32639] ppid=32628 vsize=867956 CPUtime=0.1
/proc/32630/task/32639/stat : 32639 (java) S 32628 32630 32214 0 -1 64 18 302 0 0 3 6 0 1 15 0 9 0 27367118 888786944 18021 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 867956
[startup+25.5027 s]
/proc/loadavg: 1.90 1.96 1.69 3/89 32643
/proc/meminfo: memFree=1737952/2055920 swapFree=4192812/4192956
[pid=32630] ppid=32628 vsize=867956 CPUtime=25.18
/proc/32630/stat : 32630 (java) S 32628 32630 32214 0 -1 0 26767 302 1 0 2494 23 0 1 18 0 9 0 27367113 888786944 18029 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32630/statm: 216989 18029 2662 9 0 211425 0
[pid=32630/tid=32632] ppid=32628 vsize=867956 CPUtime=24.66
/proc/32630/task/32632/stat : 32632 (java) R 32628 32630 32214 0 -1 64 22136 302 1 0 2453 12 0 1 25 0 9 0 27367115 888786944 18029 996147200 134512640 134550932 4294955968 18446744073709551615 4126737072 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32633] ppid=32628 vsize=867956 CPUtime=0.16
/proc/32630/task/32633/stat : 32633 (java) S 32628 32630 32214 0 -1 64 3010 302 0 0 13 2 0 1 17 0 9 0 27367116 888786944 18029 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32634] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32634/stat : 32634 (java) S 32628 32630 32214 0 -1 64 20 302 0 0 0 0 0 1 16 0 9 0 27367116 888786944 18029 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32635] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32635/stat : 32635 (java) S 32628 32630 32214 0 -1 64 9 302 0 0 0 0 0 1 15 0 9 0 27367116 888786944 18029 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32636] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32636/stat : 32636 (java) S 32628 32630 32214 0 -1 64 2 302 0 0 0 0 0 1 18 0 9 0 27367118 888786944 18029 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32637] ppid=32628 vsize=867956 CPUtime=0.25
/proc/32630/task/32637/stat : 32637 (java) S 32628 32630 32214 0 -1 64 762 302 0 0 24 0 0 1 16 0 9 0 27367118 888786944 18029 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32638] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32638/stat : 32638 (java) S 32628 32630 32214 0 -1 64 0 302 0 0 0 0 0 1 19 0 9 0 27367118 888786944 18029 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32639] ppid=32628 vsize=867956 CPUtime=0.1
/proc/32630/task/32639/stat : 32639 (java) S 32628 32630 32214 0 -1 64 18 302 0 0 3 6 0 1 15 0 9 0 27367118 888786944 18029 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 867956
[startup+51.1028 s]
/proc/loadavg: 1.94 1.96 1.70 3/89 32643
/proc/meminfo: memFree=1737952/2055920 swapFree=4192812/4192956
[pid=32630] ppid=32628 vsize=867956 CPUtime=50.77
/proc/32630/stat : 32630 (java) S 32628 32630 32214 0 -1 0 26780 302 1 0 5053 23 0 1 18 0 9 0 27367113 888786944 18033 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32630/statm: 216989 18033 2662 9 0 211425 0
[pid=32630/tid=32632] ppid=32628 vsize=867956 CPUtime=50.24
/proc/32630/task/32632/stat : 32632 (java) R 32628 32630 32214 0 -1 64 22143 302 1 0 5011 12 0 1 25 0 9 0 27367115 888786944 18033 996147200 134512640 134550932 4294955968 18446744073709551615 4126737720 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32633] ppid=32628 vsize=867956 CPUtime=0.16
/proc/32630/task/32633/stat : 32633 (java) S 32628 32630 32214 0 -1 64 3010 302 0 0 13 2 0 1 16 0 9 0 27367116 888786944 18033 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32634] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32634/stat : 32634 (java) S 32628 32630 32214 0 -1 64 20 302 0 0 0 0 0 1 16 0 9 0 27367116 888786944 18033 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32635] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32635/stat : 32635 (java) S 32628 32630 32214 0 -1 64 9 302 0 0 0 0 0 1 15 0 9 0 27367116 888786944 18033 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32636] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32636/stat : 32636 (java) S 32628 32630 32214 0 -1 64 2 302 0 0 0 0 0 1 18 0 9 0 27367118 888786944 18033 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32637] ppid=32628 vsize=867956 CPUtime=0.26
/proc/32630/task/32637/stat : 32637 (java) S 32628 32630 32214 0 -1 64 768 302 0 0 25 0 0 1 15 0 9 0 27367118 888786944 18033 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32638] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32638/stat : 32638 (java) S 32628 32630 32214 0 -1 64 0 302 0 0 0 0 0 1 19 0 9 0 27367118 888786944 18033 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/32630/stat : 32630 (java) S 32628 32630 32214 0 -1 0 26820 302 1 0 11460 23 0 1 18 0 9 0 27367113 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32630/statm: 216989 18041 2662 9 0 211425 0
[pid=32630/tid=32632] ppid=32628 vsize=867956 CPUtime=114.29
/proc/32630/task/32632/stat : 32632 (java) R 32628 32630 32214 0 -1 64 22170 302 1 0 11416 12 0 1 25 0 9 0 27367115 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4126730848 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32633] ppid=32628 vsize=867956 CPUtime=0.16
/proc/32630/task/32633/stat : 32633 (java) S 32628 32630 32214 0 -1 64 3010 302 0 0 13 2 0 1 16 0 9 0 27367116 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32634] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32634/stat : 32634 (java) S 32628 32630 32214 0 -1 64 20 302 0 0 0 0 0 1 16 0 9 0 27367116 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32635] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32635/stat : 32635 (java) S 32628 32630 32214 0 -1 64 9 302 0 0 0 0 0 1 15 0 9 0 27367116 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32636] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32636/stat : 32636 (java) S 32628 32630 32214 0 -1 64 2 302 0 0 0 0 0 1 18 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32637] ppid=32628 vsize=867956 CPUtime=0.27
/proc/32630/task/32637/stat : 32637 (java) S 32628 32630 32214 0 -1 64 781 302 0 0 26 0 0 1 16 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32638] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32638/stat : 32638 (java) S 32628 32630 32214 0 -1 64 0 302 0 0 0 0 0 1 19 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32639] ppid=32628 vsize=867956 CPUtime=0.1
/proc/32630/task/32639/stat : 32639 (java) S 32628 32630 32214 0 -1 64 18 302 0 0 3 6 0 1 15 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 114.84
Current children cumulated vsize (KiB) 867956
[startup+118.402 s]
/proc/loadavg: 1.98 1.97 1.72 3/89 32645
/proc/meminfo: memFree=1737632/2055920 swapFree=4192812/4192956
[pid=32630] ppid=32628 vsize=867956 CPUtime=118.04
/proc/32630/stat : 32630 (java) S 32628 32630 32214 0 -1 0 26820 302 1 0 11780 23 0 1 18 0 9 0 27367113 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32630/statm: 216989 18041 2662 9 0 211425 0
[pid=32630/tid=32632] ppid=32628 vsize=867956 CPUtime=117.49
/proc/32630/task/32632/stat : 32632 (java) R 32628 32630 32214 0 -1 64 22170 302 1 0 11736 12 0 1 25 0 9 0 27367115 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4126732343 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32633] ppid=32628 vsize=867956 CPUtime=0.16
/proc/32630/task/32633/stat : 32633 (java) S 32628 32630 32214 0 -1 64 3010 302 0 0 13 2 0 1 16 0 9 0 27367116 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32634] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32634/stat : 32634 (java) S 32628 32630 32214 0 -1 64 20 302 0 0 0 0 0 1 16 0 9 0 27367116 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32635] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32635/stat : 32635 (java) S 32628 32630 32214 0 -1 64 9 302 0 0 0 0 0 1 15 0 9 0 27367116 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32636] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32636/stat : 32636 (java) S 32628 32630 32214 0 -1 64 2 302 0 0 0 0 0 1 18 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32637] ppid=32628 vsize=867956 CPUtime=0.27
/proc/32630/task/32637/stat : 32637 (java) S 32628 32630 32214 0 -1 64 781 302 0 0 26 0 0 1 16 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32638] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32638/stat : 32638 (java) S 32628 32630 32214 0 -1 64 0 302 0 0 0 0 0 1 19 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32639] ppid=32628 vsize=867956 CPUtime=0.1
/proc/32630/task/32639/stat : 32639 (java) S 32628 32630 32214 0 -1 64 18 302 0 0 3 6 0 1 15 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 118.04
Current children cumulated vsize (KiB) 867956
[startup+121.602 s]
/proc/loadavg: 1.98 1.97 1.72 3/89 32645
/proc/meminfo: memFree=1737632/2055920 swapFree=4192812/4192956
[pid=32630] ppid=32628 vsize=867956 CPUtime=121.23
/proc/32630/stat : 32630 (java) S 32628 32630 32214 0 -1 0 26820 302 1 0 12099 23 0 1 18 0 9 0 27367113 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32630/statm: 216989 18041 2662 9 0 211425 0
[pid=32630/tid=32632] ppid=32628 vsize=867956 CPUtime=120.69
/proc/32630/task/32632/stat : 32632 (java) R 32628 32630 32214 0 -1 64 22170 302 1 0 12056 12 0 1 25 0 9 0 27367115 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4126735450 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32633] ppid=32628 vsize=867956 CPUtime=0.16
/proc/32630/task/32633/stat : 32633 (java) S 32628 32630 32214 0 -1 64 3010 302 0 0 13 2 0 1 16 0 9 0 27367116 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32634] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32634/stat : 32634 (java) S 32628 32630 32214 0 -1 64 20 302 0 0 0 0 0 1 16 0 9 0 27367116 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32635] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32635/stat : 32635 (java) S 32628 32630 32214 0 -1 64 9 302 0 0 0 0 0 1 15 0 9 0 27367116 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32636] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32636/stat : 32636 (java) S 32628 32630 32214 0 -1 64 2 302 0 0 0 0 0 1 18 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32637] ppid=32628 vsize=867956 CPUtime=0.27
/proc/32630/task/32637/stat : 32637 (java) S 32628 32630 32214 0 -1 64 781 302 0 0 26 0 0 1 16 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32638] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32638/stat : 32638 (java) S 32628 32630 32214 0 -1 64 0 302 0 0 0 0 0 1 19 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32639] ppid=32628 vsize=867956 CPUtime=0.1
/proc/32630/task/32639/stat : 32639 (java) S 32628 32630 32214 0 -1 64 18 302 0 0 3 6 0 1 15 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 121.23
Current children cumulated vsize (KiB) 867956
[startup+122.402 s]
/proc/loadavg: 1.98 1.97 1.72 3/89 32645
/proc/meminfo: memFree=1737632/2055920 swapFree=4192812/4192956
[pid=32630] ppid=32628 vsize=867956 CPUtime=122.03
/proc/32630/stat : 32630 (java) S 32628 32630 32214 0 -1 0 26820 302 1 0 12179 23 0 1 18 0 9 0 27367113 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32630/statm: 216989 18041 2662 9 0 211425 0
[pid=32630/tid=32632] ppid=32628 vsize=867956 CPUtime=121.49
/proc/32630/task/32632/stat : 32632 (java) R 32628 32630 32214 0 -1 64 22170 302 1 0 12136 12 0 1 25 0 9 0 27367115 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4126735940 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32633] ppid=32628 vsize=867956 CPUtime=0.16
/proc/32630/task/32633/stat : 32633 (java) S 32628 32630 32214 0 -1 64 3010 302 0 0 13 2 0 1 16 0 9 0 27367116 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32634] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32634/stat : 32634 (java) S 32628 32630 32214 0 -1 64 20 302 0 0 0 0 0 1 16 0 9 0 27367116 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32635] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32635/stat : 32635 (java) S 32628 32630 32214 0 -1 64 9 302 0 0 0 0 0 1 15 0 9 0 27367116 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32636] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32636/stat : 32636 (java) S 32628 32630 32214 0 -1 64 2 302 0 0 0 0 0 1 18 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32637] ppid=32628 vsize=867956 CPUtime=0.27
/proc/32630/task/32637/stat : 32637 (java) S 32628 32630 32214 0 -1 64 781 302 0 0 26 0 0 1 17 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32638] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32638/stat : 32638 (java) S 32628 32630 32214 0 -1 64 0 302 0 0 0 0 0 1 19 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32639] ppid=32628 vsize=867956 CPUtime=0.1
/proc/32630/task/32639/stat : 32639 (java) S 32628 32630 32214 0 -1 64 18 302 0 0 3 6 0 1 15 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 122.03
Current children cumulated vsize (KiB) 867956
[startup+123.201 s]
/proc/loadavg: 1.98 1.97 1.72 3/89 32645
/proc/meminfo: memFree=1737632/2055920 swapFree=4192812/4192956
[pid=32630] ppid=32628 vsize=867956 CPUtime=122.84
/proc/32630/stat : 32630 (java) S 32628 32630 32214 0 -1 0 26820 302 1 0 12260 23 0 1 18 0 9 0 27367113 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32630/statm: 216989 18041 2662 9 0 211425 0
[pid=32630/tid=32632] ppid=32628 vsize=867956 CPUtime=122.29
/proc/32630/task/32632/stat : 32632 (java) R 32628 32630 32214 0 -1 64 22170 302 1 0 12216 12 0 1 25 0 9 0 27367115 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4126730848 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32633] ppid=32628 vsize=867956 CPUtime=0.16
/proc/32630/task/32633/stat : 32633 (java) S 32628 32630 32214 0 -1 64 3010 302 0 0 13 2 0 1 16 0 9 0 27367116 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32634] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32634/stat : 32634 (java) S 32628 32630 32214 0 -1 64 20 302 0 0 0 0 0 1 16 0 9 0 27367116 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32635] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32635/stat : 32635 (java) S 32628 32630 32214 0 -1 64 9 302 0 0 0 0 0 1 15 0 9 0 27367116 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32636] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32636/stat : 32636 (java) S 32628 32630 32214 0 -1 64 2 302 0 0 0 0 0 1 18 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32637] ppid=32628 vsize=867956 CPUtime=0.27
/proc/32630/task/32637/stat : 32637 (java) S 32628 32630 32214 0 -1 64 781 302 0 0 26 0 0 1 17 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32638] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32638/stat : 32638 (java) S 32628 32630 32214 0 -1 64 0 302 0 0 0 0 0 1 19 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32639] ppid=32628 vsize=867956 CPUtime=0.1
/proc/32630/task/32639/stat : 32639 (java) S 32628 32630 32214 0 -1 64 18 302 0 0 3 6 0 1 15 0 9 0 27367118 888786944 18041 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 122.84
Current children cumulated vsize (KiB) 867956
[startup+123.401 s]
/proc/loadavg: 1.98 1.97 1.72 3/89 32645
/proc/meminfo: memFree=1737632/2055920 swapFree=4192812/4192956
[pid=32630] ppid=32628 vsize=867956 CPUtime=123.03
/proc/32630/stat : 32630 (java) S 32628 32630 32214 0 -1 0 26821 302 1 0 12279 23 0 1 18 0 9 0 27367113 888786944 18042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32630/statm: 216989 18042 2662 9 0 211425 0
[pid=32630/tid=32632] ppid=32628 vsize=867956 CPUtime=122.49
/proc/32630/task/32632/stat : 32632 (java) R 32628 32630 32214 0 -1 64 22170 302 1 0 12236 12 0 1 25 0 9 0 27367115 888786944 18042 996147200 134512640 134550932 4294955968 18446744073709551615 4125977621 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32633] ppid=32628 vsize=867956 CPUtime=0.16
/proc/32630/task/32633/stat : 32633 (java) S 32628 32630 32214 0 -1 64 3010 302 0 0 13 2 0 1 16 0 9 0 27367116 888786944 18042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32634] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32634/stat : 32634 (java) S 32628 32630 32214 0 -1 64 20 302 0 0 0 0 0 1 16 0 9 0 27367116 888786944 18042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32635] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32635/stat : 32635 (java) S 32628 32630 32214 0 -1 64 9 302 0 0 0 0 0 1 15 0 9 0 27367116 888786944 18042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32636] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32636/stat : 32636 (java) S 32628 32630 32214 0 -1 64 2 302 0 0 0 0 0 1 18 0 9 0 27367118 888786944 18042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32637] ppid=32628 vsize=867956 CPUtime=0.27
/proc/32630/task/32637/stat : 32637 (java) S 32628 32630 32214 0 -1 64 782 302 0 0 26 0 0 1 16 0 9 0 27367118 888786944 18042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32638] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32638/stat : 32638 (java) S 32628 32630 32214 0 -1 64 0 302 0 0 0 0 0 1 19 0 9 0 27367118 888786944 18042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32639] ppid=32628 vsize=867956 CPUtime=0.1
/proc/32630/task/32639/stat : 32639 (java) S 32628 32630 32214 0 -1 64 18 302 0 0 3 6 0 1 15 0 9 0 27367118 888786944 18042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 123.03
Current children cumulated vsize (KiB) 867956
[startup+123.501 s]
/proc/loadavg: 1.98 1.97 1.72 3/89 32645
/proc/meminfo: memFree=1737632/2055920 swapFree=4192812/4192956
[pid=32630] ppid=32628 vsize=867956 CPUtime=123.13
/proc/32630/stat : 32630 (java) S 32628 32630 32214 0 -1 0 26821 302 1 0 12289 23 0 1 18 0 9 0 27367113 888786944 18042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32630/statm: 216989 18042 2662 9 0 211425 0
[pid=32630/tid=32632] ppid=32628 vsize=867956 CPUtime=122.59
/proc/32630/task/32632/stat : 32632 (java) R 32628 32630 32214 0 -1 64 22170 302 1 0 12246 12 0 1 25 0 9 0 27367115 888786944 18042 996147200 134512640 134550932 4294955968 18446744073709551615 4126737156 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32633] ppid=32628 vsize=867956 CPUtime=0.16
/proc/32630/task/32633/stat : 32633 (java) S 32628 32630 32214 0 -1 64 3010 302 0 0 13 2 0 1 16 0 9 0 27367116 888786944 18042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32634] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32634/stat : 32634 (java) S 32628 32630 32214 0 -1 64 20 302 0 0 0 0 0 1 16 0 9 0 27367116 888786944 18042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32635] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32635/stat : 32635 (java) S 32628 32630 32214 0 -1 64 9 302 0 0 0 0 0 1 15 0 9 0 27367116 888786944 18042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32636] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32636/stat : 32636 (java) S 32628 32630 32214 0 -1 64 2 302 0 0 0 0 0 1 18 0 9 0 27367118 888786944 18042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32637] ppid=32628 vsize=867956 CPUtime=0.27
/proc/32630/task/32637/stat : 32637 (java) S 32628 32630 32214 0 -1 64 782 302 0 0 26 0 0 1 16 0 9 0 27367118 888786944 18042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32638] ppid=32628 vsize=867956 CPUtime=0.01
/proc/32630/task/32638/stat : 32638 (java) S 32628 32630 32214 0 -1 64 0 302 0 0 0 0 0 1 19 0 9 0 27367118 888786944 18042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32630/tid=32639] ppid=32628 vsize=867956 CPUtime=0.1
/proc/32630/task/32639/stat : 32639 (java) S 32628 32630 32214 0 -1 64 18 302 0 0 3 6 0 1 15 0 9 0 27367118 888786944 18042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 123.13
Current children cumulated vsize (KiB) 867956
Child status: 0
Real time (s): 123.597
CPU time (s): 123.225
CPU user time (s): 122.969
CPU system time (s): 0.255961
CPU usage (%): 99.6995
Max. virtual memory (cumulated for all children) (KiB): 867956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 122.969
system time used= 0.255961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27248
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= 3901
involuntary context switches= 4120
runsolver used 0.146977 second user time and 0.358945 second system time
The end
Begin job on node28 at 2009-07-12 14:50:05
IDJOB=2094213
IDBENCH=54048
IDSOLVER=773
FILE ID=node28/2094213-1247403005
PBS_JOBID= 9510588
Free space on /tmp= 66116 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/radar-9-28-4-2/normalized-radar-9-28-4-2-35.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-2094213-1247403005/watcher-2094213-1247403005 -o /tmp/evaluation-result-2094213-1247403005/solver-2094213-1247403005 -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-2094213-1247403005.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ca337b36a8498cf01fd4cf3dae1c52ee
RANDOM SEED=745653980
node28.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.230
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.230
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: 1801928 kB
Buffers: 33260 kB
Cached: 113348 kB
SwapCached: 0 kB
Active: 135640 kB
Inactive: 63008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1801928 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4376 kB
Writeback: 0 kB
Mapped: 69372 kB
Slab: 40420 kB
Committed_AS: 1003280 kB
PageTables: 1896 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66116 MiB
End job on node28 at 2009-07-12 14:52:09