0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393798-1568433938.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4393798-1568433938.xml, -tl, 20160s, -p, 8]
0.33/0.23 c 8 solvers in parallel
0.33/0.29 c parse instance...
0.73/0.78 c solve instance...
0.73/0.82 o 138
0.98/0.83 o 159
0.98/0.84 o 169
0.98/0.84 o 207
0.98/0.84 o 408
0.98/0.86 o 412
0.98/0.86 o 452
0.98/0.86 o 472
0.98/0.87 o 475
0.98/0.89 o 499
0.98/0.90 o 502
0.98/0.90 o 503
0.98/0.90 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (39/41)
0.98/0.90 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
0.98/0.90 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
0.98/0.90 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
0.98/0.90 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
0.98/0.90 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
0.98/0.90 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (39/41)
0.98/0.90 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
0.98/0.90 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
0.98/0.90 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
0.98/0.90 at org.chocosolver.solver.Solver.repair(Solver.java:443)
0.98/0.90 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
0.98/0.90 at org.chocosolver.solver.Solver.solve(Solver.java:262)
0.98/0.90 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
0.98/0.90 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
0.98/0.90 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
0.98/0.90 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
0.98/0.90 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
0.98/0.90 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
0.98/0.90 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
0.98/0.90 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
0.98/0.90 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
0.98/0.90 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
0.98/0.91 o 506
1.32/0.91 o 516
1.32/0.91 o 519
1.32/0.92 o 528
1.32/0.92 o 531
1.32/0.92 o 534
1.32/0.93 o 537
1.32/0.94 o 541
1.32/0.95 o 553
1.32/0.95 o 556
1.32/0.95 o 566
1.32/0.95 o 569
1.32/0.96 o 572
1.32/0.97 o 575
1.32/0.97 o 578
1.32/0.98 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (39/44)
1.32/0.98 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
1.32/0.98 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
1.32/0.98 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
1.32/0.98 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
1.32/0.98 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
1.32/0.98 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (39/44)
1.32/0.98 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
1.32/0.98 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
1.32/0.98 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
1.32/0.98 at org.chocosolver.solver.Solver.repair(Solver.java:443)
1.32/0.98 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
1.32/0.98 at org.chocosolver.solver.Solver.solve(Solver.java:262)
1.32/0.98 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
1.32/0.98 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
1.32/0.98 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
1.32/0.98 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
1.32/0.98 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
1.32/0.98 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
1.32/0.98 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
1.32/0.98 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
1.32/0.98 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
1.32/0.98 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
1.32/0.98 o 581
1.32/0.98 o 611
1.32/0.99 o 620
1.32/0.99 o 622
1.32/0.99 o 623
1.32/0.99 o 639
1.32/0.99 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (38/42)
1.32/0.99 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
1.32/0.99 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
1.32/0.99 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
1.32/0.99 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
1.32/0.99 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
1.32/0.99 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (38/42)
1.32/0.99 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
1.32/0.99 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
1.32/0.99 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
1.32/0.99 at org.chocosolver.solver.Solver.repair(Solver.java:443)
1.32/0.99 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
1.32/0.99 at org.chocosolver.solver.Solver.solve(Solver.java:262)
1.32/0.99 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
1.32/0.99 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
1.32/0.99 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
1.32/0.99 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
1.32/0.99 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
1.32/0.99 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
1.32/0.99 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
1.32/1.00 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
1.32/1.00 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
1.32/1.00 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
1.32/1.00 o 641
1.76/1.00 o 651
1.76/1.01 o 656
1.76/1.01 o 672
1.76/1.04 o 675
1.76/1.05 o 719
1.76/1.06 o 738
2.46/1.10 o 743
2.46/1.12 o 744
2.46/1.13 o 752
2.46/1.14 o 762
2.46/1.14 o 763
2.46/1.16 o 764
2.46/1.17 o 765
2.46/1.19 o 767
3.10/1.23 o 795
3.10/1.25 o 803
3.10/1.26 o 805
3.10/1.28 o 826
3.81/1.31 o 828
3.81/1.32 o 829
3.81/1.33 o 839
3.81/1.33 o 840
3.81/1.34 o 843
3.81/1.34 o 865
3.81/1.34 o 875
3.81/1.35 o 876
3.81/1.35 o 877
3.81/1.37 o 878
3.81/1.38 o 884
3.81/1.39 o 885
4.49/1.41 o 899
4.49/1.42 o 900
4.49/1.44 o 923
4.49/1.46 o 932
5.13/1.50 o 935
5.13/1.53 o 953
5.13/1.55 o 957
5.82/1.62 o 962
6.56/1.70 o 968
6.56/1.75 o 969
6.56/1.75 o 971
6.56/1.78 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (33/35)
6.56/1.78 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
6.56/1.78 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
6.56/1.78 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
6.56/1.78 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
6.56/1.78 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
6.56/1.78 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (33/35)
6.56/1.78 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
6.56/1.78 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
6.56/1.78 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
6.56/1.78 at org.chocosolver.solver.Solver.repair(Solver.java:443)
6.56/1.78 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
6.56/1.78 at org.chocosolver.solver.Solver.solve(Solver.java:262)
6.56/1.78 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
6.56/1.78 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
6.56/1.78 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
6.56/1.78 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
6.56/1.78 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
6.56/1.78 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
6.56/1.78 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
6.56/1.78 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
6.56/1.78 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
6.56/1.78 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
6.56/1.78 o 975
6.56/1.79 o 983
7.34/1.86 o 989
7.34/1.87 o 992
308.51/60.31 s OPTIMUM FOUND
308.51/60.31 v <instantiation>
308.51/60.31 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] </list>
308.51/60.31 v <values>0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 </values>
308.51/60.31 v </instantiation>
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15058 MiB free)
memory of node 1: 16384 MiB (15488 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393798-1568433938/watcher-4393798-1568433938 -o /tmp/evaluation-result-4393798-1568433938/solver-4393798-1568433938 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568427839-5017 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1957398952 HOME/instance-4393798-1568433938.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10351, runsolver pid=10348
Current StackSize limit: 8192 KiB
[startup+0.100112 s]*
/proc/loadavg: 5.73 3.64 3.05 2/212 10372
/proc/meminfo: memFree=31263704/32770624 swapFree=66919320/67108860
[pid=10351] ppid=10348 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10351/stat : 10351 (xcsp3-exec) S 10348 10351 4990 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419331748 115843072 363 33554432000 4194304 5098028 140734815195072 140734815193176 139879557132924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7933952 140734815204213 140734815204457 140734815204457 140734815207370 0
/proc/10351/statm: 28282 363 304 221 0 87 0
[pid=10353] ppid=10351 vsize=28227388 memory=29016 CPUtime=0.12 cores=0-7
/proc/10353/stat : 10353 (java) S 10351 10351 4990 0 -1 1077944320 5734 0 0 0 11 1 0 0 20 0 20 0 419331748 28904845312 7254 33554432000 4194304 4196468 140729105757296 140729105739840 140635048648439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
/proc/10353/statm: 7056847 7254 3117 1 0 7019032 0
[pid=10353/tid=10354] ppid=10351 vsize=28227388 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/10353/task/10354/stat : 10354 (java) R 10351 10351 4990 0 -1 4202560 3633 0 0 0 8 1 0 0 20 0 20 0 419331748 28904845312 7254 33554432000 4194304 4196468 140729105757296 140635052874576 140634685774544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10355] ppid=10351 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10353/task/10355/stat : 10355 (java) S 10351 10351 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331749 28904845312 7254 33554432000 4194304 4196468 140729105757296 140634599762960 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10356] ppid=10351 vsize=28227388 memory=139646067463808 CPUtime=0 cores=0-7
/proc/10353/task/10356/stat : 10356 (java) S 10351 10351 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331749 28904845312 7254 33554432000 4194304 4196468 140729105757296 140634598710416 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10357] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10357/stat : 10357 (java) S 10351 10351 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419331749 28904845312 7254 33554432000 4194304 4196468 140729105757296 140634597657360 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10358] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10358/stat : 10358 (java) S 10351 10351 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331749 28904845312 7254 33554432000 4194304 4196468 140729105757296 140634596604816 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10359] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10359/stat : 10359 (java) S 10351 10351 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331749 28904845312 7254 33554432000 4194304 4196468 140729105757296 140634595551760 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10360] ppid=10351 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10353/task/10360/stat : 10360 (java) S 10351 10351 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331749 28904845312 7254 33554432000 4194304 4196468 140729105757296 140634594499216 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10361] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10361/stat : 10361 (java) S 10351 10351 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419331749 28904845312 7254 33554432000 4194304 4196468 140729105757296 140634593446160 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10362] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10362/stat : 10362 (java) S 10351 10351 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331749 28904845312 7254 33554432000 4194304 4196468 140729105757296 140634592393616 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10363] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10363/stat : 10363 (java) S 10351 10351 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331751 28904845312 7254 33554432000 4194304 4196468 140729105757296 140634549725936 140635048659586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10364] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10364/stat : 10364 (java) S 10351 10351 4990 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419331751 28904845312 7254 33554432000 4194304 4196468 140729105757296 140634548672160 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10365] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10365/stat : 10365 (java) S 10351 10351 4990 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419331751 28904845312 7254 33554432000 4194304 4196468 140729105757296 140634547619056 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10366] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10366/stat : 10366 (java) S 10351 10351 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331754 28904845312 7254 33554432000 4194304 4196468 140729105757296 140634546567632 140635048667035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10367] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10367/stat : 10367 (java) S 10351 10351 4990 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 419331754 28904845312 7254 33554432000 4194304 4196468 140729105757296 140634545514736 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10368] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10368/stat : 10368 (java) R 10351 10351 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331754 28904845312 7254 33554432000 4194304 4196468 140729105757296 140634544462192 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10369] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10369/stat : 10369 (java) S 10351 10351 4990 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 419331754 28904845312 7254 33554432000 4194304 4196468 140729105757296 140634158655472 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10370] ppid=10351 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/10353/task/10370/stat : 10370 (java) R 10351 10351 4990 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 20 0 419331754 28904845312 7254 33554432000 4194304 4196468 140729105757296 140634157602928 140635048660374 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10371] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10371/stat : 10371 (java) S 10351 10351 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419331754 28904845312 7254 33554432000 4194304 4196468 140729105757296 140634156551136 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10372] ppid=10351 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10353/task/10372/stat : 10372 (java) S 10351 10351 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331754 28904845312 7254 33554432000 4194304 4196468 140729105757296 140634155498672 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30468 KiB
[startup+0.21009 s]*
/proc/loadavg: 5.73 3.64 3.05 3/212 10372
/proc/meminfo: memFree=31249652/32770624 swapFree=66919320/67108860
[pid=10351] ppid=10348 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10351/stat : 10351 (xcsp3-exec) S 10348 10351 4990 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419331748 115843072 363 33554432000 4194304 5098028 140734815195072 140734815193176 139879557132924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7933952 140734815204213 140734815204457 140734815204457 140734815207370 0
/proc/10351/statm: 28282 363 304 221 0 87 0
[pid=10353] ppid=10351 vsize=28227388 memory=41168 CPUtime=0.33 cores=0-7
/proc/10353/stat : 10353 (java) S 10351 10351 4990 0 -1 1077944320 9571 0 0 0 29 4 0 0 20 0 20 0 419331748 28904845312 10292 33554432000 4194304 4196468 140729105757296 140729105739840 140635048648439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
/proc/10353/statm: 7056847 10292 3298 1 0 7019032 0
[pid=10353/tid=10354] ppid=10351 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/10353/task/10354/stat : 10354 (java) R 10351 10351 4990 0 -1 4202560 6655 0 0 0 17 2 0 0 20 0 20 0 419331748 28904845312 10292 33554432000 4194304 4196468 140729105757296 140635052878160 140635041326453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10355] ppid=10351 vsize=28227388 memory=331 CPUtime=0 cores=0-7
/proc/10353/task/10355/stat : 10355 (java) S 10351 10351 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331749 28904845312 10292 33554432000 4194304 4196468 140729105757296 140634599762960 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10356] ppid=10351 vsize=28227388 memory=288370022219175552 CPUtime=0 cores=0-7
/proc/10353/task/10356/stat : 10356 (java) S 10351 10351 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331749 28904845312 10292 33554432000 4194304 4196468 140729105757296 140634598710416 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10357] ppid=10351 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10353/task/10357/stat : 10357 (java) S 10351 10351 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419331749 28904845312 10292 33554432000 4194304 4196468 140729105757296 140634597657360 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10358] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10358/stat : 10358 (java) S 10351 10351 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331749 28904845312 10292 33554432000 4194304 4196468 140729105757296 140634596604816 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10359] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10359/stat : 10359 (java) S 10351 10351 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331749 28904845312 10292 33554432000 4194304 4196468 140729105757296 140634595551760 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10360] ppid=10351 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10353/task/10360/stat : 10360 (java) S 10351 10351 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331749 28904845312 10292 33554432000 4194304 4196468 140729105757296 140634594499216 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10361] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10361/stat : 10361 (java) S 10351 10351 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419331749 28904845312 10292 33554432000 4194304 4196468 140729105757296 140634593446160 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10362] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10362/stat : 10362 (java) S 10351 10351 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331749 28904845312 10292 33554432000 4194304 4196468 140729105757296 140634592393616 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10363] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10363/stat : 10363 (java) S 10351 10351 4990 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419331751 28904845312 10292 33554432000 4194304 4196468 140729105757296 140634549725936 140635048659586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10364] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10364/stat : 10364 (java) S 10351 10351 4990 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419331751 28904845312 10292 33554432000 4194304 4196468 140729105757296 140634548672160 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10365] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10365/stat : 10365 (java) S 10351 10351 4990 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419331751 28904845312 10292 33554432000 4194304 4196468 140729105757296 140634547619056 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10366] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10366/stat : 10366 (java) S 10351 10351 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331754 28904845312 10292 33554432000 4194304 4196468 140729105757296 140634546567632 140635048667035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10367] ppid=10351 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/10353/task/10367/stat : 10367 (java) S 10351 10351 4990 0 -1 1077944384 405 0 0 0 1 0 0 0 20 0 20 0 419331754 28904845312 10292 33554432000 4194304 4196468 140729105757296 140634545514736 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10368] ppid=10351 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/10353/task/10368/stat : 10368 (java) S 10351 10351 4990 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 419331754 28904845312 10292 33554432000 4194304 4196468 140729105757296 140634544462192 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10369] ppid=10351 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/10353/task/10369/stat : 10369 (java) S 10351 10351 4990 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 20 0 419331754 28904845312 10292 33554432000 4194304 4196468 140729105757296 140634158655472 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10370] ppid=10351 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/10353/task/10370/stat : 10370 (java) S 10351 10351 4990 0 -1 1077944384 778 0 0 0 7 0 0 0 20 0 20 0 419331754 28904845312 10292 33554432000 4194304 4196468 140729105757296 140634157602928 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10371] ppid=10351 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10371/stat : 10371 (java) S 10351 10351 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419331754 28904845312 10292 33554432000 4194304 4196468 140729105757296 140634156551136 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10372] ppid=10351 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10353/task/10372/stat : 10372 (java) S 10351 10351 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331754 28904845312 10292 33554432000 4194304 4196468 140729105757296 140634155498672 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42620 KiB
[startup+0.309916 s]*
/proc/loadavg: 5.73 3.64 3.05 3/212 10372
/proc/meminfo: memFree=31232832/32770624 swapFree=66919320/67108860
[pid=10351] ppid=10348 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10351/stat : 10351 (xcsp3-exec) S 10348 10351 4990 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419331748 115843072 363 33554432000 4194304 5098028 140734815195072 140734815193176 139879557132924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7933952 140734815204213 140734815204457 140734815204457 140734815207370 0
/proc/10351/statm: 28282 363 304 221 0 87 0
[pid=10353] ppid=10351 vsize=28231644 memory=49856 CPUtime=0.51 cores=0-7
/proc/10353/stat : 10353 (java) S 10351 10351 4990 0 -1 1077944320 10778 0 0 0 46 5 0 0 20 0 20 0 419331748 28909203456 12464 33554432000 4194304 4196468 140729105757296 140729105739840 140635048648439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
/proc/10353/statm: 7057911 12464 3353 1 0 7019032 0
[pid=10353/tid=10354] ppid=10351 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/10353/task/10354/stat : 10354 (java) R 10351 10351 4990 0 -1 4202560 7714 0 0 0 26 3 0 0 20 0 20 0 419331748 28909203456 12464 33554432000 4194304 4196468 140729105757296 140635052885072 140635032728926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10355] ppid=10351 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10355/stat : 10355 (java) S 10351 10351 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331749 28909203456 12464 33554432000 4194304 4196468 140729105757296 140634599762960 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10356] ppid=10351 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10356/stat : 10356 (java) S 10351 10351 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331749 28909203456 12464 33554432000 4194304 4196468 140729105757296 140634598710416 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10357] ppid=10351 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10357/stat : 10357 (java) S 10351 10351 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419331749 28909203456 12464 33554432000 4194304 4196468 140729105757296 140634597657360 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10358] ppid=10351 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10358/stat : 10358 (java) S 10351 10351 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331749 28909203456 12464 33554432000 4194304 4196468 140729105757296 140634596604816 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10359] ppid=10351 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10359/stat : 10359 (java) S 10351 10351 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331749 28909203456 12464 33554432000 4194304 4196468 140729105757296 140634595551760 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10360] ppid=10351 vsize=28231644 memory=139645962775215 CPUtime=0 cores=0-7
/proc/10353/task/10360/stat : 10360 (java) S 10351 10351 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331749 28909203456 12464 33554432000 4194304 4196468 140729105757296 140634594499216 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10361] ppid=10351 vsize=28231644 memory=139645962777520 CPUtime=0 cores=0-7
/proc/10353/task/10361/stat : 10361 (java) S 10351 10351 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419331749 28909203456 12464 33554432000 4194304 4196468 140729105757296 140634593446160 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10362] ppid=10351 vsize=28231644 memory=139645962779824 CPUtime=0 cores=0-7
/proc/10353/task/10362/stat : 10362 (java) S 10351 10351 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331749 28909203456 12464 33554432000 4194304 4196468 140729105757296 140634592393616 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10363] ppid=10351 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10363/stat : 10363 (java) S 10351 10351 4990 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419331751 28909203456 12464 33554432000 4194304 4196468 140729105757296 140634549725936 140635048659586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10364] ppid=10351 vsize=28231644 memory=279291925573520 CPUtime=0 cores=0-7
/proc/10353/task/10364/stat : 10364 (java) S 10351 10351 4990 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419331751 28909203456 12464 33554432000 4194304 4196468 140729105757296 140634548672160 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10365] ppid=10351 vsize=28231644 memory=279291925571216 CPUtime=0 cores=0-7
/proc/10353/task/10365/stat : 10365 (java) S 10351 10351 4990 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419331751 28909203456 12464 33554432000 4194304 4196468 140729105757296 140634547619056 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10366] ppid=10351 vsize=28231644 memory=279291925578128 CPUtime=0 cores=0-7
/proc/10353/task/10366/stat : 10366 (java) S 10351 10351 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331754 28909203456 12464 33554432000 4194304 4196468 140729105757296 140634546567632 140635048667035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10367] ppid=10351 vsize=28231644 memory=279291925519408 CPUtime=0.02 cores=0-7
/proc/10353/task/10367/stat : 10367 (java) R 10351 10351 4990 0 -1 4202560 410 0 0 0 2 0 0 0 20 0 20 0 419331754 28909203456 12464 33554432000 4194304 4196468 140729105757296 140634545514736 140635034662760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10368] ppid=10351 vsize=28231644 memory=279291925591952 CPUtime=0.02 cores=0-7
/proc/10353/task/10368/stat : 10368 (java) R 10351 10351 4990 0 -1 4202560 276 0 0 0 2 0 0 0 20 0 20 0 419331754 28909203456 12464 33554432000 4194304 4196468 140729105757296 140634544452576 140635029348736 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10369] ppid=10351 vsize=28231644 memory=279291925598864 CPUtime=0.02 cores=0-7
/proc/10353/task/10369/stat : 10369 (java) S 10351 10351 4990 0 -1 1077944384 181 0 0 0 2 0 0 0 20 0 20 0 419331754 28909203456 12464 33554432000 4194304 4196468 140729105757296 140634158655472 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10370] ppid=10351 vsize=28231644 memory=279291925596560 CPUtime=0.12 cores=0-7
/proc/10353/task/10370/stat : 10370 (java) S 10351 10351 4990 0 -1 1077944384 901 0 0 0 12 0 0 0 20 0 20 0 419331754 28909203456 12464 33554432000 4194304 4196468 140729105757296 140634157602928 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10371] ppid=10351 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10353/task/10371/stat : 10371 (java) S 10351 10351 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419331754 28909203456 12464 33554432000 4194304 4196468 140729105757296 140634156551136 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10372] ppid=10351 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/10353/task/10372/stat : 10372 (java) S 10351 10351 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331754 28909203456 12464 33554432000 4194304 4196468 140729105757296 140634155498672 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51308 KiB
[startup+0.72569 s]*
/proc/loadavg: 5.73 3.64 3.05 4/212 10372
/proc/meminfo: memFree=31239628/32770624 swapFree=66919320/67108860
[pid=10351] ppid=10348 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10351/stat : 10351 (xcsp3-exec) S 10348 10351 4990 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419331748 115843072 363 33554432000 4194304 5098028 140734815195072 140734815193176 139879557132924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7933952 140734815204213 140734815204457 140734815204457 140734815207370 0
/proc/10351/statm: 28282 363 304 221 0 87 0
[pid=10353] ppid=10351 vsize=28233768 memory=55440 CPUtime=0.73 cores=0-7
/proc/10353/stat : 10353 (java) S 10351 10351 4990 0 -1 1077944320 12243 0 0 0 67 6 0 0 20 0 20 0 419331748 28911378432 13860 33554432000 4194304 4196468 140729105757296 140729105739840 140635048648439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
/proc/10353/statm: 7058442 13860 3387 1 0 7019544 0
[pid=10353/tid=10354] ppid=10351 vsize=28233768 memory=8316850467074736180 CPUtime=0.41 cores=0-7
/proc/10353/task/10354/stat : 10354 (java) R 10351 10351 4990 0 -1 4202560 8958 0 0 0 37 4 0 0 20 0 20 0 419331748 28911378432 13860 33554432000 4194304 4196468 140729105757296 140635052877536 140635032756294 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10355] ppid=10351 vsize=28233768 memory=2811096 CPUtime=0 cores=0-7
/proc/10353/task/10355/stat : 10355 (java) S 10351 10351 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331749 28911378432 13860 33554432000 4194304 4196468 140729105757296 140634599762960 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10356] ppid=10351 vsize=28233768 memory=288370022219175552 CPUtime=0 cores=0-7
/proc/10353/task/10356/stat : 10356 (java) S 10351 10351 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331749 28911378432 13860 33554432000 4194304 4196468 140729105757296 140634598710416 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10357] ppid=10351 vsize=28233768 memory=-1 CPUtime=0 cores=0-7
/proc/10353/task/10357/stat : 10357 (java) S 10351 10351 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419331749 28911378432 13860 33554432000 4194304 4196468 140729105757296 140634597657360 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
################
# More data... #
################
[pid=10353/tid=10370] ppid=10351 vsize=28968020 memory=2012 CPUtime=0.86 cores=0-7
/proc/10353/task/10370/stat : 10370 (java) S 10351 10351 4990 0 -1 1077944384 7293 0 0 0 85 1 0 0 20 0 28 0 419331754 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634157602928 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10371] ppid=10351 vsize=28968020 memory=1324 CPUtime=0 cores=0-7
/proc/10353/task/10371/stat : 10371 (java) S 10351 10351 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419331754 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634156551136 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10372] ppid=10351 vsize=28968020 memory=1704 CPUtime=0.01 cores=0-7
/proc/10353/task/10372/stat : 10372 (java) S 10351 10351 4990 0 -1 1077944384 622 0 0 0 0 1 0 0 20 0 28 0 419331754 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634155498672 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11006] ppid=10351 vsize=28968020 memory=5936 CPUtime=32.87 cores=0-7
/proc/10353/task/11006/stat : 11006 (java) S 10351 10351 4990 0 -1 1077944384 2123 0 0 0 3279 8 0 0 20 0 28 0 419331935 29663252480 714708 33554432000 4194304 4196468 140729105757296 140633148727120 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11007] ppid=10351 vsize=28968020 memory=588 CPUtime=32.72 cores=0-7
/proc/10353/task/11007/stat : 11007 (java) S 10351 10351 4990 0 -1 1077944384 414 0 0 0 3263 9 0 0 20 0 28 0 419331935 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634143135136 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11008] ppid=10351 vsize=28968020 memory=780 CPUtime=56.31 cores=0-7
/proc/10353/task/11008/stat : 11008 (java) R 10351 10351 4990 0 -1 4202560 3104 0 0 0 5618 13 0 0 20 0 28 0 419331935 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634142076824 140634685961362 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11009] ppid=10351 vsize=28968020 memory=1056 CPUtime=33.32 cores=0-7
/proc/10353/task/11009/stat : 11009 (java) S 10351 10351 4990 0 -1 1077944384 3323 0 0 0 3314 18 0 0 20 0 28 0 419331935 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634144187552 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11010] ppid=10351 vsize=28968020 memory=11464 CPUtime=33.25 cores=0-7
/proc/10353/task/11010/stat : 11010 (java) S 10351 10351 4990 0 -1 1077944384 3339 0 0 0 3299 26 0 0 20 0 28 0 419331935 29663252480 714708 33554432000 4194304 4196468 140729105757296 140633152938784 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11011] ppid=10351 vsize=28968020 memory=4004 CPUtime=33.53 cores=0-7
/proc/10353/task/11011/stat : 11011 (java) S 10351 10351 4990 0 -1 1077944384 4857 0 0 0 3324 29 0 0 20 0 28 0 419331935 29663252480 714708 33554432000 4194304 4196468 140729105757296 140633147675552 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11012] ppid=10351 vsize=28968020 memory=2828 CPUtime=32.99 cores=0-7
/proc/10353/task/11012/stat : 11012 (java) S 10351 10351 4990 0 -1 1077944384 548 0 0 0 3291 8 0 0 20 0 28 0 419331935 29663252480 714708 33554432000 4194304 4196468 140729105757296 140633149781536 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11013] ppid=10351 vsize=28968020 memory=1000 CPUtime=33.02 cores=0-7
/proc/10353/task/11013/stat : 11013 (java) S 10351 10351 4990 0 -1 1077944384 4336 0 0 0 3278 24 0 0 20 0 28 0 419331937 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634146293408 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
Current children cumulated CPU time: 307.65 s
Current children cumulated vsize: 29081148 KiB
Current children cumulated memory: 2860284 KiB
[startup+59.901 s]
/proc/loadavg: 5.22 3.98 3.21 2/219 11016
/proc/meminfo: memFree=28433152/32770624 swapFree=66919320/67108860
[pid=10351] ppid=10348 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10351/stat : 10351 (xcsp3-exec) S 10348 10351 4990 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419331748 115843072 363 33554432000 4194304 5098028 140734815195072 140734815193176 139879557132924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7933952 140734815204213 140734815204457 140734815204457 140734815207370 0
/proc/10351/statm: 28282 363 304 221 0 87 0
[pid=10353] ppid=10351 vsize=28968020 memory=2858832 CPUtime=308.05 cores=0-7
/proc/10353/stat : 10353 (java) S 10351 10351 4990 0 -1 1077944320 104196 0 0 0 30593 212 0 0 20 0 28 0 419331748 29663252480 714708 33554432000 4194304 4196468 140729105757296 140729105739840 140635048648439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
/proc/10353/statm: 7242005 714708 3527 1 0 7203107 0
[pid=10353/tid=10354] ppid=10351 vsize=28968020 memory=4100 CPUtime=0.52 cores=0-7
/proc/10353/task/10354/stat : 10354 (java) S 10351 10351 4990 0 -1 1077944384 9177 0 0 0 48 4 0 0 20 0 28 0 419331748 29663252480 714708 33554432000 4194304 4196468 140729105757296 140635052889216 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10355] ppid=10351 vsize=28968020 memory=1412 CPUtime=0.17 cores=0-7
/proc/10353/task/10355/stat : 10355 (java) S 10351 10351 4990 0 -1 1077944384 1001 0 0 0 13 4 0 0 20 0 28 0 419331749 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634599762960 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10356] ppid=10351 vsize=28968020 memory=5936 CPUtime=0.16 cores=0-7
/proc/10353/task/10356/stat : 10356 (java) S 10351 10351 4990 0 -1 1077944384 290 0 0 0 12 4 0 0 20 0 28 0 419331749 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634598710416 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10357] ppid=10351 vsize=28968020 memory=588 CPUtime=0.15 cores=0-7
/proc/10353/task/10357/stat : 10357 (java) S 10351 10351 4990 0 -1 1077944384 367 0 0 0 11 4 0 0 20 0 28 0 419331749 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634597657360 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10358] ppid=10351 vsize=28968020 memory=780 CPUtime=0.18 cores=0-7
/proc/10353/task/10358/stat : 10358 (java) S 10351 10351 4990 0 -1 1077944384 475 0 0 0 12 6 0 0 20 0 28 0 419331749 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634596604816 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10359] ppid=10351 vsize=28968020 memory=1056 CPUtime=0.18 cores=0-7
/proc/10353/task/10359/stat : 10359 (java) S 10351 10351 4990 0 -1 1077944384 531 0 0 0 13 5 0 0 20 0 28 0 419331749 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634595551760 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10360] ppid=10351 vsize=28968020 memory=11464 CPUtime=0.15 cores=0-7
/proc/10353/task/10360/stat : 10360 (java) S 10351 10351 4990 0 -1 1077944384 740 0 0 0 11 4 0 0 20 0 28 0 419331749 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634594499216 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10361] ppid=10351 vsize=28968020 memory=4004 CPUtime=0.17 cores=0-7
/proc/10353/task/10361/stat : 10361 (java) S 10351 10351 4990 0 -1 1077944384 1121 0 0 0 13 4 0 0 20 0 28 0 419331749 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634593446160 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10362] ppid=10351 vsize=28968020 memory=2828 CPUtime=0.17 cores=0-7
/proc/10353/task/10362/stat : 10362 (java) S 10351 10351 4990 0 -1 1077944384 407 0 0 0 12 5 0 0 20 0 28 0 419331749 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634592393616 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10363] ppid=10351 vsize=28968020 memory=1000 CPUtime=0.04 cores=0-7
/proc/10353/task/10363/stat : 10363 (java) S 10351 10351 4990 0 -1 1077944384 2960 0 0 0 3 1 0 0 20 0 28 0 419331751 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634549725936 140635048659586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10364] ppid=10351 vsize=28968020 memory=1560 CPUtime=0 cores=0-7
/proc/10353/task/10364/stat : 10364 (java) S 10351 10351 4990 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 419331751 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634548672224 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10365] ppid=10351 vsize=28968020 memory=1172 CPUtime=0 cores=0-7
/proc/10353/task/10365/stat : 10365 (java) S 10351 10351 4990 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 419331751 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634547619056 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10366] ppid=10351 vsize=28968020 memory=14008 CPUtime=0 cores=0-7
/proc/10353/task/10366/stat : 10366 (java) S 10351 10351 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419331754 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634546567632 140635048667035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10367] ppid=10351 vsize=28968020 memory=3416 CPUtime=4.33 cores=0-7
/proc/10353/task/10367/stat : 10367 (java) S 10351 10351 4990 0 -1 1077944384 14915 0 0 0 430 3 0 0 20 0 28 0 419331754 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634545514736 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10368] ppid=10351 vsize=28968020 memory=1452 CPUtime=4.46 cores=0-7
/proc/10353/task/10368/stat : 10368 (java) S 10351 10351 4990 0 -1 1077944384 15487 0 0 0 442 4 0 0 20 0 28 0 419331754 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634544462192 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10369] ppid=10351 vsize=28968020 memory=2858832 CPUtime=3.75 cores=0-7
/proc/10353/task/10369/stat : 10369 (java) S 10351 10351 4990 0 -1 1077944384 14256 0 0 0 370 5 0 0 20 0 28 0 419331754 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634158655472 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10370] ppid=10351 vsize=28968020 memory=1580 CPUtime=0.86 cores=0-7
/proc/10353/task/10370/stat : 10370 (java) S 10351 10351 4990 0 -1 1077944384 7293 0 0 0 85 1 0 0 20 0 28 0 419331754 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634157602928 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10371] ppid=10351 vsize=28968020 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/10353/task/10371/stat : 10371 (java) S 10351 10351 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419331754 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634156551136 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10372] ppid=10351 vsize=28968020 memory=4872558044660077418 CPUtime=0.01 cores=0-7
/proc/10353/task/10372/stat : 10372 (java) S 10351 10351 4990 0 -1 1077944384 622 0 0 0 0 1 0 0 20 0 28 0 419331754 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634155498672 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11006] ppid=10351 vsize=28968020 memory=0 CPUtime=32.87 cores=0-7
/proc/10353/task/11006/stat : 11006 (java) S 10351 10351 4990 0 -1 1077944384 2123 0 0 0 3279 8 0 0 20 0 28 0 419331935 29663252480 714708 33554432000 4194304 4196468 140729105757296 140633148727120 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11007] ppid=10351 vsize=28968020 memory=0 CPUtime=32.72 cores=0-7
/proc/10353/task/11007/stat : 11007 (java) S 10351 10351 4990 0 -1 1077944384 414 0 0 0 3263 9 0 0 20 0 28 0 419331935 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634143135136 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11008] ppid=10351 vsize=28968020 memory=0 CPUtime=56.71 cores=0-7
/proc/10353/task/11008/stat : 11008 (java) R 10351 10351 4990 0 -1 4202560 3104 0 0 0 5658 13 0 0 20 0 28 0 419331935 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634142076824 140634689625408 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11009] ppid=10351 vsize=28968020 memory=0 CPUtime=33.32 cores=0-7
/proc/10353/task/11009/stat : 11009 (java) S 10351 10351 4990 0 -1 1077944384 3323 0 0 0 3314 18 0 0 20 0 28 0 419331935 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634144187552 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11010] ppid=10351 vsize=28968020 memory=0 CPUtime=33.25 cores=0-7
/proc/10353/task/11010/stat : 11010 (java) S 10351 10351 4990 0 -1 1077944384 3339 0 0 0 3299 26 0 0 20 0 28 0 419331935 29663252480 714708 33554432000 4194304 4196468 140729105757296 140633152938784 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11011] ppid=10351 vsize=28968020 memory=0 CPUtime=33.53 cores=0-7
/proc/10353/task/11011/stat : 11011 (java) S 10351 10351 4990 0 -1 1077944384 4857 0 0 0 3324 29 0 0 20 0 28 0 419331935 29663252480 714708 33554432000 4194304 4196468 140729105757296 140633147675552 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11012] ppid=10351 vsize=28968020 memory=0 CPUtime=32.99 cores=0-7
/proc/10353/task/11012/stat : 11012 (java) S 10351 10351 4990 0 -1 1077944384 548 0 0 0 3291 8 0 0 20 0 28 0 419331935 29663252480 714708 33554432000 4194304 4196468 140729105757296 140633149781536 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11013] ppid=10351 vsize=28968020 memory=0 CPUtime=33.02 cores=0-7
/proc/10353/task/11013/stat : 11013 (java) S 10351 10351 4990 0 -1 1077944384 4336 0 0 0 3278 24 0 0 20 0 28 0 419331937 29663252480 714708 33554432000 4194304 4196468 140729105757296 140634146293408 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
Current children cumulated CPU time: 308.05 s
Current children cumulated vsize: 29081148 KiB
Current children cumulated memory: 2860284 KiB
[startup+60.301 s]*
/proc/loadavg: 5.22 3.98 3.21 3/219 11016
/proc/meminfo: memFree=28433276/32770624 swapFree=66919320/67108860
[pid=10351] ppid=10348 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10351/stat : 10351 (xcsp3-exec) S 10348 10351 4990 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419331748 115843072 363 33554432000 4194304 5098028 140734815195072 140734815193176 139879557132924 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7933952 140734815204213 140734815204457 140734815204457 140734815207370 0
/proc/10351/statm: 28282 363 304 221 0 87 0
[pid=10353] ppid=10351 vsize=28968020 memory=2858840 CPUtime=308.51 cores=0-7
/proc/10353/stat : 10353 (java) S 10351 10351 4990 0 -1 1077944320 106889 0 0 0 30638 213 0 0 20 0 28 0 419331748 29663252480 714710 33554432000 4194304 4196468 140729105757296 140729105739840 140635048648439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
/proc/10353/statm: 7242005 714710 3527 1 0 7203107 0
[pid=10353/tid=10354] ppid=10351 vsize=28968020 memory=8317482817917895235 CPUtime=0.52 cores=0-7
/proc/10353/task/10354/stat : 10354 (java) S 10351 10351 4990 0 -1 1077944384 9177 0 0 0 48 4 0 0 20 0 28 0 419331748 29663252480 714710 33554432000 4194304 4196468 140729105757296 140635052889216 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10355] ppid=10351 vsize=28968020 memory=4872558044660077418 CPUtime=0.17 cores=0-7
/proc/10353/task/10355/stat : 10355 (java) S 10351 10351 4990 0 -1 1077944384 1001 0 0 0 13 4 0 0 20 0 28 0 419331749 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634599762960 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10356] ppid=10351 vsize=28968020 memory=288230583166042426 CPUtime=0.16 cores=0-7
/proc/10353/task/10356/stat : 10356 (java) S 10351 10351 4990 0 -1 1077944384 290 0 0 0 12 4 0 0 20 0 28 0 419331749 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634598710416 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10357] ppid=10351 vsize=28968020 memory=14126732391221673 CPUtime=0.15 cores=0-7
/proc/10353/task/10357/stat : 10357 (java) S 10351 10351 4990 0 -1 1077944384 367 0 0 0 11 4 0 0 20 0 28 0 419331749 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634597657360 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10358] ppid=10351 vsize=28968020 memory=14008 CPUtime=0.18 cores=0-7
/proc/10353/task/10358/stat : 10358 (java) S 10351 10351 4990 0 -1 1077944384 475 0 0 0 12 6 0 0 20 0 28 0 419331749 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634596604816 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10359] ppid=10351 vsize=28968020 memory=14072 CPUtime=0.18 cores=0-7
/proc/10353/task/10359/stat : 10359 (java) S 10351 10351 4990 0 -1 1077944384 531 0 0 0 13 5 0 0 20 0 28 0 419331749 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634595551760 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10360] ppid=10351 vsize=28968020 memory=288230574492221466 CPUtime=0.15 cores=0-7
/proc/10353/task/10360/stat : 10360 (java) S 10351 10351 4990 0 -1 1077944384 740 0 0 0 11 4 0 0 20 0 28 0 419331749 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634594499216 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10361] ppid=10351 vsize=28968020 memory=288230583166042426 CPUtime=0.17 cores=0-7
/proc/10353/task/10361/stat : 10361 (java) S 10351 10351 4990 0 -1 1077944384 1121 0 0 0 13 4 0 0 20 0 28 0 419331749 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634593446160 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10362] ppid=10351 vsize=28968020 memory=14126732391221673 CPUtime=0.17 cores=0-7
/proc/10353/task/10362/stat : 10362 (java) S 10351 10351 4990 0 -1 1077944384 407 0 0 0 12 5 0 0 20 0 28 0 419331749 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634592393616 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10363] ppid=10351 vsize=28968020 memory=1560 CPUtime=0.04 cores=0-7
/proc/10353/task/10363/stat : 10363 (java) S 10351 10351 4990 0 -1 1077944384 2960 0 0 0 3 1 0 0 20 0 28 0 419331751 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634549725936 140635048659586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10364] ppid=10351 vsize=28968020 memory=5787477641288517003 CPUtime=0 cores=0-7
/proc/10353/task/10364/stat : 10364 (java) S 10351 10351 4990 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 419331751 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634548672224 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10365] ppid=10351 vsize=28968020 memory=-8961168018402230209 CPUtime=0 cores=0-7
/proc/10353/task/10365/stat : 10365 (java) S 10351 10351 4990 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 419331751 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634547619056 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10366] ppid=10351 vsize=28968020 memory=-8253362762722141311 CPUtime=0 cores=0-7
/proc/10353/task/10366/stat : 10366 (java) S 10351 10351 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419331754 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634546567632 140635048667035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10367] ppid=10351 vsize=28968020 memory=1448 CPUtime=4.35 cores=0-7
/proc/10353/task/10367/stat : 10367 (java) R 10351 10351 4990 0 -1 4202560 15529 0 0 0 432 3 0 0 20 0 28 0 419331754 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634545500176 140635032146991 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10368] ppid=10351 vsize=28968020 memory=1980 CPUtime=4.47 cores=0-7
/proc/10353/task/10368/stat : 10368 (java) R 10351 10351 4990 0 -1 4202560 15873 0 0 0 443 4 0 0 20 0 28 0 419331754 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634544449744 140635030169705 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10369] ppid=10351 vsize=28968020 memory=1560 CPUtime=3.75 cores=0-7
/proc/10353/task/10369/stat : 10369 (java) S 10351 10351 4990 0 -1 1077944384 14572 0 0 0 370 5 0 0 20 0 28 0 419331754 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634158655472 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10370] ppid=10351 vsize=28968020 memory=1172 CPUtime=0.87 cores=0-7
/proc/10353/task/10370/stat : 10370 (java) S 10351 10351 4990 0 -1 1077944384 8229 0 0 0 86 1 0 0 20 0 28 0 419331754 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634157602928 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10371] ppid=10351 vsize=28968020 memory=14008 CPUtime=0 cores=0-7
/proc/10353/task/10371/stat : 10371 (java) S 10351 10351 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419331754 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634156551136 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=10372] ppid=10351 vsize=28968020 memory=14072 CPUtime=0.01 cores=0-7
/proc/10353/task/10372/stat : 10372 (java) S 10351 10351 4990 0 -1 1077944384 622 0 0 0 0 1 0 0 20 0 28 0 419331754 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634155498672 140635048659586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11006] ppid=10351 vsize=28968020 memory=2116 CPUtime=32.87 cores=0-7
/proc/10353/task/11006/stat : 11006 (java) S 10351 10351 4990 0 -1 1077944384 2123 0 0 0 3279 8 0 0 20 0 28 0 419331935 29663252480 714710 33554432000 4194304 4196468 140729105757296 140633148727120 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11007] ppid=10351 vsize=28968020 memory=8860 CPUtime=32.72 cores=0-7
/proc/10353/task/11007/stat : 11007 (java) S 10351 10351 4990 0 -1 1077944384 414 0 0 0 3263 9 0 0 20 0 28 0 419331935 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634143135136 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11008] ppid=10351 vsize=28968020 memory=528 CPUtime=57.12 cores=0-7
/proc/10353/task/11008/stat : 11008 (java) R 10351 10351 4990 0 -1 4202560 3558 0 0 0 5699 13 0 0 20 0 28 0 419331935 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634142075936 140634690573306 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11009] ppid=10351 vsize=28968020 memory=1560 CPUtime=33.32 cores=0-7
/proc/10353/task/11009/stat : 11009 (java) S 10351 10351 4990 0 -1 1077944384 3323 0 0 0 3314 18 0 0 20 0 28 0 419331935 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634144187552 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11010] ppid=10351 vsize=28968020 memory=932 CPUtime=33.25 cores=0-7
/proc/10353/task/11010/stat : 11010 (java) S 10351 10351 4990 0 -1 1077944384 3339 0 0 0 3299 26 0 0 20 0 28 0 419331935 29663252480 714710 33554432000 4194304 4196468 140729105757296 140633152938784 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11011] ppid=10351 vsize=28968020 memory=1492 CPUtime=33.53 cores=0-7
/proc/10353/task/11011/stat : 11011 (java) S 10351 10351 4990 0 -1 1077944384 4857 0 0 0 3324 29 0 0 20 0 28 0 419331935 29663252480 714710 33554432000 4194304 4196468 140729105757296 140633147675552 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11012] ppid=10351 vsize=28968020 memory=4004 CPUtime=32.99 cores=0-7
/proc/10353/task/11012/stat : 11012 (java) S 10351 10351 4990 0 -1 1077944384 548 0 0 0 3291 8 0 0 20 0 28 0 419331935 29663252480 714710 33554432000 4194304 4196468 140729105757296 140633149781536 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
[pid=10353/tid=11013] ppid=10351 vsize=28968020 memory=2828 CPUtime=33.02 cores=0-7
/proc/10353/task/11013/stat : 11013 (java) S 10351 10351 4990 0 -1 1077944384 4336 0 0 0 3278 24 0 0 20 0 28 0 419331937 29663252480 714710 33554432000 4194304 4196468 140729105757296 140634146293408 140635048658645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 6631424 140729105761258 140729105761430 140729105761430 140729105764303 0
Current children cumulated CPU time: 308.51 s
Current children cumulated vsize: 29081148 KiB
Current children cumulated memory: 2860292 KiB
Child status: 0
Real time (s): 60.3452
CPU time (s): 308.558
CPU user time (s): 306.401
CPU system time (s): 2.1576
CPU usage (%): 511.321
Max. virtual memory (cumulated for all children) (KiB): 29084092
Max. memory (cumulated for all children) (KiB): 2860292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 306.401
system time used= 2.1576
maximum resident set size= 2860916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108137
page faults= 0
swaps= 0
block input operations= 0
block output operations= 200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99032
involuntary context switches= 3057
# summary of solver processes directly reported to runsolver:
# pid: 10351
# total CPU time (s): 308.558
# total CPU user time (s): 306.401
# total CPU system time (s): 2.1576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.501146 second user time and 0.768769 second system time
The end
Begin job on node141 at 2019-09-14 06:04:57
IDJOB=4393798
IDBENCH=133454
IDSOLVER=2841
FILE ID=node141/4393798-1568433938
RUNJOBID= node141-1568427839-5017
PBS_JOBID= 21702301
Free space on /tmp= 58540 MiB
SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-17.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393798-1568433938/watcher-4393798-1568433938 -o /tmp/evaluation-result-4393798-1568433938/solver-4393798-1568433938 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568427839-5017 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1957398952 HOME/instance-4393798-1568433938.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 072cba4c7f6c08974f35ec38dd54383a
RANDOM SEED=1957398952
node141.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31281032 kB
MemAvailable: 31838032 kB
Buffers: 182716 kB
Cached: 662332 kB
SwapCached: 80296 kB
Active: 448128 kB
Inactive: 481480 kB
Active(anon): 10468 kB
Inactive(anon): 106128 kB
Active(file): 437660 kB
Inactive(file): 375352 kB
Unevictable: 109464 kB
Mlocked: 109464 kB
SwapTotal: 67108860 kB
SwapFree: 66919320 kB
Dirty: 26204 kB
Writeback: 0 kB
AnonPages: 234532 kB
Mapped: 36304 kB
Shmem: 23348 kB
Slab: 149916 kB
SReclaimable: 119648 kB
SUnreclaim: 30268 kB
KernelStack: 3888 kB
PageTables: 5644 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 499048 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 188416 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 128384 kB
DirectMap2M: 33417216 kB
Free space on /tmp at the end= 58516 MiB
End job on node141 at 2019-09-14 06:05:57