0.28/0.31 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.28/0.31 c This is free software under the dual EPL/GNU LGPL licenses.
0.28/0.31 c See www.sat4j.org for details.
0.28/0.31 c That software uses the Rhino library from the Mozilla project.
0.28/0.36 c version 9.9.9.token
0.28/0.36 c sun.arch.data.model 32
0.28/0.36 c java.version 1.6.0_06
0.28/0.36 c os.name Linux
0.28/0.36 c os.version 2.6.9-22.EL.rootsmp
0.28/0.36 c os.arch i386
0.28/0.36 c Free memory 669864272
0.28/0.36 c Max memory 672137216
0.28/0.36 c Total memory 672137216
0.28/0.36 c Number of processors 2
0.37/0.40 c c --- Begin Solver configuration ---
0.37/0.40 c Stops conflict analysis at the first Unique Implication Point
0.37/0.40 c org.sat4j.minisat.constraints.MixedDataStructureDaniel@1d2068d
0.37/0.40 c Learn all clauses as in MiniSAT
0.37/0.40 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.37/0.40 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.37/0.40 c Expensive reason simplification
0.37/0.40 c MiniSAT restarts strategy
0.37/0.40 c timeout=2147483s
0.37/0.40 c DB Simplification allowed=false
0.37/0.40 c --- End Solver configuration ---
0.37/0.40 c solving HOME/instance-1090936-1215272692.xml
0.37/0.40 c reading problem ...
0.57/0.68 c reading problem named null
0.57/0.68 c reading domains done.
0.57/0.68 c reading variables done.
0.88/0.90 c reading predicates done.
0.98/1.09 c reading constraints
5.91/6.06 c done with constraints.
5.91/6.06 c ... done. Wall clock time 5.657s.
5.91/6.06 c #vars 3642
5.91/6.06 c #constraints 77258
5.91/6.06 c constraints type
5.91/6.06 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 76651
5.91/6.06 c org.sat4j.minisat.constraints.card.AtLeast => 607
1242.81/1248.98 c cleaning 231487 clauses out of 463000 for limit 3.2611470271378144E-5
1245.40/1251.59 c cleaning 116000 clauses out of 232013 for limit 1.0732352724192224E-4
1246.79/1252.92 c cleaning 58251 clauses out of 116513 for limit 3.524428946762819E-4
1247.58/1253.77 c cleaning 29367 clauses out of 58763 for limit 0.00115358495533865
1248.27/1254.47 c cleaning 14940 clauses out of 29895 for limit 0.0037357375734322264
1248.97/1255.14 c cleaning 7719 clauses out of 15456 for limit 0.01192801586148087
1249.26/1255.46 c cleaning 4091 clauses out of 8236 for limit 0.03687825426399601
1249.76/1255.95 c cleaning 2301 clauses out of 4645 for limit 0.10783428447193281
1250.35/1256.50 c cleaning 1395 clauses out of 2845 for limit 0.2906368697033228
1250.75/1256.98 c cleaning 952 clauses out of 1950 for limit 0.6992850663157678
1251.24/1257.45 c cleaning 725 clauses out of 1498 for limit 1.501180584060466
1251.64/1257.82 c cleaning 621 clauses out of 1274 for limit 2.913840147822161
1252.04/1258.25 c cleaning 551 clauses out of 1151 for limit 5.308192825719625
1252.43/1258.64 c cleaning 530 clauses out of 1100 for limit 9.159783654610752
1252.73/1258.90 c cleaning 516 clauses out of 1070 for limit 15.529233161146184
1252.93/1259.19 c cleaning 503 clauses out of 1055 for limit 25.999902986039395
1253.33/1259.53 c cleaning 500 clauses out of 1051 for limit 42.99746447252518
1253.62/1259.84 c cleaning 506 clauses out of 1054 for limit 70.91928914133858
1253.92/1260.15 c cleaning 502 clauses out of 1045 for limit 117.60913232348896
1254.22/1260.40 c cleaning 501 clauses out of 1044 for limit 194.33330489474864
1254.42/1260.68 c cleaning 500 clauses out of 1042 for limit 320.7756483349139
1254.71/1260.99 c cleaning 494 clauses out of 1047 for limit 529.1159758458905
1255.11/1261.31 c cleaning 501 clauses out of 1049 for limit 867.440925212831
1255.41/1261.69 c cleaning 506 clauses out of 1052 for limit 1432.1667624850727
1255.70/1261.99 c cleaning 495 clauses out of 1045 for limit 2375.2778292090843
1256.00/1262.25 c cleaning 499 clauses out of 1047 for limit 3897.9510008832144
1256.30/1262.54 c cleaning 496 clauses out of 1048 for limit 6422.1088396809255
1256.60/1262.88 c cleaning 503 clauses out of 1052 for limit 10550.646966075206
1256.89/1263.20 c cleaning 501 clauses out of 1050 for limit 17450.020075599434
1257.29/1263.54 c cleaning 491 clauses out of 1047 for limit 28802.183421582147
1257.59/1263.89 c cleaning 506 clauses out of 1062 for limit 47109.72123529626
1257.98/1264.23 c cleaning 500 clauses out of 1052 for limit 78115.48817945298
1258.38/1264.61 c cleaning 490 clauses out of 1050 for limit 128810.25957868942
1258.68/1264.99 c cleaning 528 clauses out of 1060 for limit 210421.33723789494
1259.07/1265.34 c cleaning 486 clauses out of 1032 for limit 356428.01439365925
1259.37/1265.65 c cleaning 501 clauses out of 1047 for limit 579956.2667845896
1259.67/1265.95 c cleaning 499 clauses out of 1045 for limit 957297.6925073264
1259.96/1266.25 c cleaning 495 clauses out of 1046 for limit 1577202.6750821716
1260.36/1266.61 c cleaning 499 clauses out of 1052 for limit 2588772.2732880902
1260.66/1266.93 c cleaning 526 clauses out of 1053 for limit 4265177.447225301
1260.95/1267.21 c cleaning 515 clauses out of 1030 for limit 7212530.670445075
1261.25/1267.54 c cleaning 505 clauses out of 1014 for limit 1.2070029120695457E7
1261.55/1267.84 c cleaning 501 clauses out of 1009 for limit 2.0003730443715867E7
1261.85/1268.12 c cleaning 484 clauses out of 1007 for limit 3.3021292228246965E7
1800.03/1810.91 c starts : 20
1800.03/1810.91 c conflicts : 638259
1800.03/1810.91 c decisions : 1109956
1800.03/1810.91 c propagations : 59537155
1800.03/1810.91 c inspects : 3554189439
1800.03/1810.91 c learnt literals : 0
1800.03/1810.91 c learnt binary clauses : 0
1800.03/1810.91 c learnt ternary clauses : 0
1800.03/1810.91 c learnt clauses : 638258
1800.03/1810.91 c ignored clauses : 0
1800.03/1810.96 c root simplifications : 0
1800.03/1810.96 c removed literals (reason simplification) : 13312396
1800.03/1810.96 c reason swapping (by a shorter reason) : 0
1800.03/1810.96 c Calls to reduceDB : 44
1800.03/1810.96 c speed (assignments/second) : 32986.63849869826
1800.03/1810.96 c non guided choices 4095
1800.03/1810.96 s UNKNOWN
1800.03/1810.96 c Total wall clock time (in seconds) : 1810.508
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1090936-1215272692/watcher-1090936-1215272692 -o /tmp/evaluation-result-1090936-1215272692/solver-1090936-1215272692 -C 1800 -W 2200 -M 900 --output-limit 1,15 java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1090936-1215272692.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: 1.92 1.98 1.99 4/81 30622
/proc/meminfo: memFree=1654584/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=1804 CPUtime=0
/proc/30622/stat : 30622 (java6) R 30620 30622 30407 0 -1 0 183 0 0 0 0 0 0 0 18 0 1 0 2006240804 1847296 155 996147200 134512640 134550740 4294956176 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/30622/statm: 451 155 111 9 0 93 0
[startup+0.043096 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 30622
/proc/meminfo: memFree=1654584/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=801432 CPUtime=0.03
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 2495 0 1 0 2 1 0 0 18 0 5 0 2006240804 820666368 2232 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 200358 2232 949 9 0 197741 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 801432
[startup+0.102108 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 30622
/proc/meminfo: memFree=1654584/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=804612 CPUtime=0.09
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 3006 0 1 0 7 2 0 0 18 0 12 0 2006240804 823922688 2739 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 201153 2739 1048 9 0 198522 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 804612
[startup+0.302143 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 30622
/proc/meminfo: memFree=1654584/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=807760 CPUtime=0.28
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 4838 0 1 0 24 4 0 0 18 0 12 0 2006240804 827146240 4167 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 201940 4167 1299 9 0 199309 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 807760
[startup+0.70121 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 30622
/proc/meminfo: memFree=1654584/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=807788 CPUtime=0.67
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 6257 0 1 0 62 5 0 0 18 0 12 0 2006240804 827174912 5387 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 201947 5387 1335 9 0 199309 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 807788
[startup+1.50136 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 30634
/proc/meminfo: memFree=1635224/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=811980 CPUtime=1.47
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 9142 0 1 0 140 7 0 0 18 0 12 0 2006240804 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 202995 7530 1352 9 0 200357 0
[pid=30622/tid=30624] ppid=30620 vsize=811980 CPUtime=0.86
/proc/30622/task/30624/stat : 30624 (java) R 30620 30622 30407 0 -1 64 5027 0 1 0 81 5 0 0 19 0 12 0 2006240805 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30625] ppid=30620 vsize=811980 CPUtime=0
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30407 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 2006240806 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30626] ppid=30620 vsize=811980 CPUtime=0
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 2006240806 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30627] ppid=30620 vsize=811980 CPUtime=0
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 2006240808 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=811980 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 9 0 0 0 0 0 0 0 21 0 12 0 2006240808 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30629] ppid=30620 vsize=811980 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 2006240808 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30630] ppid=30620 vsize=811980 CPUtime=0
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30407 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 2006240813 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30631] ppid=30620 vsize=811980 CPUtime=0.34
/proc/30622/task/30631/stat : 30631 (java) R 30620 30622 30407 0 -1 64 2052 0 0 0 34 0 0 0 17 0 12 0 2006240813 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 104089141 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30632] ppid=30620 vsize=811980 CPUtime=0.24
/proc/30622/task/30632/stat : 30632 (java) S 30620 30622 30407 0 -1 64 1297 0 0 0 24 0 0 0 16 0 12 0 2006240813 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30633] ppid=30620 vsize=811980 CPUtime=0
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 2006240813 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30634] ppid=30620 vsize=811980 CPUtime=0
/proc/30622/task/30634/stat : 30634 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 2006240813 831467520 7530 996147200 134512640 134550740 4294956016 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) 811980
[startup+3.10264 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 30634
/proc/meminfo: memFree=1627032/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=811284 CPUtime=3.06
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 12198 0 1 0 296 10 0 0 18 0 12 0 2006240804 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 202821 9602 1368 9 0 200183 0
[pid=30622/tid=30624] ppid=30620 vsize=811284 CPUtime=1.49
/proc/30622/task/30624/stat : 30624 (java) R 30620 30622 30407 0 -1 64 7036 0 1 0 142 7 0 0 25 0 12 0 2006240805 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30625] ppid=30620 vsize=811284 CPUtime=0
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30407 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 2006240806 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30626] ppid=30620 vsize=811284 CPUtime=0
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 2006240806 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30627] ppid=30620 vsize=811284 CPUtime=0
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 2006240808 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=811284 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 9 0 0 0 0 0 0 0 21 0 12 0 2006240808 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30629] ppid=30620 vsize=811284 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 2006240808 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30630] ppid=30620 vsize=811284 CPUtime=0
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30407 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 2006240813 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30631] ppid=30620 vsize=811284 CPUtime=0.87
/proc/30622/task/30631/stat : 30631 (java) S 30620 30622 30407 0 -1 64 2885 0 0 0 86 1 0 0 17 0 12 0 2006240813 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30632] ppid=30620 vsize=811284 CPUtime=0.66
/proc/30622/task/30632/stat : 30632 (java) R 30620 30622 30407 0 -1 64 1511 0 0 0 66 0 0 0 16 0 12 0 2006240813 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 105690126 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30633] ppid=30620 vsize=811284 CPUtime=0
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 2006240813 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30634] ppid=30620 vsize=811284 CPUtime=0
/proc/30622/task/30634/stat : 30634 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 2006240813 830754816 9602 996147200 134512640 134550740 4294956016 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) 811284
[startup+6.30421 s]
/proc/loadavg: 1.93 1.98 1.99 4/93 30634
/proc/meminfo: memFree=1587992/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=812388 CPUtime=6.21
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 26486 0 1 0 604 17 0 0 18 0 13 0 2006240804 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 203097 22083 1393 9 0 200459 0
[pid=30622/tid=30624] ppid=30620 vsize=812388 CPUtime=2.84
/proc/30622/task/30624/stat : 30624 (java) R 30620 30622 30407 0 -1 64 17301 0 1 0 272 12 0 0 25 0 13 0 2006240805 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30625] ppid=30620 vsize=812388 CPUtime=0.04
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30407 0 -1 64 1186 0 0 0 4 0 0 0 17 0 13 0 2006240806 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30626] ppid=30620 vsize=812388 CPUtime=0.02
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30407 0 -1 64 683 0 0 0 2 0 0 0 17 0 13 0 2006240806 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30627] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 2006240808 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 2006240808 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30629] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 2006240808 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30630] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30407 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 2006240813 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30631] ppid=30620 vsize=812388 CPUtime=1.57
/proc/30622/task/30631/stat : 30631 (java) R 30620 30622 30407 0 -1 64 3204 0 0 0 156 1 0 0 15 0 13 0 2006240813 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 105837313 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30632] ppid=30620 vsize=812388 CPUtime=1.7
/proc/30622/task/30632/stat : 30632 (java) S 30620 30622 30407 0 -1 64 3313 0 0 0 169 1 0 0 16 0 13 0 2006240813 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30633] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 2006240813 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30634] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30634/stat : 30634 (java) R 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 2006240813 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 812388
[startup+12.7024 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 30635
/proc/meminfo: memFree=1570704/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=812388 CPUtime=12.55
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 26520 0 1 0 1237 18 0 0 18 0 13 0 2006240804 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 203097 22115 1399 9 0 200459 0
[pid=30622/tid=30624] ppid=30620 vsize=812388 CPUtime=8.76
/proc/30622/task/30624/stat : 30624 (java) R 30620 30622 30407 0 -1 64 17305 0 1 0 864 12 0 0 25 0 13 0 2006240805 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4110332716 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30625] ppid=30620 vsize=812388 CPUtime=0.04
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30407 0 -1 64 1186 0 0 0 4 0 0 0 17 0 13 0 2006240806 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30626] ppid=30620 vsize=812388 CPUtime=0.02
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30407 0 -1 64 683 0 0 0 2 0 0 0 17 0 13 0 2006240806 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30627] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 2006240808 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 2006240808 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30629] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 2006240808 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30630] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30407 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 2006240813 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30631] ppid=30620 vsize=812388 CPUtime=1.73
/proc/30622/task/30631/stat : 30631 (java) S 30620 30622 30407 0 -1 64 3217 0 0 0 172 1 0 0 15 0 13 0 2006240813 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30632] ppid=30620 vsize=812388 CPUtime=1.93
/proc/30622/task/30632/stat : 30632 (java) S 30620 30622 30407 0 -1 64 3330 0 0 0 192 1 0 0 15 0 13 0 2006240813 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30633] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 2006240813 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30634] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30634/stat : 30634 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 2006240813 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30635] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30635/stat : 30635 (java) S 30620 30622 30407 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 2006241411 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 812388
[startup+25.5026 s]
/proc/loadavg: 1.95 1.98 1.99 3/94 30635
/proc/meminfo: memFree=1570576/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=812388 CPUtime=25.21
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 26527 0 1 0 2503 18 0 0 18 0 13 0 2006240804 831885312 22121 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 203097 22121 1399 9 0 200459 0
[pid=30622/tid=30624] ppid=30620 vsize=812388 CPUtime=21.35
/proc/30622/task/30624/stat : 30624 (java) R 30620 30622 30407 0 -1 64 17306 0 1 0 2123 12 0 0 25 0 13 0 2006240805 831885312 22121 996147200 134512640 134550740 4294956016 18446744073709551615 4110406984 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30625] ppid=30620 vsize=812388 CPUtime=0.04
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30407 0 -1 64 1186 0 0 0 4 0 0 0 17 0 13 0 2006240806 831885312 22121 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30626] ppid=30620 vsize=812388 CPUtime=0.02
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30407 0 -1 64 683 0 0 0 2 0 0 0 17 0 13 0 2006240806 831885312 22121 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30627] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 2006240808 831885312 22121 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 2006240808 831885312 22121 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30629] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 2006240808 831885312 22121 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=30622/tid=30627] ppid=30620 vsize=814956 CPUtime=2.89
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 7850 0 0 0 287 2 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30622/tid=30629] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30630] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30407 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30631] ppid=30620 vsize=814956 CPUtime=1.89
/proc/30622/task/30631/stat : 30631 (java) S 30620 30622 30407 0 -1 64 3227 0 0 0 188 1 0 0 16 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30632] ppid=30620 vsize=814956 CPUtime=2.04
/proc/30622/task/30632/stat : 30632 (java) S 30620 30622 30407 0 -1 64 3335 0 0 0 202 2 0 0 17 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30633] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30634] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30634/stat : 30634 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30635] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30635/stat : 30635 (java) S 30620 30622 30407 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 2006241411 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.23
Current children cumulated vsize (KiB) 814956
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/86 30671
/proc/meminfo: memFree=1057232/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=814956 CPUtime=1652.71
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 199077 0 1 0 165178 93 0 0 18 0 13 0 2006240804 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 203739 167782 1403 9 0 201101 0
[pid=30622/tid=30624] ppid=30620 vsize=814956 CPUtime=1641.19
/proc/30622/task/30624/stat : 30624 (java) R 30620 30622 30407 0 -1 64 17336 0 1 0 164102 17 0 0 25 0 13 0 2006240805 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4110318716 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30625] ppid=30620 vsize=814956 CPUtime=2.35
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30407 0 -1 64 84838 0 0 0 199 36 0 0 17 0 13 0 2006240806 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30626] ppid=30620 vsize=814956 CPUtime=2.3
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30407 0 -1 64 81722 0 0 0 198 32 0 0 17 0 13 0 2006240806 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30627] ppid=30620 vsize=814956 CPUtime=2.89
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 7850 0 0 0 287 2 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30622/tid=30629] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30630] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30407 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30631] ppid=30620 vsize=814956 CPUtime=1.89
/proc/30622/task/30631/stat : 30631 (java) S 30620 30622 30407 0 -1 64 3227 0 0 0 188 1 0 0 16 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30632] ppid=30620 vsize=814956 CPUtime=2.04
/proc/30622/task/30632/stat : 30632 (java) S 30620 30622 30407 0 -1 64 3335 0 0 0 202 2 0 0 17 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30633] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30634] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30634/stat : 30634 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30635] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30635/stat : 30635 (java) S 30620 30622 30407 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 2006241411 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.71
Current children cumulated vsize (KiB) 814956
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/86 30671
/proc/meminfo: memFree=1057168/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=814956 CPUtime=1712.2
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 199077 0 1 0 171127 93 0 0 18 0 13 0 2006240804 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 203739 167782 1403 9 0 201101 0
[pid=30622/tid=30624] ppid=30620 vsize=814956 CPUtime=1700.68
/proc/30622/task/30624/stat : 30624 (java) R 30620 30622 30407 0 -1 64 17336 0 1 0 170051 17 0 0 25 0 13 0 2006240805 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4110318502 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30625] ppid=30620 vsize=814956 CPUtime=2.35
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30407 0 -1 64 84838 0 0 0 199 36 0 0 17 0 13 0 2006240806 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30626] ppid=30620 vsize=814956 CPUtime=2.3
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30407 0 -1 64 81722 0 0 0 198 32 0 0 17 0 13 0 2006240806 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30627] ppid=30620 vsize=814956 CPUtime=2.89
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 7850 0 0 0 287 2 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30622/tid=30629] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30630] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30407 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30631] ppid=30620 vsize=814956 CPUtime=1.89
/proc/30622/task/30631/stat : 30631 (java) S 30620 30622 30407 0 -1 64 3227 0 0 0 188 1 0 0 16 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30632] ppid=30620 vsize=814956 CPUtime=2.04
/proc/30622/task/30632/stat : 30632 (java) S 30620 30622 30407 0 -1 64 3335 0 0 0 202 2 0 0 17 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30633] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30634] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30634/stat : 30634 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30635] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30635/stat : 30635 (java) S 30620 30622 30407 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 2006241411 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.2
Current children cumulated vsize (KiB) 814956
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/86 30671
/proc/meminfo: memFree=1057040/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=814956 CPUtime=1771.68
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 199078 0 1 0 177075 93 0 0 18 0 13 0 2006240804 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 203739 167782 1403 9 0 201101 0
[pid=30622/tid=30624] ppid=30620 vsize=814956 CPUtime=1760.03
/proc/30622/task/30624/stat : 30624 (java) R 30620 30622 30407 0 -1 64 17337 0 1 0 175986 17 0 0 25 0 13 0 2006240805 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4110319164 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30625] ppid=30620 vsize=814956 CPUtime=2.4
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30407 0 -1 64 84838 0 0 0 204 36 0 0 17 0 13 0 2006240806 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30626] ppid=30620 vsize=814956 CPUtime=2.37
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30407 0 -1 64 81722 0 0 0 205 32 0 0 17 0 13 0 2006240806 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30627] ppid=30620 vsize=814956 CPUtime=2.89
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 7850 0 0 0 287 2 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30622/tid=30629] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30630] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30407 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30631] ppid=30620 vsize=814956 CPUtime=1.89
/proc/30622/task/30631/stat : 30631 (java) S 30620 30622 30407 0 -1 64 3227 0 0 0 188 1 0 0 16 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30632] ppid=30620 vsize=814956 CPUtime=2.04
/proc/30622/task/30632/stat : 30632 (java) S 30620 30622 30407 0 -1 64 3335 0 0 0 202 2 0 0 17 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30633] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30634] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30634/stat : 30634 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30635] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30635/stat : 30635 (java) S 30620 30622 30407 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 2006241411 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.68
Current children cumulated vsize (KiB) 814956
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.9 s]
/proc/loadavg: 2.06 1.99 1.99 3/86 30671
/proc/meminfo: memFree=1057040/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=814956 CPUtime=1800.03
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 199078 0 1 0 179910 93 0 0 18 0 13 0 2006240804 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 203739 167782 1403 9 0 201101 0
[pid=30622/tid=30624] ppid=30620 vsize=814956 CPUtime=1788.38
/proc/30622/task/30624/stat : 30624 (java) R 30620 30622 30407 0 -1 64 17337 0 1 0 178821 17 0 0 25 0 13 0 2006240805 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4110406438 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30625] ppid=30620 vsize=814956 CPUtime=2.4
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30407 0 -1 64 84838 0 0 0 204 36 0 0 17 0 13 0 2006240806 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30626] ppid=30620 vsize=814956 CPUtime=2.37
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30407 0 -1 64 81722 0 0 0 205 32 0 0 17 0 13 0 2006240806 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30627] ppid=30620 vsize=814956 CPUtime=2.89
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 7850 0 0 0 287 2 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30622/tid=30629] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30630] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30407 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30631] ppid=30620 vsize=814956 CPUtime=1.89
/proc/30622/task/30631/stat : 30631 (java) S 30620 30622 30407 0 -1 64 3227 0 0 0 188 1 0 0 16 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30632] ppid=30620 vsize=814956 CPUtime=2.04
/proc/30622/task/30632/stat : 30632 (java) S 30620 30622 30407 0 -1 64 3335 0 0 0 202 2 0 0 17 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30633] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30634] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30634/stat : 30634 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30635] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30635/stat : 30635 (java) S 30620 30622 30407 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 2006241411 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 814956
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1811.01 s]
/proc/loadavg: 2.06 1.99 1.99 3/86 30671
/proc/meminfo: memFree=1057040/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=0 CPUtime=1800.14
/proc/30622/stat : 30622 (java) Z 30620 30622 30407 0 -1 1036 199097 0 1 0 179918 96 0 0 15 0 2 0 2006240804 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1811.09
CPU time (s): 1800.23
CPU user time (s): 1799.19
CPU system time (s): 1.04484
CPU usage (%): 99.4002
Max. virtual memory (cumulated for all children) (KiB): 816960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 1.04484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199097
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= 38220
involuntary context switches= 63968
runsolver used 2.6056 second user time and 5.69813 second system time
The end
Begin job on node56 at 2008-07-05 17:44:52
IDJOB=1090936
IDBENCH=58512
IDSOLVER=344
FILE ID=node56/1090936-1215272692
PBS_JOBID= 7882244
Free space on /tmp= 103232 MiB
SOLVER NAME= SAT4J CSP 2008-06-13
BENCH NAME= CPAI08/csp/graphColoring/insertion/k-insertion/normalized-1-insertions-6-6.xml
COMMAND LINE= java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1090936-1215272692/watcher-1090936-1215272692 -o /tmp/evaluation-result-1090936-1215272692/solver-1090936-1215272692 -C 1800 -W 2200 -M 900 --output-limit 1,15 java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1090936-1215272692.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a619a63f941f7bbdcfca2c9c1b977147
RANDOM SEED=850575240
node56.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.265
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 : 5931.00
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.265
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: 1655064 kB
Buffers: 39932 kB
Cached: 230640 kB
SwapCached: 6936 kB
Active: 229480 kB
Inactive: 117924 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1655064 kB
SwapTotal: 4192956 kB
SwapFree: 4179784 kB
Dirty: 1844 kB
Writeback: 0 kB
Mapped: 90656 kB
Slab: 38472 kB
Committed_AS: 4796956 kB
PageTables: 2040 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= 103236 MiB
End job on node56 at 2008-07-05 18:15:05