0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/210599-1168199992/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=180 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.105 cpuTime=0.08 mem=6M951
0.41
0.41 predicates being loaded...
0.42
0.42 constraints being loaded...
0.57 nbConstraints=152 nbConflictsStructures=4 nbSharedConflictsStructures=148 nbSharedBinaryRepresentations=0
0.57 nbEvaluationManagers=4 nbSharedEvaluationManagers=148 maxDegree=11 maxArity=12
0.57 => wckTime=0.266 cpuTime=0.18 mem=9M877
0.61
0.61 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.49 cpuTime=0.33 mem=16M582
0.86
0.86 preprocessing
0.86 nbConstraintChecks=1504 nbValidityChecks=1979 nbPropagations=707 nbRevisions=1723 nbUselessRevisions=1516
0.86 nbSingletonTests=332 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.86 => wckTime=0.062 cpuTime=0.03 mem=17M557
0.90
0.90 search
0.90 run=0 nbConstraintChecks=1501 nbValidityChecks=292 nbPropagations=891 nbRevisions=2073 nbUselessRevisions=1677
0.90 nbAssignments=151 nbFailedAssignments=1 nbBacktracks=96 nbVisitedNodes=154 nbRestartNogoods=0 mapSize=1
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.109 cpuTime=0.07 mem=17M557
0.93
0.93 search
0.93 run=1 nbConstraintChecks=4764 nbValidityChecks=739 nbPropagations=2007 nbRevisions=4573
0.93 nbUselessRevisions=3543 nbAssignments=314 nbFailedAssignments=3 nbBacktracks=116 nbVisitedNodes=321
0.93 nbRestartNogoods=1 mapSize=4 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.138 cpuTime=0.09 mem=17M557
0.95
0.95 search
0.95 run=2 nbConstraintChecks=7008 nbValidityChecks=1205 nbPropagations=3328 nbRevisions=7534
0.95 nbUselessRevisions=5657 nbAssignments=407 nbFailedAssignments=4 nbBacktracks=153 nbVisitedNodes=417
0.95 nbRestartNogoods=2 mapSize=6 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.159 cpuTime=0.11 mem=17M557
0.98
0.98 search
0.98 run=3 nbConstraintChecks=11105 nbValidityChecks=1900 nbPropagations=4898 nbRevisions=11117
0.98 nbUselessRevisions=8126 nbAssignments=508 nbFailedAssignments=6 nbBacktracks=195 nbVisitedNodes=524
0.98 nbRestartNogoods=3 mapSize=11 nbInferences=1 nbTooLargeKeys=0
0.98 => wckTime=0.185 cpuTime=0.13 mem=17M557
1.01
1.01 search
1.01 run=4 nbConstraintChecks=17559 nbValidityChecks=2862 nbPropagations=6783 nbRevisions=15521
1.01 nbUselessRevisions=11075 nbAssignments=653 nbFailedAssignments=9 nbBacktracks=248 nbVisitedNodes=678
1.01 nbRestartNogoods=4 mapSize=18 nbInferences=3 nbTooLargeKeys=0
1.02 => wckTime=0.22 cpuTime=0.16 mem=17M557
1.05
1.05 search
1.05 run=5 nbConstraintChecks=23480 nbValidityChecks=3710 nbPropagations=8974 nbRevisions=20640
1.05 nbUselessRevisions=14400 nbAssignments=813 nbFailedAssignments=12 nbBacktracks=355 nbVisitedNodes=848
1.05 nbRestartNogoods=6 mapSize=27 nbInferences=5 nbTooLargeKeys=0
1.05 => wckTime=0.256 cpuTime=0.19 mem=17M557
1.08
1.08 search
1.08 run=6 nbConstraintChecks=25091 nbValidityChecks=4362 nbPropagations=11463 nbRevisions=26350
1.08 nbUselessRevisions=18043 nbAssignments=995 nbFailedAssignments=12 nbBacktracks=480 nbVisitedNodes=1038
1.08 nbRestartNogoods=7 mapSize=34 nbInferences=13 nbTooLargeKeys=0
1.08 => wckTime=0.287 cpuTime=0.22 mem=17M557
1.17
1.17 search
1.17 run=7 nbConstraintChecks=56485 nbValidityChecks=8073 nbPropagations=15002 nbRevisions=34663
1.17 nbUselessRevisions=23027 nbAssignments=1278 nbFailedAssignments=36 nbBacktracks=650 nbVisitedNodes=1378
1.17 nbRestartNogoods=8 mapSize=87 nbInferences=15 nbTooLargeKeys=0
1.17 => wckTime=0.376 cpuTime=0.3 mem=17M557
1.27
1.27 search
1.27 run=8 nbConstraintChecks=88698 nbValidityChecks=14047 nbPropagations=20215 nbRevisions=47949
1.27 nbUselessRevisions=31006 nbAssignments=1713 nbFailedAssignments=62 nbBacktracks=916 nbVisitedNodes=1824
1.27 nbRestartNogoods=10 mapSize=150 nbInferences=15 nbTooLargeKeys=0
1.27 => wckTime=0.477 cpuTime=0.39 mem=17M557
1.39
1.39 search
1.39 run=9 nbConstraintChecks=130886 nbValidityChecks=20522 nbPropagations=27362 nbRevisions=65862
1.39 nbUselessRevisions=41228 nbAssignments=2262 nbFailedAssignments=102 nbBacktracks=1316 nbVisitedNodes=2482
1.39 nbRestartNogoods=14 mapSize=258 nbInferences=21 nbTooLargeKeys=0
1.39 => wckTime=0.591 cpuTime=0.5 mem=17M557
1.60
1.60 search
1.60 run=10 nbConstraintChecks=259038 nbValidityChecks=31965 nbPropagations=38153 nbRevisions=90699
1.60 nbUselessRevisions=54037 nbAssignments=3009 nbFailedAssignments=183 nbBacktracks=1901 nbVisitedNodes=3451
1.60 nbRestartNogoods=15 mapSize=477 nbInferences=22 nbTooLargeKeys=0
1.60 => wckTime=0.809 cpuTime=0.71 mem=18M532
1.81
1.81 search
1.81 run=11 nbConstraintChecks=375612 nbValidityChecks=43685 nbPropagations=52567 nbRevisions=122316
1.81 nbUselessRevisions=69366 nbAssignments=4049 nbFailedAssignments=270 nbBacktracks=2766 nbVisitedNodes=4725
1.81 nbRestartNogoods=17 mapSize=709 nbInferences=22 nbTooLargeKeys=0
1.81 => wckTime=1.019 cpuTime=0.92 mem=18M532
2.19
2.19 search
2.19 run=12 nbConstraintChecks=605449 nbValidityChecks=63568 nbPropagations=73105 nbRevisions=165585
2.19 nbUselessRevisions=88920 nbAssignments=5601 nbFailedAssignments=443 nbBacktracks=4064 nbVisitedNodes=6683
2.19 nbRestartNogoods=19 mapSize=1112 nbInferences=22 nbTooLargeKeys=0
2.19 => wckTime=1.393 cpuTime=1.29 mem=18M532
2.82
2.82 search
2.82 run=13 nbConstraintChecks=1009947 nbValidityChecks=97777 nbPropagations=104301 nbRevisions=229191
2.82 nbUselessRevisions=115980 nbAssignments=7926 nbFailedAssignments=740 nbBacktracks=6013 nbVisitedNodes=9708
2.82 nbRestartNogoods=22 mapSize=1807 nbInferences=22 nbTooLargeKeys=0
2.82 => wckTime=2.023 cpuTime=1.92 mem=19M507
3.65
3.66 search
3.66 run=14 nbConstraintChecks=1543512 nbValidityChecks=142850 nbPropagations=149569 nbRevisions=319481
3.66 nbUselessRevisions=152693 nbAssignments=11338 nbFailedAssignments=1152 nbBacktracks=8944 nbVisitedNodes=14048
3.66 nbRestartNogoods=25 mapSize=2731 nbInferences=22 nbTooLargeKeys=0
3.66 => wckTime=2.861 cpuTime=2.76 mem=19M507
4.90
4.90 search
4.90 run=15 nbConstraintChecks=2323554 nbValidityChecks=210567 nbPropagations=215973 nbRevisions=449878
4.90 nbUselessRevisions=203747 nbAssignments=16406 nbFailedAssignments=1757 nbBacktracks=13326 nbVisitedNodes=20544
4.90 nbRestartNogoods=27 mapSize=4155 nbInferences=22 nbTooLargeKeys=0
4.90 => wckTime=4.102 cpuTime=3.99 mem=20M482
5.14
5.14 INFO : Stopping hyperNogood (mapSize=4410, nbTooLargekeys=0, mem=20M482)
6.59
6.59 search
6.59 run=16 nbConstraintChecks=3596453 nbValidityChecks=317198 nbPropagations=315966 nbRevisions=643250
6.59 nbUselessRevisions=277579 nbAssignments=23977 nbFailedAssignments=2683 nbBacktracks=19897 nbVisitedNodes=30367
6.59 nbRestartNogoods=31
6.59 => wckTime=5.797 cpuTime=5.69 mem=20M482
8.83
8.83 search
8.83 run=17 nbConstraintChecks=5241103 nbValidityChecks=457737 nbPropagations=460740 nbRevisions=918715
8.83 nbUselessRevisions=380862 nbAssignments=35125 nbFailedAssignments=3892 nbBacktracks=29752 nbVisitedNodes=44446
8.83 nbRestartNogoods=34
8.83 => wckTime=8.036 cpuTime=7.92 mem=21M458
12.35
12.35 search
12.35 run=18 nbConstraintChecks=7919404 nbValidityChecks=682942 nbPropagations=676724 nbRevisions=1326263
12.35 nbUselessRevisions=532372 nbAssignments=51925 nbFailedAssignments=5834 nbBacktracks=44546 nbVisitedNodes=65948
12.35 nbRestartNogoods=38
12.35 => wckTime=11.56 cpuTime=11.45 mem=21M458
17.12
17.12 search
17.12 run=19 nbConstraintChecks=11507668 nbValidityChecks=984812 nbPropagations=992624 nbRevisions=1907155
17.12 nbUselessRevisions=747616 nbAssignments=76867 nbFailedAssignments=8517 nbBacktracks=66719 nbVisitedNodes=97373
17.12 nbRestartNogoods=40
17.12 => wckTime=16.33 cpuTime=16.22 mem=21M458
24.25
24.25 search
24.25 run=20 nbConstraintChecks=16790298 nbValidityChecks=1448945 nbPropagations=1458702 nbRevisions=2759385
24.25 nbUselessRevisions=1062428 nbAssignments=114295 nbFailedAssignments=12608 nbBacktracks=99972
24.25 nbVisitedNodes=144796 nbRestartNogoods=44
24.25 => wckTime=23.455 cpuTime=23.34 mem=21M458
35.40
35.40 search
35.40 run=21 nbConstraintChecks=25159964 nbValidityChecks=2196209 nbPropagations=2167333 nbRevisions=4048250
35.40 nbUselessRevisions=1543056 nbAssignments=170180 nbFailedAssignments=18529 nbBacktracks=149871
35.40 nbVisitedNodes=216523 nbRestartNogoods=49
35.40 => wckTime=34.603 cpuTime=34.47 mem=21M458
51.32
51.32 search
51.32 run=22 nbConstraintChecks=36958215 nbValidityChecks=3258676 nbPropagations=3220606 nbRevisions=5956586
51.32 nbUselessRevisions=2260155 nbAssignments=253652 nbFailedAssignments=27091 nbBacktracks=224695
51.32 nbVisitedNodes=322673 nbRestartNogoods=52
51.32 => wckTime=50.527 cpuTime=50.39 mem=21M458
74.18
74.18 search
74.18 run=23 nbConstraintChecks=53631675 nbValidityChecks=4886719 nbPropagations=4800425 nbRevisions=8810673
74.18 nbUselessRevisions=3333577 nbAssignments=378750 nbFailedAssignments=39880 nbBacktracks=336925
74.18 nbVisitedNodes=483302 nbRestartNogoods=57
74.18 => wckTime=73.389 cpuTime=73.23 mem=21M458
112.02
112.02 search
112.02 run=24 nbConstraintChecks=81967580 nbValidityChecks=7367459 nbPropagations=7182717 nbRevisions=13106312
112.02 nbUselessRevisions=4959100 nbAssignments=567643 nbFailedAssignments=60349 nbBacktracks=505266
112.02 nbVisitedNodes=725318 nbRestartNogoods=61
112.02 => wckTime=111.226 cpuTime=111.05 mem=21M458
163.77
163.77 search
163.77 run=25 nbConstraintChecks=118954577 nbValidityChecks=11137147 nbPropagations=10808479 nbRevisions=19576802
163.77 nbUselessRevisions=7392565 nbAssignments=848987 nbFailedAssignments=89093 nbBacktracks=757782
163.77 nbVisitedNodes=1086618 nbRestartNogoods=67
163.77 => wckTime=162.98 cpuTime=162.78 mem=21M458
224.70
224.70 search
224.70 run=26 nbConstraintChecks=163794835 nbValidityChecks=15158842 nbPropagations=15752139 nbRevisions=28379527
224.70 nbUselessRevisions=10707984 nbAssignments=1168351 nbFailedAssignments=122147 nbBacktracks=1043912
224.70 nbVisitedNodes=1491643 nbRestartNogoods=73
224.70 => wckTime=223.905 cpuTime=223.66 mem=21M458
224.70
224.70 global
224.70 nbConstraintChecks=163796339 nbValidityChecks=15160821 nbPropagations=15752846 nbRevisions=28381250
224.70 nbUselessRevisions=10709500 nbRestartNogoods=73 solvingWckTime=223.906 solvingCpuTime=223.68 expiredTime=no
224.70 totalExploration=no nbFoundSolutions=1 globalCpuTime=224.07
224.70 => wckTime=224.397 cpuTime=224.01 mem=21M458
224.70
224.70 s SATISFIABLE
224.70 v 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0
224.70 d NODES 1168351
224.70 d CHECKS 163796339
224.70
224.70 totalWckTime=224.474 totalCpuTime=224.07
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-210599-1168199992 -o ROOT/results/node6/solver-210599-1168199992 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210599-1168199992/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 0.92 0.98 0.99 3/78 19604
/proc/meminfo: memFree=1426360/2055924 swapFree=4165672/4192956
[pid=19603] ppid=19601 vsize=168 CPUtime=0
/proc/19603/stat : 19603 (java) R 19601 19603 18869 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 168394691 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 2187563 0 0 4096 0 0 0 0 17 1 0 0
/proc/19603/statm: 42 23 18 14 0 2 0
[startup+0.106224 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 19604
/proc/meminfo: memFree=1426360/2055924 swapFree=4165672/4192956
[pid=19603] ppid=19601 vsize=914988 CPUtime=0.07
/proc/19603/stat : 19603 (java) D 19601 19603 18869 0 -1 0 2989 0 1 0 6 1 0 0 17 0 8 0 168394691 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19603/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.514252 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 19604
/proc/meminfo: memFree=1426360/2055924 swapFree=4165672/4192956
[pid=19603] ppid=19601 vsize=915460 CPUtime=0.48
/proc/19603/stat : 19603 (java) S 19601 19603 18869 0 -1 0 6826 0 1 0 43 5 0 0 16 0 8 0 168394691 937431040 6565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19603/statm: 228865 6565 2165 14 0 215335 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915460
[startup+1.33534 s]
/proc/loadavg: 0.92 0.98 0.99 2/85 19611
/proc/meminfo: memFree=1399936/2055924 swapFree=4165672/4192956
[pid=19603] ppid=19601 vsize=915460 CPUtime=1.31
/proc/19603/stat : 19603 (java) R 19601 19603 18869 0 -1 0 9397 0 1 0 123 8 0 0 17 0 8 0 168394691 937431040 9135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787016 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19603/statm: 228865 9135 2543 14 0 215335 0
[pid=19603/tid=19605] ppid=19601 vsize=915460 CPUtime=0.02
/proc/19603/task/19605/stat : 19605 (java) S 19601 19603 18869 0 -1 64 193 0 0 0 2 0 0 0 17 0 8 0 168394695 937431040 9135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19603/tid=19606] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19606/stat : 19606 (java) S 19601 19603 18869 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168394696 937431040 9135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19607] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19607/stat : 19607 (java) S 19601 19603 18869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168394696 937431040 9135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19608] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19608/stat : 19608 (java) S 19601 19603 18869 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168394699 937431040 9135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19609] ppid=19601 vsize=915460 CPUtime=0.23
/proc/19603/task/19609/stat : 19609 (java) S 19601 19603 18869 0 -1 64 387 0 0 0 22 1 0 0 16 0 8 0 168394699 937431040 9135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19603/tid=19610] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19610/stat : 19610 (java) S 19601 19603 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168394699 937431040 9135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19611] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19611/stat : 19611 (java) S 19601 19603 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168394699 937431040 9135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.97254 s]
/proc/loadavg: 0.92 0.98 0.99 2/85 19611
/proc/meminfo: memFree=1398912/2055924 swapFree=4165672/4192956
[pid=19603] ppid=19601 vsize=915460 CPUtime=2.95
/proc/19603/stat : 19603 (java) R 19601 19603 18869 0 -1 0 9737 0 1 0 287 8 0 0 17 0 8 0 168394691 937431040 9473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19603/statm: 228865 9473 2544 14 0 215335 0
[pid=19603/tid=19605] ppid=19601 vsize=915460 CPUtime=0.02
/proc/19603/task/19605/stat : 19605 (java) S 19601 19603 18869 0 -1 64 193 0 0 0 2 0 0 0 16 0 8 0 168394695 937431040 9473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19603/tid=19606] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19606/stat : 19606 (java) S 19601 19603 18869 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168394696 937431040 9473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19607] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19607/stat : 19607 (java) S 19601 19603 18869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168394696 937431040 9473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19608] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19608/stat : 19608 (java) S 19601 19603 18869 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168394699 937431040 9473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19609] ppid=19601 vsize=915460 CPUtime=0.25
/proc/19603/task/19609/stat : 19609 (java) S 19601 19603 18869 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 168394699 937431040 9473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19603/tid=19610] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19610/stat : 19610 (java) S 19601 19603 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168394699 937431040 9473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19611] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19611/stat : 19611 (java) S 19601 19603 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168394699 937431040 9473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.26793 s]
/proc/loadavg: 0.93 0.98 0.99 2/85 19611
/proc/meminfo: memFree=1396608/2055924 swapFree=4165672/4192956
[pid=19603] ppid=19601 vsize=915460 CPUtime=6.24
/proc/19603/stat : 19603 (java) R 19601 19603 18869 0 -1 0 10158 0 1 0 616 8 0 0 17 0 8 0 168394691 937431040 9894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641276 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19603/statm: 228865 9894 2544 14 0 215335 0
[pid=19603/tid=19605] ppid=19601 vsize=915460 CPUtime=0.02
/proc/19603/task/19605/stat : 19605 (java) S 19601 19603 18869 0 -1 64 193 0 0 0 2 0 0 0 16 0 8 0 168394695 937431040 9894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19603/tid=19606] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19606/stat : 19606 (java) S 19601 19603 18869 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168394696 937431040 9894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19607] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19607/stat : 19607 (java) S 19601 19603 18869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168394696 937431040 9894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19608] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19608/stat : 19608 (java) S 19601 19603 18869 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168394699 937431040 9894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19609] ppid=19601 vsize=915460 CPUtime=0.25
/proc/19603/task/19609/stat : 19609 (java) S 19601 19603 18869 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 168394699 937431040 9894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19603/tid=19610] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19610/stat : 19610 (java) S 19601 19603 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168394699 937431040 9894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19611] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19611/stat : 19611 (java) S 19601 19603 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168394699 937431040 9894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915460
[startup+12.7347 s]
/proc/loadavg: 0.93 0.98 0.99 2/85 19611
/proc/meminfo: memFree=1396544/2055924 swapFree=4165672/4192956
[pid=19603] ppid=19601 vsize=915460 CPUtime=12.7
/proc/19603/stat : 19603 (java) R 19601 19603 18869 0 -1 0 10167 0 1 0 1262 8 0 0 17 0 8 0 168394691 937431040 9902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073637600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19603/statm: 228865 9902 2544 14 0 215335 0
[pid=19603/tid=19605] ppid=19601 vsize=915460 CPUtime=0.02
/proc/19603/task/19605/stat : 19605 (java) S 19601 19603 18869 0 -1 64 193 0 0 0 2 0 0 0 16 0 8 0 168394695 937431040 9902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19603/tid=19606] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19606/stat : 19606 (java) S 19601 19603 18869 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168394696 937431040 9902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19607] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19607/stat : 19607 (java) S 19601 19603 18869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168394696 937431040 9902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19608] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19608/stat : 19608 (java) S 19601 19603 18869 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168394699 937431040 9902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19609] ppid=19601 vsize=915460 CPUtime=0.25
/proc/19603/task/19609/stat : 19609 (java) S 19601 19603 18869 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 168394699 937431040 9902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19603/tid=19610] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19610/stat : 19610 (java) S 19601 19603 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168394699 937431040 9902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19611] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19611/stat : 19611 (java) S 19601 19603 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168394699 937431040 9902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915460
[startup+25.5962 s]
/proc/loadavg: 0.95 0.98 0.99 2/85 19611
/proc/meminfo: memFree=1396544/2055924 swapFree=4165672/4192956
[pid=19603] ppid=19601 vsize=915460 CPUtime=25.55
/proc/19603/stat : 19603 (java) R 19601 19603 18869 0 -1 0 10174 0 1 0 2547 8 0 0 25 0 8 0 168394691 937431040 9908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632650 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19603/statm: 228865 9908 2544 14 0 215335 0
[pid=19603/tid=19605] ppid=19601 vsize=915460 CPUtime=0.02
/proc/19603/task/19605/stat : 19605 (java) S 19601 19603 18869 0 -1 64 193 0 0 0 2 0 0 0 16 0 8 0 168394695 937431040 9908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19603/tid=19606] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19606/stat : 19606 (java) S 19601 19603 18869 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168394696 937431040 9908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19607] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19607/stat : 19607 (java) S 19601 19603 18869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168394696 937431040 9908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19608] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19608/stat : 19608 (java) S 19601 19603 18869 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168394699 937431040 9908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19609] ppid=19601 vsize=915460 CPUtime=0.26
/proc/19603/task/19609/stat : 19609 (java) S 19601 19603 18869 0 -1 64 399 0 0 0 25 1 0 0 16 0 8 0 168394699 937431040 9908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19603/tid=19610] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19610/stat : 19610 (java) S 19601 19603 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168394699 937431040 9908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19611] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19611/stat : 19611 (java) S 19601 19603 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168394699 937431040 9908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915460
[startup+51.2903 s]
/proc/loadavg: 0.96 0.98 0.99 2/85 19611
/proc/meminfo: memFree=1396544/2055924 swapFree=4165672/4192956
[pid=19603] ppid=19601 vsize=915460 CPUtime=51.24
/proc/19603/stat : 19603 (java) R 19601 19603 18869 0 -1 0 10177 0 1 0 5115 9 0 0 25 0 8 0 168394691 937431040 9911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073637714 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19603/statm: 228865 9911 2544 14 0 215335 0
[pid=19603/tid=19605] ppid=19601 vsize=915460 CPUtime=0.02
/proc/19603/task/19605/stat : 19605 (java) S 19601 19603 18869 0 -1 64 193 0 0 0 2 0 0 0 16 0 8 0 168394695 937431040 9911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19603/tid=19606] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19606/stat : 19606 (java) S 19601 19603 18869 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168394696 937431040 9911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19607] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19607/stat : 19607 (java) S 19601 19603 18869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168394696 937431040 9911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19608] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19608/stat : 19608 (java) S 19601 19603 18869 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168394699 937431040 9911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19609] ppid=19601 vsize=915460 CPUtime=0.26
/proc/19603/task/19609/stat : 19609 (java) S 19601 19603 18869 0 -1 64 399 0 0 0 25 1 0 0 16 0 8 0 168394699 937431040 9911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19603/tid=19610] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19610/stat : 19610 (java) S 19601 19603 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168394699 937431040 9911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19611] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19611/stat : 19611 (java) S 19601 19603 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168394699 937431040 9911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.24
Current children cumulated vsize (KiB) 915460
[startup+102.59 s]
/proc/loadavg: 1.05 1.00 1.00 2/91 19735
/proc/meminfo: memFree=1395216/2055924 swapFree=4165672/4192956
[pid=19603] ppid=19601 vsize=915460 CPUtime=102.5
/proc/19603/stat : 19603 (java) R 19601 19603 18869 0 -1 0 10182 0 1 0 10237 13 0 0 25 0 8 0 168394691 937431040 9916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19603/statm: 228865 9916 2544 14 0 215335 0
[pid=19603/tid=19605] ppid=19601 vsize=915460 CPUtime=0.02
/proc/19603/task/19605/stat : 19605 (java) S 19601 19603 18869 0 -1 64 193 0 0 0 2 0 0 0 16 0 8 0 168394695 937431040 9916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19603/tid=19606] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19606/stat : 19606 (java) S 19601 19603 18869 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168394696 937431040 9916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19607] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19607/stat : 19607 (java) S 19601 19603 18869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168394696 937431040 9916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19608] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19608/stat : 19608 (java) S 19601 19603 18869 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168394699 937431040 9916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19609] ppid=19601 vsize=915460 CPUtime=0.26
/proc/19603/task/19609/stat : 19609 (java) S 19601 19603 18869 0 -1 64 399 0 0 0 25 1 0 0 16 0 8 0 168394699 937431040 9916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19603/tid=19610] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19610/stat : 19610 (java) S 19601 19603 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168394699 937431040 9916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19611] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19611/stat : 19611 (java) S 19601 19603 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168394699 937431040 9916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.5
Current children cumulated vsize (KiB) 915460
[startup+162.64 s]
/proc/loadavg: 1.09 1.02 1.00 2/85 19809
/proc/meminfo: memFree=1396152/2055924 swapFree=4165672/4192956
[pid=19603] ppid=19601 vsize=915460 CPUtime=162.52
/proc/19603/stat : 19603 (java) R 19601 19603 18869 0 -1 0 10185 0 1 0 16235 17 0 0 25 0 8 0 168394691 937431040 9919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634848 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19603/statm: 228865 9919 2544 14 0 215335 0
[pid=19603/tid=19605] ppid=19601 vsize=915460 CPUtime=0.02
/proc/19603/task/19605/stat : 19605 (java) S 19601 19603 18869 0 -1 64 193 0 0 0 2 0 0 0 16 0 8 0 168394695 937431040 9919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19603/tid=19606] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19606/stat : 19606 (java) S 19601 19603 18869 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168394696 937431040 9919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19607] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19607/stat : 19607 (java) S 19601 19603 18869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168394696 937431040 9919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19608] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19608/stat : 19608 (java) S 19601 19603 18869 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168394699 937431040 9919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19609] ppid=19601 vsize=915460 CPUtime=0.26
/proc/19603/task/19609/stat : 19609 (java) S 19601 19603 18869 0 -1 64 399 0 0 0 25 1 0 0 16 0 8 0 168394699 937431040 9919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19603/tid=19610] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19610/stat : 19610 (java) S 19601 19603 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168394699 937431040 9919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19611] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19611/stat : 19611 (java) S 19601 19603 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168394699 937431040 9919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.52
Current children cumulated vsize (KiB) 915460
[startup+222.659 s]
/proc/loadavg: 1.08 1.03 1.00 2/85 19809
/proc/meminfo: memFree=1396216/2055924 swapFree=4165672/4192956
[pid=19603] ppid=19601 vsize=915460 CPUtime=222.5
/proc/19603/stat : 19603 (java) R 19601 19603 18869 0 -1 0 10188 0 1 0 22233 17 0 0 25 0 8 0 168394691 937431040 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665042 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19603/statm: 228865 9922 2544 14 0 215335 0
[pid=19603/tid=19605] ppid=19601 vsize=915460 CPUtime=0.02
/proc/19603/task/19605/stat : 19605 (java) S 19601 19603 18869 0 -1 64 193 0 0 0 2 0 0 0 16 0 8 0 168394695 937431040 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19603/tid=19606] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19606/stat : 19606 (java) S 19601 19603 18869 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168394696 937431040 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19607] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19607/stat : 19607 (java) S 19601 19603 18869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168394696 937431040 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19608] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19608/stat : 19608 (java) S 19601 19603 18869 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168394699 937431040 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19609] ppid=19601 vsize=915460 CPUtime=0.26
/proc/19603/task/19609/stat : 19609 (java) S 19601 19603 18869 0 -1 64 399 0 0 0 25 1 0 0 16 0 8 0 168394699 937431040 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19603/tid=19610] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19610/stat : 19610 (java) S 19601 19603 18869 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168394699 937431040 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19603/tid=19611] ppid=19601 vsize=915460 CPUtime=0
/proc/19603/task/19611/stat : 19611 (java) S 19601 19603 18869 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168394699 937431040 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.5
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 224.733
CPU time (s): 224.567
CPU user time (s): 224.388
CPU system time (s): 0.178972
CPU usage (%): 99.9263
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 224.388
system time used= 0.178972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10284
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= 5456
involuntary context switches= 6912
runsolver used 0.265959 s user time and 0.626904 s system time
The end
Begin job on node6 on Sun Jan 7 19:59:53 UTC 2007
IDJOB= 210599
IDBENCH= 4632
FILE ID= node6/210599-1168199992
PBS_JOBID= 3479452
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-12-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210599-1168199992/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-210599-1168199992 -o ROOT/results/node6/solver-210599-1168199992 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210599-1168199992/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4332ea6e0569a2c3ff5d9633ee104e8a
RANDOM SEED= 777937753
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.240
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.240
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: 2055924 kB
MemFree: 1426840 kB
Buffers: 72960 kB
Cached: 441280 kB
SwapCached: 2424 kB
Active: 80440 kB
Inactive: 466252 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1426840 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 1760 kB
Writeback: 0 kB
Mapped: 42244 kB
Slab: 67836 kB
Committed_AS: 4768852 kB
PageTables: 1976 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= 66552 MiB
End job on node6 on Sun Jan 7 20:03:37 UTC 2007