0.01/0.09
0.01/0.09 Abscon 112 (May, 2008)
0.18/0.23
0.18/0.23 configuration
0.18/0.24 name=esac.xml
0.28/0.31
0.28/0.32 instance
0.28/0.32 name=HOME/instance-1064810-1215144154.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.48/0.58 nbVariables=1190 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2 nbTotalValues=2312
0.48/0.58 => wckTime=0.344 cpuTime=0.24 mem=10M779
0.48/0.58
0.48/0.58 predicates being loaded...
0.58/0.65
0.58/0.65 constraints being loaded...
2.25/2.35 nbConstraints=3007 nbMergedConstraints=175 nbSingletonDomainVariables=68 nbConvertedConstraints=1999
2.25/2.35 nbConvertConstraintsChecks=44147 nbExtensionStructures=46 nbSharedExtensionStructures=1995
2.25/2.35 nbConflictsStructures=78 nbSharedConflictsStructures=2971 nbSharedBinaryRepresentations=119
2.25/2.35 nbEvaluationManagers=32 nbSharedEvaluationManagers=976 minDegree=1 maxDegree=185 minArity=2 avgArity=2.51
2.25/2.35 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.203 symmetryCpuTime=0.11
2.25/2.35 => wckTime=2.108 cpuTime=1.7 mem=35M578
2.35/2.46
2.35/2.46 solver IterativeSystematicSolver being built...
2.55/2.68 => wckTime=2.438 cpuTime=1.9 mem=36M567
3.35/3.42
3.35/3.42 preprocessing
3.35/3.42 nbConstraintChecks=30037 nbValidityChecks=22677 nbPropagations=6310 nbRevisions=32943 nbUselessRevisions=29934
3.35/3.42 nbSingletonTests=2151 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
3.35/3.42 detectedInconsistency=no
3.35/3.42 => wckTime=0.739 cpuTime=0.69 mem=36M567
98.59/99.19
98.59/99.19 search
98.59/99.19 run=11 nbConstraintChecks=12722850 nbValidityChecks=7456522 minDepth=0 maxDepth=145 nbPropagations=7908418
98.59/99.19 nbRevisions=53381595 nbUselessRevisions=45795914 nbAssignments=77610 nbFailedAssignments=2523
98.59/99.19 nbBacktracks=65834 nbVisitedNodes=91081 nbRestartNogoods=56 mapSize=13265 nbInferences=8073 nbTooLargeKeys=0
98.59/99.19 nbSEliminables=743.18 nbREliminables=400.09 nbIEliminables=4.33 nbDEliminables=0 nbPEliminables=0
98.59/99.19 => wckTime=96.511 cpuTime=95.9 mem=21M745
98.59/99.19
98.59/99.19 global
98.59/99.19 nbConstraintChecks=12752887 nbValidityChecks=7479199 nbPropagations=7914728 nbRevisions=53414538
98.59/99.19 nbUselessRevisions=45825848 nbRestartNogoods=56 solvingWckTime=96.513 solvingCpuTime=95.9 expiredTime=no
98.59/99.19 totalExploration=yes nbFoundSolutions=0 globalCpuTime=97.86
98.59/99.19 => wckTime=98.954 cpuTime=97.8 mem=21M745
98.59/99.19
98.59/99.19 s UNSATISFIABLE
98.59/99.19 d NODES 77610
98.59/99.19 d CHECKS 12752887
98.59/99.20
98.59/99.20 totalWckTime=99.011 totalCpuTime=97.86
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064810-1215144154/watcher-1064810-1215144154 -o /tmp/evaluation-result-1064810-1215144154/solver-1064810-1215144154 -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-1064810-1215144154.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.14 2.23 2.11 3/72 13562
/proc/meminfo: memFree=1409224/2055920 swapFree=4156332/4192956
[pid=13562] ppid=13560 vsize=10616 CPUtime=0
/proc/13562/stat : 13562 (java) S 13560 13562 11295 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 698381841 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 2654 472 209 9 0 1184 0
[pid=13562/tid=13563] ppid=13560 vsize=10616 CPUtime=0
/proc/13562/task/13563/stat : 13563 (java) R 13560 13562 11295 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 698381842 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 5717976 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0317129 s]
/proc/loadavg: 2.14 2.23 2.11 3/72 13562
/proc/meminfo: memFree=1409224/2055920 swapFree=4156332/4192956
[pid=13562] ppid=13560 vsize=861876 CPUtime=0.01
/proc/13562/stat : 13562 (java) S 13560 13562 11295 0 -1 0 1879 0 1 0 0 1 0 0 18 0 5 0 698381841 882561024 1566 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 215469 1566 695 9 0 210448 0
[pid=13562/tid=13563] ppid=13560 vsize=861876 CPUtime=0
/proc/13562/task/13563/stat : 13563 (java) S 13560 13562 11295 0 -1 64 1190 0 1 0 0 0 0 0 19 0 5 0 698381842 882561024 1566 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16784584 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861876
[startup+0.102613 s]
/proc/loadavg: 2.14 2.23 2.11 3/72 13562
/proc/meminfo: memFree=1409224/2055920 swapFree=4156332/4192956
[pid=13562] ppid=13560 vsize=865884 CPUtime=0.08
/proc/13562/stat : 13562 (java) S 13560 13562 11295 0 -1 0 3722 0 1 0 6 2 0 0 18 0 9 0 698381841 886665216 3185 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 216471 3185 1688 9 0 211026 0
[pid=13562/tid=13563] ppid=13560 vsize=865884 CPUtime=0.06
/proc/13562/task/13563/stat : 13563 (java) R 13560 13562 11295 0 -1 64 2821 0 1 0 5 1 0 0 18 0 9 0 698381842 886665216 3185 996147200 134512640 134550740 4294955968 18446744073709551615 4125957700 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301647 s]
/proc/loadavg: 2.14 2.23 2.11 3/72 13562
/proc/meminfo: memFree=1409224/2055920 swapFree=4156332/4192956
[pid=13562] ppid=13560 vsize=866196 CPUtime=0.28
/proc/13562/stat : 13562 (java) S 13560 13562 11295 0 -1 0 5620 0 1 0 24 4 0 0 18 0 9 0 698381841 886984704 5034 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 216549 5034 1903 9 0 211097 0
[pid=13562/tid=13563] ppid=13560 vsize=866196 CPUtime=0.23
/proc/13562/task/13563/stat : 13563 (java) R 13560 13562 11295 0 -1 64 4654 0 1 0 20 3 0 0 19 0 9 0 698381842 886984704 5034 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701715 s]
/proc/loadavg: 2.14 2.23 2.11 3/72 13562
/proc/meminfo: memFree=1409224/2055920 swapFree=4156332/4192956
[pid=13562] ppid=13560 vsize=867420 CPUtime=0.68
/proc/13562/stat : 13562 (java) S 13560 13562 11295 0 -1 0 8249 0 1 0 62 6 0 0 18 0 9 0 698381841 888238080 7609 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 216855 7609 2010 9 0 211361 0
[pid=13562/tid=13563] ppid=13560 vsize=867420 CPUtime=0.52
/proc/13562/task/13563/stat : 13563 (java) R 13560 13562 11295 0 -1 64 6982 0 1 0 48 4 0 0 19 0 9 0 698381842 888238080 7609 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867420
[startup+1.50285 s]
/proc/loadavg: 2.13 2.23 2.10 3/81 13571
/proc/meminfo: memFree=1374784/2055920 swapFree=4156332/4192956
[pid=13562] ppid=13560 vsize=867716 CPUtime=1.47
/proc/13562/stat : 13562 (java) S 13560 13562 11295 0 -1 0 14889 0 1 0 125 22 0 0 18 0 9 0 698381841 888541184 14246 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 216929 14246 2015 9 0 211435 0
[pid=13562/tid=13563] ppid=13560 vsize=867716 CPUtime=1.22
/proc/13562/task/13563/stat : 13563 (java) R 13560 13562 11295 0 -1 64 13472 0 1 0 102 20 0 0 25 0 9 0 698381842 888541184 14246 996147200 134512640 134550740 4294955968 18446744073709551615 103813575 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13565] ppid=13560 vsize=867716 CPUtime=0
/proc/13562/task/13565/stat : 13565 (java) S 13560 13562 11295 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 698381844 888541184 14246 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13566] ppid=13560 vsize=867716 CPUtime=0
/proc/13562/task/13566/stat : 13566 (java) S 13560 13562 11295 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 698381844 888541184 14246 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13567] ppid=13560 vsize=867716 CPUtime=0
/proc/13562/task/13567/stat : 13567 (java) S 13560 13562 11295 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 698381844 888541184 14246 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13568] ppid=13560 vsize=867716 CPUtime=0
/proc/13562/task/13568/stat : 13568 (java) S 13560 13562 11295 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 698381846 888541184 14246 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13569] ppid=13560 vsize=867716 CPUtime=0.22
/proc/13562/task/13569/stat : 13569 (java) S 13560 13562 11295 0 -1 64 720 0 0 0 22 0 0 0 16 0 9 0 698381846 888541184 14246 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13570] ppid=13560 vsize=867716 CPUtime=0
/proc/13562/task/13570/stat : 13570 (java) S 13560 13562 11295 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 698381846 888541184 14246 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13571] ppid=13560 vsize=867716 CPUtime=0
/proc/13562/task/13571/stat : 13571 (java) S 13560 13562 11295 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 698381846 888541184 14246 996147200 134512640 134550740 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) 867716
[startup+3.10112 s]
/proc/loadavg: 2.13 2.23 2.10 3/81 13571
/proc/meminfo: memFree=1345856/2055920 swapFree=4156332/4192956
[pid=13562] ppid=13560 vsize=868040 CPUtime=3.06
/proc/13562/stat : 13562 (java) S 13560 13562 11295 0 -1 0 31178 481 1 0 273 27 5 1 18 0 9 0 698381841 888872960 20031 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 217010 20031 2637 9 0 211516 0
[pid=13562/tid=13563] ppid=13560 vsize=868040 CPUtime=2.55
/proc/13562/task/13563/stat : 13563 (java) R 13560 13562 11295 0 -1 64 23897 481 1 0 226 23 5 1 22 0 9 0 698381842 888872960 20031 996147200 134512640 134550740 4294955968 18446744073709551615 4127252791 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13565] ppid=13560 vsize=868040 CPUtime=0.2
/proc/13562/task/13565/stat : 13565 (java) S 13560 13562 11295 0 -1 64 5502 481 0 0 13 1 5 1 16 0 9 0 698381844 888872960 20031 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13566] ppid=13560 vsize=868040 CPUtime=0.06
/proc/13562/task/13566/stat : 13566 (java) S 13560 13562 11295 0 -1 64 17 481 0 0 0 0 5 1 15 0 9 0 698381844 888872960 20031 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13567] ppid=13560 vsize=868040 CPUtime=0.06
/proc/13562/task/13567/stat : 13567 (java) S 13560 13562 11295 0 -1 64 8 481 0 0 0 0 5 1 15 0 9 0 698381844 888872960 20031 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13568] ppid=13560 vsize=868040 CPUtime=0.06
/proc/13562/task/13568/stat : 13568 (java) S 13560 13562 11295 0 -1 64 0 481 0 0 0 0 5 1 18 0 9 0 698381846 888872960 20031 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13569] ppid=13560 vsize=868040 CPUtime=0.39
/proc/13562/task/13569/stat : 13569 (java) S 13560 13562 11295 0 -1 64 943 481 0 0 33 0 5 1 16 0 9 0 698381846 888872960 20031 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13570] ppid=13560 vsize=868040 CPUtime=0.06
/proc/13562/task/13570/stat : 13570 (java) S 13560 13562 11295 0 -1 64 2 481 0 0 0 0 5 1 19 0 9 0 698381846 888872960 20031 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13571] ppid=13560 vsize=868040 CPUtime=0.06
/proc/13562/task/13571/stat : 13571 (java) S 13560 13562 11295 0 -1 64 10 481 0 0 0 0 5 1 15 0 9 0 698381846 888872960 20031 996147200 134512640 134550740 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) 868040
[startup+6.30266 s]
/proc/loadavg: 2.13 2.23 2.10 3/81 13575
/proc/meminfo: memFree=1338816/2055920 swapFree=4156332/4192956
[pid=13562] ppid=13560 vsize=868172 CPUtime=6.25
/proc/13562/stat : 13562 (java) S 13560 13562 11295 0 -1 0 31700 481 1 0 591 28 5 1 18 0 9 0 698381841 889008128 20062 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 217043 20062 2637 9 0 211549 0
[pid=13562/tid=13563] ppid=13560 vsize=868172 CPUtime=5.69
/proc/13562/task/13563/stat : 13563 (java) R 13560 13562 11295 0 -1 64 24324 481 1 0 539 24 5 1 25 0 9 0 698381842 889008128 20062 996147200 134512640 134550740 4294955968 18446744073709551615 4127215852 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13565] ppid=13560 vsize=868172 CPUtime=0.2
/proc/13562/task/13565/stat : 13565 (java) S 13560 13562 11295 0 -1 64 5502 481 0 0 13 1 5 1 17 0 9 0 698381844 889008128 20062 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13566] ppid=13560 vsize=868172 CPUtime=0.06
/proc/13562/task/13566/stat : 13566 (java) S 13560 13562 11295 0 -1 64 17 481 0 0 0 0 5 1 15 0 9 0 698381844 889008128 20062 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13567] ppid=13560 vsize=868172 CPUtime=0.06
/proc/13562/task/13567/stat : 13567 (java) S 13560 13562 11295 0 -1 64 8 481 0 0 0 0 5 1 15 0 9 0 698381844 889008128 20062 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13568] ppid=13560 vsize=868172 CPUtime=0.06
/proc/13562/task/13568/stat : 13568 (java) S 13560 13562 11295 0 -1 64 0 481 0 0 0 0 5 1 18 0 9 0 698381846 889008128 20062 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13569] ppid=13560 vsize=868172 CPUtime=0.45
/proc/13562/task/13569/stat : 13569 (java) S 13560 13562 11295 0 -1 64 1008 481 0 0 38 1 5 1 15 0 9 0 698381846 889008128 20062 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13570] ppid=13560 vsize=868172 CPUtime=0.06
/proc/13562/task/13570/stat : 13570 (java) S 13560 13562 11295 0 -1 64 2 481 0 0 0 0 5 1 19 0 9 0 698381846 889008128 20062 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13571] ppid=13560 vsize=868172 CPUtime=0.06
/proc/13562/task/13571/stat : 13571 (java) S 13560 13562 11295 0 -1 64 40 481 0 0 0 0 5 1 15 0 9 0 698381846 889008128 20062 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 868172
[startup+12.7017 s]
/proc/loadavg: 2.11 2.22 2.10 3/81 13575
/proc/meminfo: memFree=1338560/2055920 swapFree=4156332/4192956
[pid=13562] ppid=13560 vsize=868172 CPUtime=12.61
/proc/13562/stat : 13562 (java) S 13560 13562 11295 0 -1 0 32092 481 1 0 1227 28 5 1 18 0 9 0 698381841 889008128 20065 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 217043 20065 2637 9 0 211549 0
[pid=13562/tid=13563] ppid=13560 vsize=868172 CPUtime=12.05
/proc/13562/task/13563/stat : 13563 (java) R 13560 13562 11295 0 -1 64 24713 481 1 0 1175 24 5 1 25 0 9 0 698381842 889008128 20065 996147200 134512640 134550740 4294955968 18446744073709551615 4127243256 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13565] ppid=13560 vsize=868172 CPUtime=0.2
/proc/13562/task/13565/stat : 13565 (java) S 13560 13562 11295 0 -1 64 5502 481 0 0 13 1 5 1 16 0 9 0 698381844 889008128 20065 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13566] ppid=13560 vsize=868172 CPUtime=0.06
/proc/13562/task/13566/stat : 13566 (java) S 13560 13562 11295 0 -1 64 17 481 0 0 0 0 5 1 15 0 9 0 698381844 889008128 20065 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13567] ppid=13560 vsize=868172 CPUtime=0.06
/proc/13562/task/13567/stat : 13567 (java) S 13560 13562 11295 0 -1 64 8 481 0 0 0 0 5 1 15 0 9 0 698381844 889008128 20065 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13568] ppid=13560 vsize=868172 CPUtime=0.06
/proc/13562/task/13568/stat : 13568 (java) S 13560 13562 11295 0 -1 64 0 481 0 0 0 0 5 1 18 0 9 0 698381846 889008128 20065 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13569] ppid=13560 vsize=868172 CPUtime=0.45
/proc/13562/task/13569/stat : 13569 (java) S 13560 13562 11295 0 -1 64 1011 481 0 0 38 1 5 1 16 0 9 0 698381846 889008128 20065 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13570] ppid=13560 vsize=868172 CPUtime=0.06
/proc/13562/task/13570/stat : 13570 (java) S 13560 13562 11295 0 -1 64 2 481 0 0 0 0 5 1 19 0 9 0 698381846 889008128 20065 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13571] ppid=13560 vsize=868172 CPUtime=0.06
/proc/13562/task/13571/stat : 13571 (java) S 13560 13562 11295 0 -1 64 40 481 0 0 0 0 5 1 15 0 9 0 698381846 889008128 20065 996147200 134512640 134550740 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) 868172
[startup+25.5029 s]
/proc/loadavg: 2.09 2.21 2.10 3/81 13575
/proc/meminfo: memFree=1338624/2055920 swapFree=4156332/4192956
[pid=13562] ppid=13560 vsize=868172 CPUtime=25.35
/proc/13562/stat : 13562 (java) S 13560 13562 11295 0 -1 0 32804 481 1 0 2501 28 5 1 18 0 9 0 698381841 889008128 20068 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 217043 20068 2637 9 0 211549 0
[pid=13562/tid=13563] ppid=13560 vsize=868172 CPUtime=24.78
/proc/13562/task/13563/stat : 13563 (java) R 13560 13562 11295 0 -1 64 25421 481 1 0 2448 24 5 1 25 0 9 0 698381842 889008128 20068 996147200 134512640 134550740 4294955968 18446744073709551615 4127216673 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13565] ppid=13560 vsize=868172 CPUtime=0.2
/proc/13562/task/13565/stat : 13565 (java) S 13560 13562 11295 0 -1 64 5502 481 0 0 13 1 5 1 16 0 9 0 698381844 889008128 20068 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13566] ppid=13560 vsize=868172 CPUtime=0.06
/proc/13562/task/13566/stat : 13566 (java) S 13560 13562 11295 0 -1 64 17 481 0 0 0 0 5 1 15 0 9 0 698381844 889008128 20068 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13567] ppid=13560 vsize=868172 CPUtime=0.06
/proc/13562/task/13567/stat : 13567 (java) S 13560 13562 11295 0 -1 64 8 481 0 0 0 0 5 1 15 0 9 0 698381844 889008128 20068 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13568] ppid=13560 vsize=868172 CPUtime=0.06
/proc/13562/task/13568/stat : 13568 (java) S 13560 13562 11295 0 -1 64 0 481 0 0 0 0 5 1 18 0 9 0 698381846 889008128 20068 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13569] ppid=13560 vsize=868172 CPUtime=0.46
/proc/13562/task/13569/stat : 13569 (java) S 13560 13562 11295 0 -1 64 1015 481 0 0 39 1 5 1 16 0 9 0 698381846 889008128 20068 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13570] ppid=13560 vsize=868172 CPUtime=0.06
/proc/13562/task/13570/stat : 13570 (java) S 13560 13562 11295 0 -1 64 2 481 0 0 0 0 5 1 19 0 9 0 698381846 889008128 20068 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13571] ppid=13560 vsize=868172 CPUtime=0.06
/proc/13562/task/13571/stat : 13571 (java) R 13560 13562 11295 0 -1 64 40 481 0 0 0 0 5 1 15 0 9 0 698381846 889008128 20068 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 868172
[startup+51.1022 s]
/proc/loadavg: 2.06 2.19 2.10 3/81 13575
/proc/meminfo: memFree=1338624/2055920 swapFree=4156332/4192956
[pid=13562] ppid=13560 vsize=868172 CPUtime=50.82
/proc/13562/stat : 13562 (java) S 13560 13562 11295 0 -1 0 34657 481 1 0 5047 29 5 1 18 0 9 0 698381841 889008128 20069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 217043 20069 2637 9 0 211549 0
[pid=13562/tid=13563] ppid=13560 vsize=868172 CPUtime=50.25
/proc/13562/task/13563/stat : 13563 (java) R 13560 13562 11295 0 -1 64 27273 481 1 0 4994 25 5 1 25 0 9 0 698381842 889008128 20069 996147200 134512640 134550740 4294955968 18446744073709551615 4127226924 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13565] ppid=13560 vsize=868172 CPUtime=0.2
################
# More data... #
################
/proc/13562/stat : 13562 (java) S 13560 13562 11295 0 -1 0 37339 481 1 0 8866 31 5 1 18 0 9 0 698381841 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 217021 21727 2615 9 0 211549 0
[pid=13562/tid=13563] ppid=13560 vsize=868084 CPUtime=88.42
/proc/13562/task/13563/stat : 13563 (java) R 13560 13562 11295 0 -1 64 28273 481 1 0 8810 26 5 1 25 0 9 0 698381842 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4127233845 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13565] ppid=13560 vsize=868084 CPUtime=0.22
/proc/13562/task/13565/stat : 13565 (java) S 13560 13562 11295 0 -1 64 7183 481 0 0 15 1 5 1 16 0 9 0 698381844 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13566] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13566/stat : 13566 (java) S 13560 13562 11295 0 -1 64 17 481 0 0 0 0 5 1 16 0 9 0 698381844 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13567] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13567/stat : 13567 (java) S 13560 13562 11295 0 -1 64 8 481 0 0 0 0 5 1 16 0 9 0 698381844 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13568] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13568/stat : 13568 (java) S 13560 13562 11295 0 -1 64 0 481 0 0 0 0 5 1 18 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13569] ppid=13560 vsize=868084 CPUtime=0.46
/proc/13562/task/13569/stat : 13569 (java) S 13560 13562 11295 0 -1 64 1017 481 0 0 39 1 5 1 16 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13570] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13570/stat : 13570 (java) S 13560 13562 11295 0 -1 64 2 481 0 0 0 0 5 1 19 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13571] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13571/stat : 13571 (java) S 13560 13562 11295 0 -1 64 40 481 0 0 0 0 5 1 15 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 89.03
Current children cumulated vsize (KiB) 868084
[startup+95.9017 s]
/proc/loadavg: 2.03 2.16 2.09 3/81 13575
/proc/meminfo: memFree=1331712/2055920 swapFree=4156332/4192956
[pid=13562] ppid=13560 vsize=868084 CPUtime=95.4
/proc/13562/stat : 13562 (java) S 13560 13562 11295 0 -1 0 37339 481 1 0 9503 31 5 1 18 0 9 0 698381841 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 217021 21727 2615 9 0 211549 0
[pid=13562/tid=13563] ppid=13560 vsize=868084 CPUtime=94.79
/proc/13562/task/13563/stat : 13563 (java) R 13560 13562 11295 0 -1 64 28273 481 1 0 9447 26 5 1 25 0 9 0 698381842 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4127224128 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13565] ppid=13560 vsize=868084 CPUtime=0.22
/proc/13562/task/13565/stat : 13565 (java) S 13560 13562 11295 0 -1 64 7183 481 0 0 15 1 5 1 16 0 9 0 698381844 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13566] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13566/stat : 13566 (java) S 13560 13562 11295 0 -1 64 17 481 0 0 0 0 5 1 16 0 9 0 698381844 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13567] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13567/stat : 13567 (java) S 13560 13562 11295 0 -1 64 8 481 0 0 0 0 5 1 16 0 9 0 698381844 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13568] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13568/stat : 13568 (java) S 13560 13562 11295 0 -1 64 0 481 0 0 0 0 5 1 18 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13569] ppid=13560 vsize=868084 CPUtime=0.46
/proc/13562/task/13569/stat : 13569 (java) S 13560 13562 11295 0 -1 64 1017 481 0 0 39 1 5 1 16 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13570] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13570/stat : 13570 (java) S 13560 13562 11295 0 -1 64 2 481 0 0 0 0 5 1 19 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13571] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13571/stat : 13571 (java) S 13560 13562 11295 0 -1 64 40 481 0 0 0 0 5 1 15 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 95.4
Current children cumulated vsize (KiB) 868084
[startup+97.503 s]
/proc/loadavg: 2.02 2.16 2.09 3/81 13575
/proc/meminfo: memFree=1331712/2055920 swapFree=4156332/4192956
[pid=13562] ppid=13560 vsize=868084 CPUtime=97
/proc/13562/stat : 13562 (java) S 13560 13562 11295 0 -1 0 37339 481 1 0 9663 31 5 1 18 0 9 0 698381841 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 217021 21727 2615 9 0 211549 0
[pid=13562/tid=13563] ppid=13560 vsize=868084 CPUtime=96.39
/proc/13562/task/13563/stat : 13563 (java) R 13560 13562 11295 0 -1 64 28273 481 1 0 9607 26 5 1 25 0 9 0 698381842 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4127224106 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13565] ppid=13560 vsize=868084 CPUtime=0.22
/proc/13562/task/13565/stat : 13565 (java) S 13560 13562 11295 0 -1 64 7183 481 0 0 15 1 5 1 16 0 9 0 698381844 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13566] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13566/stat : 13566 (java) S 13560 13562 11295 0 -1 64 17 481 0 0 0 0 5 1 16 0 9 0 698381844 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13567] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13567/stat : 13567 (java) S 13560 13562 11295 0 -1 64 8 481 0 0 0 0 5 1 16 0 9 0 698381844 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13568] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13568/stat : 13568 (java) S 13560 13562 11295 0 -1 64 0 481 0 0 0 0 5 1 18 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13569] ppid=13560 vsize=868084 CPUtime=0.46
/proc/13562/task/13569/stat : 13569 (java) S 13560 13562 11295 0 -1 64 1017 481 0 0 39 1 5 1 16 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13570] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13570/stat : 13570 (java) S 13560 13562 11295 0 -1 64 2 481 0 0 0 0 5 1 19 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13571] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13571/stat : 13571 (java) S 13560 13562 11295 0 -1 64 40 481 0 0 0 0 5 1 15 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 97
Current children cumulated vsize (KiB) 868084
[startup+98.3021 s]
/proc/loadavg: 2.02 2.16 2.09 3/81 13575
/proc/meminfo: memFree=1331712/2055920 swapFree=4156332/4192956
[pid=13562] ppid=13560 vsize=868084 CPUtime=97.79
/proc/13562/stat : 13562 (java) S 13560 13562 11295 0 -1 0 37339 481 1 0 9742 31 5 1 18 0 9 0 698381841 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 217021 21727 2615 9 0 211549 0
[pid=13562/tid=13563] ppid=13560 vsize=868084 CPUtime=97.18
/proc/13562/task/13563/stat : 13563 (java) R 13560 13562 11295 0 -1 64 28273 481 1 0 9686 26 5 1 25 0 9 0 698381842 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4127224204 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13565] ppid=13560 vsize=868084 CPUtime=0.22
/proc/13562/task/13565/stat : 13565 (java) S 13560 13562 11295 0 -1 64 7183 481 0 0 15 1 5 1 16 0 9 0 698381844 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13566] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13566/stat : 13566 (java) S 13560 13562 11295 0 -1 64 17 481 0 0 0 0 5 1 16 0 9 0 698381844 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13567] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13567/stat : 13567 (java) S 13560 13562 11295 0 -1 64 8 481 0 0 0 0 5 1 16 0 9 0 698381844 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13568] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13568/stat : 13568 (java) S 13560 13562 11295 0 -1 64 0 481 0 0 0 0 5 1 18 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13569] ppid=13560 vsize=868084 CPUtime=0.46
/proc/13562/task/13569/stat : 13569 (java) S 13560 13562 11295 0 -1 64 1017 481 0 0 39 1 5 1 16 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13570] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13570/stat : 13570 (java) S 13560 13562 11295 0 -1 64 2 481 0 0 0 0 5 1 19 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13571] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13571/stat : 13571 (java) S 13560 13562 11295 0 -1 64 40 481 0 0 0 0 5 1 15 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 97.79
Current children cumulated vsize (KiB) 868084
[startup+98.7012 s]
/proc/loadavg: 2.02 2.16 2.09 3/81 13575
/proc/meminfo: memFree=1331712/2055920 swapFree=4156332/4192956
[pid=13562] ppid=13560 vsize=868084 CPUtime=98.19
/proc/13562/stat : 13562 (java) S 13560 13562 11295 0 -1 0 37339 481 1 0 9782 31 5 1 18 0 9 0 698381841 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 217021 21727 2615 9 0 211549 0
[pid=13562/tid=13563] ppid=13560 vsize=868084 CPUtime=97.58
/proc/13562/task/13563/stat : 13563 (java) R 13560 13562 11295 0 -1 64 28273 481 1 0 9726 26 5 1 25 0 9 0 698381842 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4127304292 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13565] ppid=13560 vsize=868084 CPUtime=0.22
/proc/13562/task/13565/stat : 13565 (java) S 13560 13562 11295 0 -1 64 7183 481 0 0 15 1 5 1 16 0 9 0 698381844 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13566] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13566/stat : 13566 (java) S 13560 13562 11295 0 -1 64 17 481 0 0 0 0 5 1 16 0 9 0 698381844 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13567] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13567/stat : 13567 (java) S 13560 13562 11295 0 -1 64 8 481 0 0 0 0 5 1 16 0 9 0 698381844 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13568] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13568/stat : 13568 (java) S 13560 13562 11295 0 -1 64 0 481 0 0 0 0 5 1 18 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13569] ppid=13560 vsize=868084 CPUtime=0.46
/proc/13562/task/13569/stat : 13569 (java) S 13560 13562 11295 0 -1 64 1017 481 0 0 39 1 5 1 16 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13570] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13570/stat : 13570 (java) S 13560 13562 11295 0 -1 64 2 481 0 0 0 0 5 1 19 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13571] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13571/stat : 13571 (java) S 13560 13562 11295 0 -1 64 40 481 0 0 0 0 5 1 15 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 98.19
Current children cumulated vsize (KiB) 868084
[startup+99.1012 s]
/proc/loadavg: 2.02 2.16 2.09 3/81 13575
/proc/meminfo: memFree=1331712/2055920 swapFree=4156332/4192956
[pid=13562] ppid=13560 vsize=868084 CPUtime=98.59
/proc/13562/stat : 13562 (java) S 13560 13562 11295 0 -1 0 37339 481 1 0 9822 31 5 1 18 0 9 0 698381841 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 217021 21727 2615 9 0 211549 0
[pid=13562/tid=13563] ppid=13560 vsize=868084 CPUtime=97.97
/proc/13562/task/13563/stat : 13563 (java) R 13560 13562 11295 0 -1 64 28273 481 1 0 9765 26 5 1 25 0 9 0 698381842 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4127304292 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13565] ppid=13560 vsize=868084 CPUtime=0.22
/proc/13562/task/13565/stat : 13565 (java) S 13560 13562 11295 0 -1 64 7183 481 0 0 15 1 5 1 16 0 9 0 698381844 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13566] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13566/stat : 13566 (java) S 13560 13562 11295 0 -1 64 17 481 0 0 0 0 5 1 16 0 9 0 698381844 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13567] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13567/stat : 13567 (java) S 13560 13562 11295 0 -1 64 8 481 0 0 0 0 5 1 16 0 9 0 698381844 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13568] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13568/stat : 13568 (java) S 13560 13562 11295 0 -1 64 0 481 0 0 0 0 5 1 18 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13569] ppid=13560 vsize=868084 CPUtime=0.46
/proc/13562/task/13569/stat : 13569 (java) S 13560 13562 11295 0 -1 64 1017 481 0 0 39 1 5 1 16 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13570] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13570/stat : 13570 (java) S 13560 13562 11295 0 -1 64 2 481 0 0 0 0 5 1 19 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13571] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13571/stat : 13571 (java) S 13560 13562 11295 0 -1 64 40 481 0 0 0 0 5 1 15 0 9 0 698381846 888918016 21727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 98.59
Current children cumulated vsize (KiB) 868084
[startup+99.2013 s]
/proc/loadavg: 2.02 2.16 2.09 3/81 13575
/proc/meminfo: memFree=1331712/2055920 swapFree=4156332/4192956
[pid=13562] ppid=13560 vsize=868084 CPUtime=98.68
/proc/13562/stat : 13562 (java) S 13560 13562 11295 0 -1 0 37341 481 1 0 9831 31 5 1 18 0 9 0 698381841 888918016 21728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13562/statm: 217021 21728 2615 9 0 211549 0
[pid=13562/tid=13563] ppid=13560 vsize=868084 CPUtime=98.07
/proc/13562/task/13563/stat : 13563 (java) R 13560 13562 11295 0 -1 64 28275 481 1 0 9775 26 5 1 24 0 9 0 698381842 888918016 21728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13565] ppid=13560 vsize=868084 CPUtime=0.22
/proc/13562/task/13565/stat : 13565 (java) S 13560 13562 11295 0 -1 64 7183 481 0 0 15 1 5 1 16 0 9 0 698381844 888918016 21728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13566] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13566/stat : 13566 (java) S 13560 13562 11295 0 -1 64 17 481 0 0 0 0 5 1 16 0 9 0 698381844 888918016 21728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13567] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13567/stat : 13567 (java) S 13560 13562 11295 0 -1 64 8 481 0 0 0 0 5 1 16 0 9 0 698381844 888918016 21728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13568] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13568/stat : 13568 (java) S 13560 13562 11295 0 -1 64 0 481 0 0 0 0 5 1 18 0 9 0 698381846 888918016 21728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13569] ppid=13560 vsize=868084 CPUtime=0.46
/proc/13562/task/13569/stat : 13569 (java) S 13560 13562 11295 0 -1 64 1017 481 0 0 39 1 5 1 16 0 9 0 698381846 888918016 21728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13570] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13570/stat : 13570 (java) S 13560 13562 11295 0 -1 64 2 481 0 0 0 0 5 1 19 0 9 0 698381846 888918016 21728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13562/tid=13571] ppid=13560 vsize=868084 CPUtime=0.06
/proc/13562/task/13571/stat : 13571 (java) S 13560 13562 11295 0 -1 64 40 481 0 0 0 0 5 1 15 0 9 0 698381846 888918016 21728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 98.68
Current children cumulated vsize (KiB) 868084
Child status: 0
Real time (s): 99.2305
CPU time (s): 98.718
CPU user time (s): 98.375
CPU system time (s): 0.342947
CPU usage (%): 99.4835
Max. virtual memory (cumulated for all children) (KiB): 868172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.375
system time used= 0.342947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37852
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= 3758
involuntary context switches= 4916
runsolver used 0.115982 second user time and 0.347947 second system time
The end
Begin job on node58 at 2008-07-04 06:02:34
IDJOB=1064810
IDBENCH=54993
IDSOLVER=364
FILE ID=node58/1064810-1215144154
PBS_JOBID= 7877285
Free space on /tmp= 66556 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/pseudo/uclid/normalized-37s-smv.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-1064810-1215144154/watcher-1064810-1215144154 -o /tmp/evaluation-result-1064810-1215144154/solver-1064810-1215144154 -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-1064810-1215144154.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 5acf541358e4aebcf6271c9dbe4f5a7b
RANDOM SEED=1072331482
node58.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: 1409704 kB
Buffers: 88272 kB
Cached: 413748 kB
SwapCached: 30964 kB
Active: 323496 kB
Inactive: 247352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1409704 kB
SwapTotal: 4192956 kB
SwapFree: 4156332 kB
Dirty: 2508 kB
Writeback: 0 kB
Mapped: 76384 kB
Slab: 60756 kB
Committed_AS: 1149044 kB
PageTables: 1800 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= 66556 MiB
End job on node58 at 2008-07-04 06:04:14