0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280414-1503151862.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4280414-1503151862.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
0.72/0.44 c solve instance...
0.72/0.46 o 334
0.72/0.47 o 610
0.72/0.47 o 649
0.72/0.48 o 654
0.72/0.48 o 684
0.72/0.49 o 692
0.72/0.50 o 704
0.72/0.50 o 711
0.72/0.50 o 726
0.72/0.51 o 761
1.17/0.53 o 766
1.84/0.61 o 781
1.84/0.63 o 782
1.84/0.64 o 792
1.84/0.69 o 793
2.42/0.71 o 794
2.42/0.71 o 810
2.42/0.72 o 816
2.42/0.72 o 829
2.42/0.72 o 833
2.42/0.72 o 839
2.42/0.74 o 867
2.42/0.80 o 868
3.00/0.86 o 871
3.00/0.90 o 890
3.76/0.93 o 894
3.76/0.98 o 895
3.76/1.00 o 906
5.33/1.17 o 940
5.33/1.18 o 955
6.06/1.20 o 971
6.06/1.23 o 972
6.06/1.25 o 995
6.06/1.27 o 1012
7.51/1.40 o 1014
7.51/1.42 o 1017
8.23/1.52 o 1035
9.84/1.73 o 1044
9.84/1.78 o 1048
12.09/2.06 o 1050
14.13/2.40 o 1052
17.75/2.85 o 1058
511.52/70.21 s OPTIMUM FOUND
511.52/70.21 v <instantiation>
511.52/70.21 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] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] </list>
511.52/70.21 v <values>0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 0 0 0 0 0 </values>
511.52/70.21 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 (12777 MiB free)
memory of node 1: 16384 MiB (12136 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280414-1503151862/watcher-4280414-1503151862 -o /tmp/evaluation-result-4280414-1503151862/solver-4280414-1503151862 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503143284-30089 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 606514766 HOME/instance-4280414-1503151862.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=805, runsolver pid=802
Current StackSize limit: 8192 KiB
[startup+0.100127 s]*
/proc/loadavg: 7.25 7.67 8.01 2/199 826
/proc/meminfo: memFree=25496540/32770624 swapFree=67108860/67108860
[pid=805] ppid=802 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/805/stat : 805 (xcsp3-exec) S 802 805 30062 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148267092 9740288 346 33554432000 4194304 5098028 140726589048496 140726589046600 139762010063484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24580096 140726589052005 140726589052215 140726589052215 140726589054955 0
/proc/805/statm: 2378 346 289 221 0 87 0
[pid=807] ppid=805 vsize=25999808 memory=26224 CPUtime=0.11 cores=0-7
/proc/807/stat : 807 (java) S 805 805 30062 0 -1 1077944320 5480 0 0 0 10 1 0 0 20 0 20 0 148267093 26623803392 6556 33554432000 4194304 4196468 140725568352976 140725568335520 140679315246839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
/proc/807/statm: 6499952 6556 2841 1 0 6488269 0
[pid=807/tid=808] ppid=805 vsize=25999808 memory=8390339637985935414 CPUtime=0.09 cores=0-7
/proc/807/task/808/stat : 808 (java) R 805 805 30062 0 -1 4202560 3503 0 0 0 8 1 0 0 20 0 20 0 148267093 26623803392 6556 33554432000 4194304 4196468 140725568352976 140679319479088 140679299290469 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=809] ppid=805 vsize=25999808 memory=288230600413020183 CPUtime=0 cores=0-7
/proc/807/task/809/stat : 809 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267094 26623803392 6556 33554432000 4194304 4196468 140725568352976 140679267866896 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=810] ppid=805 vsize=25999808 memory=140652177544391 CPUtime=0 cores=0-7
/proc/807/task/810/stat : 810 (java) S 805 805 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148267094 26623803392 6556 33554432000 4194304 4196468 140725568352976 140679266814352 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=811] ppid=805 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/807/task/811/stat : 811 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267094 26623803392 6556 33554432000 4194304 4196468 140725568352976 140679265761808 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=812] ppid=805 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/807/task/812/stat : 812 (java) S 805 805 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148267094 26623803392 6556 33554432000 4194304 4196468 140725568352976 140679264709264 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=813] ppid=805 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/807/task/813/stat : 813 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267094 26623803392 6556 33554432000 4194304 4196468 140725568352976 140679263656720 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=814] ppid=805 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/807/task/814/stat : 814 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267094 26623803392 6556 33554432000 4194304 4196468 140725568352976 140679262604176 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=815] ppid=805 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/807/task/815/stat : 815 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267094 26623803392 6556 33554432000 4194304 4196468 140725568352976 140679261551632 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=816] ppid=805 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/807/task/816/stat : 816 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267094 26623803392 6556 33554432000 4194304 4196468 140725568352976 140679260499088 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=817] ppid=805 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/807/task/817/stat : 817 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267095 26623803392 6556 33554432000 4194304 4196468 140725568352976 140678057359344 140679315257986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=818] ppid=805 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/807/task/818/stat : 818 (java) S 805 805 30062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148267096 26623803392 6556 33554432000 4194304 4196468 140725568352976 140678056305568 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=819] ppid=805 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/807/task/819/stat : 819 (java) S 805 805 30062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148267096 26623803392 6556 33554432000 4194304 4196468 140725568352976 140678055252976 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=820] ppid=805 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/807/task/820/stat : 820 (java) S 805 805 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148267098 26623803392 6556 33554432000 4194304 4196468 140725568352976 140678054201552 140679315265435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=821] ppid=805 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/807/task/821/stat : 821 (java) S 805 805 30062 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 148267098 26623803392 6556 33554432000 4194304 4196468 140725568352976 140678053149168 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=822] ppid=805 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/807/task/822/stat : 822 (java) S 805 805 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148267098 26623803392 6556 33554432000 4194304 4196468 140725568352976 140678052096624 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=823] ppid=805 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/807/task/823/stat : 823 (java) S 805 805 30062 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 148267098 26623803392 6556 33554432000 4194304 4196468 140725568352976 140678051044080 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=824] ppid=805 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/807/task/824/stat : 824 (java) S 805 805 30062 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 20 0 148267098 26623803392 6556 33554432000 4194304 4196468 140725568352976 140678049991536 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=825] ppid=805 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/807/task/825/stat : 825 (java) S 805 805 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148267099 26623803392 6556 33554432000 4194304 4196468 140725568352976 140678048938208 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=826] ppid=805 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/807/task/826/stat : 826 (java) S 805 805 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148267099 26623803392 6556 33554432000 4194304 4196468 140725568352976 140678047885744 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27608 KiB
[startup+0.209847 s]*
/proc/loadavg: 7.25 7.67 8.01 3/199 826
/proc/meminfo: memFree=25485112/32770624 swapFree=67108860/67108860
[pid=805] ppid=802 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/805/stat : 805 (xcsp3-exec) S 802 805 30062 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148267092 9740288 346 33554432000 4194304 5098028 140726589048496 140726589046600 139762010063484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24580096 140726589052005 140726589052215 140726589052215 140726589054955 0
/proc/805/statm: 2378 346 289 221 0 87 0
[pid=807] ppid=805 vsize=26004064 memory=38852 CPUtime=0.33 cores=0-7
/proc/807/stat : 807 (java) S 805 805 30062 0 -1 1077944320 8234 0 0 0 31 2 0 0 20 0 20 0 148267093 26628161536 9713 33554432000 4194304 4196468 140725568352976 140725568335520 140679315246839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
/proc/807/statm: 6501016 9713 3065 1 0 6488269 0
[pid=807/tid=808] ppid=805 vsize=26004064 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/807/task/808/stat : 808 (java) R 805 805 30062 0 -1 4202560 5399 0 0 0 18 1 0 0 20 0 20 0 148267093 26628161536 9713 33554432000 4194304 4196468 140725568352976 140679319467664 140679299327326 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=809] ppid=805 vsize=26004064 memory=288230600413020183 CPUtime=0 cores=0-7
/proc/807/task/809/stat : 809 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267094 26628161536 9713 33554432000 4194304 4196468 140725568352976 140679267866896 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=810] ppid=805 vsize=26004064 memory=140652177544391 CPUtime=0 cores=0-7
/proc/807/task/810/stat : 810 (java) S 805 805 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148267094 26628161536 9713 33554432000 4194304 4196468 140725568352976 140679266814352 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=811] ppid=805 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/807/task/811/stat : 811 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267094 26628161536 9713 33554432000 4194304 4196468 140725568352976 140679265761808 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=812] ppid=805 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/807/task/812/stat : 812 (java) S 805 805 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148267094 26628161536 9713 33554432000 4194304 4196468 140725568352976 140679264709264 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=813] ppid=805 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/807/task/813/stat : 813 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267094 26628161536 9713 33554432000 4194304 4196468 140725568352976 140679263656720 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=814] ppid=805 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/807/task/814/stat : 814 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267094 26628161536 9713 33554432000 4194304 4196468 140725568352976 140679262604176 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=815] ppid=805 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/807/task/815/stat : 815 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267094 26628161536 9713 33554432000 4194304 4196468 140725568352976 140679261551632 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=816] ppid=805 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/807/task/816/stat : 816 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267094 26628161536 9713 33554432000 4194304 4196468 140725568352976 140679260499088 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=817] ppid=805 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/807/task/817/stat : 817 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267095 26628161536 9713 33554432000 4194304 4196468 140725568352976 140678057359344 140679315257986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=818] ppid=805 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/807/task/818/stat : 818 (java) S 805 805 30062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148267096 26628161536 9713 33554432000 4194304 4196468 140725568352976 140678056305568 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=819] ppid=805 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/807/task/819/stat : 819 (java) S 805 805 30062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148267096 26628161536 9713 33554432000 4194304 4196468 140725568352976 140678055252976 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=820] ppid=805 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/807/task/820/stat : 820 (java) S 805 805 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148267098 26628161536 9713 33554432000 4194304 4196468 140725568352976 140678054201552 140679315265435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=821] ppid=805 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/807/task/821/stat : 821 (java) S 805 805 30062 0 -1 1077944384 502 0 0 0 1 0 0 0 20 0 20 0 148267098 26628161536 9713 33554432000 4194304 4196468 140725568352976 140678053149168 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=822] ppid=805 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/807/task/822/stat : 822 (java) S 805 805 30062 0 -1 1077944384 139 0 0 0 1 0 0 0 20 0 20 0 148267098 26628161536 9713 33554432000 4194304 4196468 140725568352976 140678052096624 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=823] ppid=805 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/807/task/823/stat : 823 (java) S 805 805 30062 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 20 0 148267098 26628161536 9713 33554432000 4194304 4196468 140725568352976 140678051044080 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=824] ppid=805 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/807/task/824/stat : 824 (java) R 805 805 30062 0 -1 4202560 735 0 0 0 7 0 0 0 20 0 20 0 148267098 26628161536 9713 33554432000 4194304 4196468 140725568352976 140678049991536 140679299327326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=825] ppid=805 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/807/task/825/stat : 825 (java) S 805 805 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148267099 26628161536 9713 33554432000 4194304 4196468 140725568352976 140678048938208 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=826] ppid=805 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/807/task/826/stat : 826 (java) S 805 805 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148267099 26628161536 9713 33554432000 4194304 4196468 140725568352976 140678047885744 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40236 KiB
[startup+0.309543 s]*
/proc/loadavg: 7.25 7.67 8.01 2/199 826
/proc/meminfo: memFree=25478784/32770624 swapFree=67108860/67108860
[pid=805] ppid=802 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/805/stat : 805 (xcsp3-exec) S 802 805 30062 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148267092 9740288 346 33554432000 4194304 5098028 140726589048496 140726589046600 139762010063484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24580096 140726589052005 140726589052215 140726589052215 140726589054955 0
/proc/805/statm: 2378 346 289 221 0 87 0
[pid=807] ppid=805 vsize=26004064 memory=45796 CPUtime=0.49 cores=0-7
/proc/807/stat : 807 (java) S 805 805 30062 0 -1 1077944320 9178 0 0 0 46 3 0 0 20 0 20 0 148267093 26628161536 11449 33554432000 4194304 4196468 140725568352976 140725568335520 140679315246839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
/proc/807/statm: 6501016 11449 3096 1 0 6488269 0
[pid=807/tid=808] ppid=805 vsize=26004140 memory=0 CPUtime=0.29 cores=0-7
/proc/807/task/808/stat : 808 (java) R 805 805 30062 0 -1 4202560 6190 0 0 0 27 2 0 0 20 0 20 0 148267093 26628239360 11473 33554432000 4194304 4196468 140725568352976 140679319479200 140679299327326 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=809] ppid=805 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/807/task/809/stat : 809 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267094 26628239360 11473 33554432000 4194304 4196468 140725568352976 140679267866896 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=810] ppid=805 vsize=26004140 memory=140652176905856 CPUtime=0 cores=0-7
/proc/807/task/810/stat : 810 (java) S 805 805 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148267094 26628239360 11473 33554432000 4194304 4196468 140725568352976 140679266814352 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=811] ppid=805 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/807/task/811/stat : 811 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267094 26628239360 11473 33554432000 4194304 4196468 140725568352976 140679265761808 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=812] ppid=805 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/807/task/812/stat : 812 (java) S 805 805 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148267094 26628239360 11473 33554432000 4194304 4196468 140725568352976 140679264709264 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=813] ppid=805 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/807/task/813/stat : 813 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267094 26628239360 11473 33554432000 4194304 4196468 140725568352976 140679263656720 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=814] ppid=805 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/807/task/814/stat : 814 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267094 26628239360 11473 33554432000 4194304 4196468 140725568352976 140679262604176 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=815] ppid=805 vsize=26004140 memory=749170 CPUtime=0 cores=0-7
/proc/807/task/815/stat : 815 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267094 26628239360 11473 33554432000 4194304 4196468 140725568352976 140679261551632 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=816] ppid=805 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/807/task/816/stat : 816 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267094 26628239360 11473 33554432000 4194304 4196468 140725568352976 140679260499088 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=817] ppid=805 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/807/task/817/stat : 817 (java) S 805 805 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148267095 26628239360 11473 33554432000 4194304 4196468 140725568352976 140678057359344 140679315257986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=818] ppid=805 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/807/task/818/stat : 818 (java) S 805 805 30062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148267096 26628239360 11473 33554432000 4194304 4196468 140725568352976 140678056305568 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=819] ppid=805 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/807/task/819/stat : 819 (java) S 805 805 30062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148267096 26628239360 11473 33554432000 4194304 4196468 140725568352976 140678055252976 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=820] ppid=805 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/807/task/820/stat : 820 (java) S 805 805 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148267098 26628239360 11473 33554432000 4194304 4196468 140725568352976 140678054201552 140679315265435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=821] ppid=805 vsize=26004140 memory=0 CPUtime=0.02 cores=0-7
/proc/807/task/821/stat : 821 (java) S 805 805 30062 0 -1 1077944384 504 0 0 0 2 0 0 0 20 0 20 0 148267098 26628239360 11473 33554432000 4194304 4196468 140725568352976 140678053149168 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=822] ppid=805 vsize=26004140 memory=0 CPUtime=0.02 cores=0-7
/proc/807/task/822/stat : 822 (java) S 805 805 30062 0 -1 1077944384 139 0 0 0 2 0 0 0 20 0 20 0 148267098 26628239360 11473 33554432000 4194304 4196468 140725568352976 140678052096624 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=823] ppid=805 vsize=26004140 memory=0 CPUtime=0.02 cores=0-7
/proc/807/task/823/stat : 823 (java) S 805 805 30062 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 20 0 148267098 26628239360 11473 33554432000 4194304 4196468 140725568352976 140678051044080 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=824] ppid=805 vsize=26004140 memory=0 CPUtime=0.11 cores=0-7
/proc/807/task/824/stat : 824 (java) S 805 805 30062 0 -1 1077944384 832 0 0 0 11 0 0 0 20 0 20 0 148267098 26628239360 11473 33554432000 4194304 4196468 140725568352976 140678049991536 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=825] ppid=805 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/807/task/825/stat : 825 (java) S 805 805 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148267099 26628239360 11473 33554432000 4194304 4196468 140725568352976 140678048938208 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=826] ppid=805 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/807/task/826/stat : 826 (java) S 805 805 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148267099 26628239360 11473 33554432000 4194304 4196468 140725568352976 140678047885744 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47180 KiB
[startup+0.705073 s]
/proc/loadavg: 7.25 7.67 8.01 8/207 903
/proc/meminfo: memFree=25360720/32770624 swapFree=67108860/67108860
[pid=805] ppid=802 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/805/stat : 805 (xcsp3-exec) S 802 805 30062 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148267092 9740288 346 33554432000 4194304 5098028 140726589048496 140726589046600 139762010063484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24580096 140726589052005 140726589052215 140726589052215 140726589054955 0
/proc/805/statm: 2378 346 289 221 0 87 0
[pid=807] ppid=805 vsize=26672856 memory=179728 CPUtime=2.42 cores=0-7
/proc/807/stat : 807 (java) S 805 805 30062 0 -1 1077944320 16389 0 0 0 234 8 0 0 20 0 28 0 148267093 27313004544 44932 33554432000 4194304 4196468 140725568352976 140725568335520 140679315246839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
/proc/807/statm: 6668214 44932 3225 1 0 6655448 0
[pid=807/tid=808] ppid=805 vsize=26672856 memory=2428 CPUtime=0.43 cores=0-7
/proc/807/task/808/stat : 808 (java) S 805 805 30062 0 -1 1077944384 6700 0 0 0 40 3 0 0 20 0 28 0 148267093 27313004544 44932 33554432000 4194304 4196468 140725568352976 140679319487616 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=809] ppid=805 vsize=26672856 memory=1292 CPUtime=0 cores=0-7
/proc/807/task/809/stat : 809 (java) S 805 805 30062 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 148267094 27313004544 44932 33554432000 4194304 4196468 140725568352976 140679267866896 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=810] ppid=805 vsize=26672856 memory=281304118434336 CPUtime=0 cores=0-7
/proc/807/task/810/stat : 810 (java) S 805 805 30062 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 148267094 27313004544 44932 33554432000 4194304 4196468 140725568352976 140679266814352 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=811] ppid=805 vsize=26672856 memory=0 CPUtime=0 cores=0-7
/proc/807/task/811/stat : 811 (java) S 805 805 30062 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 148267094 27313004544 44932 33554432000 4194304 4196468 140725568352976 140679265761808 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
################
# More data... #
################
[pid=807/tid=824] ppid=805 vsize=26739420 memory=2428 CPUtime=0.46 cores=0-7
/proc/807/task/824/stat : 824 (java) S 805 805 30062 0 -1 1077944384 4572 0 0 0 45 1 0 0 20 0 28 0 148267098 27381166080 159847 33554432000 4194304 4196468 140725568352976 140678049991536 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=825] ppid=805 vsize=26739420 memory=1292 CPUtime=0 cores=0-7
/proc/807/task/825/stat : 825 (java) S 805 805 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148267099 27381166080 159847 33554432000 4194304 4196468 140725568352976 140678048938208 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=826] ppid=805 vsize=26739420 memory=1728 CPUtime=0 cores=0-7
/proc/807/task/826/stat : 826 (java) S 805 805 30062 0 -1 1077944384 1569 0 0 0 0 0 0 0 20 0 28 0 148267099 27381166080 159847 33554432000 4194304 4196468 140725568352976 140678047885744 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1183] ppid=805 vsize=26739420 memory=12136 CPUtime=60.22 cores=0-7
/proc/807/task/1183/stat : 1183 (java) R 805 805 30062 0 -1 1077944384 804 0 0 0 5894 128 0 0 20 0 28 0 148267378 27381166080 159847 33554432000 4194304 4196468 140725568352976 140678034615120 140679315257045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1184] ppid=805 vsize=26739420 memory=1004 CPUtime=60.42 cores=0-7
/proc/807/task/1184/stat : 1184 (java) R 805 805 30062 0 -1 4202560 798 0 0 0 5904 138 0 0 20 0 28 0 148267378 27381166080 159847 33554432000 4194304 4196468 140725568352976 140678037774352 140678922973707 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1185] ppid=805 vsize=26739420 memory=1228 CPUtime=60.28 cores=0-7
/proc/807/task/1185/stat : 1185 (java) R 805 805 30062 0 -1 4202560 1783 0 0 0 5886 142 0 0 20 0 28 0 148267378 27381166080 159847 33554432000 4194304 4196468 140725568352976 140677827514512 140678922973412 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1186] ppid=805 vsize=26739420 memory=1952 CPUtime=62.82 cores=0-7
/proc/807/task/1186/stat : 1186 (java) S 805 805 30062 0 -1 1077944384 3064 0 0 0 6219 63 0 0 20 0 28 0 148267378 27381166080 159847 33554432000 4194304 4196468 140725568352976 140678035669264 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1187] ppid=805 vsize=26739420 memory=5796 CPUtime=60.86 cores=0-7
/proc/807/task/1187/stat : 1187 (java) R 805 805 30062 0 -1 4202560 1935 0 0 0 5964 122 0 0 20 0 28 0 148267378 27381166080 159847 33554432000 4194304 4196468 140725568352976 140677826462096 140678924253073 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1188] ppid=805 vsize=26739420 memory=4616 CPUtime=60.3 cores=0-7
/proc/807/task/1188/stat : 1188 (java) R 805 805 30062 0 -1 4202560 976 0 0 0 5879 151 0 0 20 0 28 0 148267378 27381166080 159847 33554432000 4194304 4196468 140725568352976 140678033564176 140678922785296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1189] ppid=805 vsize=26739420 memory=8620 CPUtime=60.57 cores=0-7
/proc/807/task/1189/stat : 1189 (java) S 805 805 30062 0 -1 1077944384 832 0 0 0 5919 138 0 0 20 0 28 0 148267378 27381166080 159847 33554432000 4194304 4196468 140725568352976 140678039879312 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1190] ppid=805 vsize=26739420 memory=792 CPUtime=62.21 cores=0-7
/proc/807/task/1190/stat : 1190 (java) R 805 805 30062 0 -1 4202560 5993 0 0 0 6138 83 0 0 20 0 28 0 148267378 27381166080 159847 33554432000 4194304 4196468 140725568352976 140678036721424 140678923083552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
Current children cumulated CPU time: 507.36 s
Current children cumulated vsize: 26748932 KiB
Current children cumulated memory: 640772 KiB
[startup+70.001 s]*
/proc/loadavg: 7.52 7.70 8.00 8/207 1190
/proc/meminfo: memFree=24887120/32770624 swapFree=67108860/67108860
[pid=805] ppid=802 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/805/stat : 805 (xcsp3-exec) S 802 805 30062 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148267092 9740288 346 33554432000 4194304 5098028 140726589048496 140726589046600 139762010063484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24580096 140726589052005 140726589052215 140726589052215 140726589054955 0
/proc/805/statm: 2378 346 289 221 0 87 0
[pid=807] ppid=805 vsize=26739420 memory=638876 CPUtime=510.18 cores=0-7
/proc/807/stat : 807 (java) S 805 805 30062 0 -1 1077944320 74398 0 0 0 49980 1038 0 0 20 0 28 0 148267093 27381166080 159719 33554432000 4194304 4196468 140725568352976 140725568335520 140679315246839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
/proc/807/statm: 6684855 159719 3265 1 0 6672089 0
[pid=807/tid=808] ppid=805 vsize=26739420 memory=24617 CPUtime=0.44 cores=0-7
/proc/807/task/808/stat : 808 (java) S 805 805 30062 0 -1 1077944384 6700 0 0 0 41 3 0 0 20 0 28 0 148267093 27381166080 159719 33554432000 4194304 4196468 140725568352976 140679319487616 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=809] ppid=805 vsize=26739420 memory=3539884506975641648 CPUtime=0.13 cores=0-7
/proc/807/task/809/stat : 809 (java) S 805 805 30062 0 -1 1077944384 1015 0 0 0 9 4 0 0 20 0 28 0 148267094 27381166080 159719 33554432000 4194304 4196468 140725568352976 140679267866896 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=810] ppid=805 vsize=26739420 memory=288427314814817944 CPUtime=0.13 cores=0-7
/proc/807/task/810/stat : 810 (java) S 805 805 30062 0 -1 1077944384 1284 0 0 0 10 3 0 0 20 0 28 0 148267094 27381166080 159719 33554432000 4194304 4196468 140725568352976 140679266814352 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=811] ppid=805 vsize=26739420 memory=300896974314668055 CPUtime=0.13 cores=0-7
/proc/807/task/811/stat : 811 (java) S 805 805 30062 0 -1 1077944384 897 0 0 0 11 2 0 0 20 0 28 0 148267094 27381166080 159719 33554432000 4194304 4196468 140725568352976 140679265761808 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=812] ppid=805 vsize=26739420 memory=4424616679387182368 CPUtime=0.12 cores=0-7
/proc/807/task/812/stat : 812 (java) S 805 805 30062 0 -1 1077944384 1162 0 0 0 9 3 0 0 20 0 28 0 148267094 27381166080 159719 33554432000 4194304 4196468 140725568352976 140679264709264 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=813] ppid=805 vsize=26739420 memory=4206468019014099040 CPUtime=0.14 cores=0-7
/proc/807/task/813/stat : 813 (java) S 805 805 30062 0 -1 1077944384 1564 0 0 0 11 3 0 0 20 0 28 0 148267094 27381166080 159719 33554432000 4194304 4196468 140725568352976 140679263656720 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=814] ppid=805 vsize=26739420 memory=3472328296227680264 CPUtime=0.12 cores=0-7
/proc/807/task/814/stat : 814 (java) S 805 805 30062 0 -1 1077944384 1896 0 0 0 9 3 0 0 20 0 28 0 148267094 27381166080 159719 33554432000 4194304 4196468 140725568352976 140679262604176 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=815] ppid=805 vsize=26739420 memory=1414351094373861289 CPUtime=0.13 cores=0-7
/proc/807/task/815/stat : 815 (java) S 805 805 30062 0 -1 1077944384 1077 0 0 0 10 3 0 0 20 0 28 0 148267094 27381166080 159719 33554432000 4194304 4196468 140725568352976 140679261551632 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=816] ppid=805 vsize=26739420 memory=6943487855420614559 CPUtime=0.13 cores=0-7
/proc/807/task/816/stat : 816 (java) S 805 805 30062 0 -1 1077944384 1059 0 0 0 10 3 0 0 20 0 28 0 148267094 27381166080 159719 33554432000 4194304 4196468 140725568352976 140679260499088 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=817] ppid=805 vsize=26739420 memory=0 CPUtime=0.09 cores=0-7
/proc/807/task/817/stat : 817 (java) S 805 805 30062 0 -1 1077944384 4563 0 0 0 8 1 0 0 20 0 28 0 148267095 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678057359344 140679315257986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=818] ppid=805 vsize=26739420 memory=20467 CPUtime=0 cores=0-7
/proc/807/task/818/stat : 818 (java) S 805 805 30062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 148267096 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678056305632 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=819] ppid=805 vsize=26739420 memory=6450914295951238552 CPUtime=0 cores=0-7
/proc/807/task/819/stat : 819 (java) S 805 805 30062 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 148267096 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678055252976 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=820] ppid=805 vsize=26739420 memory=132577 CPUtime=0 cores=0-7
/proc/807/task/820/stat : 820 (java) S 805 805 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148267098 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678054201552 140679315265435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=821] ppid=805 vsize=26739420 memory=6947385649911455296 CPUtime=1.06 cores=0-7
/proc/807/task/821/stat : 821 (java) S 805 805 30062 0 -1 1077944384 7918 0 0 0 105 1 0 0 20 0 28 0 148267098 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678053149168 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=822] ppid=805 vsize=26739420 memory=4096 CPUtime=1.18 cores=0-7
/proc/807/task/822/stat : 822 (java) S 805 805 30062 0 -1 1077944384 7238 0 0 0 117 1 0 0 20 0 28 0 148267098 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678052096624 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=823] ppid=805 vsize=26739420 memory=41640 CPUtime=1.23 cores=0-7
/proc/807/task/823/stat : 823 (java) S 805 805 30062 0 -1 1077944384 8156 0 0 0 122 1 0 0 20 0 28 0 148267098 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678051044080 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=824] ppid=805 vsize=26739420 memory=0 CPUtime=0.46 cores=0-7
/proc/807/task/824/stat : 824 (java) S 805 805 30062 0 -1 1077944384 4572 0 0 0 45 1 0 0 20 0 28 0 148267098 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678049991536 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=825] ppid=805 vsize=26739420 memory=0 CPUtime=0 cores=0-7
/proc/807/task/825/stat : 825 (java) S 805 805 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148267099 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678048938208 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=826] ppid=805 vsize=26739420 memory=0 CPUtime=0 cores=0-7
/proc/807/task/826/stat : 826 (java) S 805 805 30062 0 -1 1077944384 1569 0 0 0 0 0 0 0 20 0 28 0 148267099 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678047885744 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1183] ppid=805 vsize=26739420 memory=0 CPUtime=60.59 cores=0-7
/proc/807/task/1183/stat : 1183 (java) R 805 805 30062 0 -1 4202560 804 0 0 0 5930 129 0 0 20 0 28 0 148267378 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678034615120 140678923519419 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1184] ppid=805 vsize=26739420 memory=0 CPUtime=60.77 cores=0-7
/proc/807/task/1184/stat : 1184 (java) R 805 805 30062 0 -1 4202560 798 0 0 0 5938 139 0 0 20 0 28 0 148267378 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678037774352 140678922973942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1185] ppid=805 vsize=26739420 memory=7517159033944630080 CPUtime=60.64 cores=0-7
/proc/807/task/1185/stat : 1185 (java) S 805 805 30062 0 -1 1077944384 1783 0 0 0 5920 144 0 0 20 0 28 0 148267378 27381166080 159719 33554432000 4194304 4196468 140725568352976 140677827514512 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1186] ppid=805 vsize=26739420 memory=7597403703566623854 CPUtime=63.18 cores=0-7
/proc/807/task/1186/stat : 1186 (java) R 805 805 30062 0 -1 4202560 3065 0 0 0 6254 64 0 0 20 0 28 0 148267378 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678035669264 140678924464625 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1187] ppid=805 vsize=26739420 memory=7445134563047138920 CPUtime=61.21 cores=0-7
/proc/807/task/1187/stat : 1187 (java) S 805 805 30062 0 -1 1077944384 1935 0 0 0 5998 123 0 0 20 0 28 0 148267378 27381166080 159719 33554432000 4194304 4196468 140725568352976 140677826462096 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1188] ppid=805 vsize=26739420 memory=7594286571074382438 CPUtime=60.64 cores=0-7
/proc/807/task/1188/stat : 1188 (java) R 805 805 30062 0 -1 1077944384 976 0 0 0 5912 152 0 0 20 0 28 0 148267378 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678033564176 140679315257045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1189] ppid=805 vsize=26739420 memory=7812148185768030055 CPUtime=60.92 cores=0-7
/proc/807/task/1189/stat : 1189 (java) R 805 805 30062 0 -1 4202560 832 0 0 0 5953 139 0 0 20 0 28 0 148267378 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678039879312 140678922785277 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1190] ppid=805 vsize=26739420 memory=7739262698094027882 CPUtime=62.58 cores=0-7
/proc/807/task/1190/stat : 1190 (java) R 805 805 30062 0 -1 4202560 5993 0 0 0 6175 83 0 0 20 0 28 0 148267378 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678036721424 140678924313999 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
Current children cumulated CPU time: 510.18 s
Current children cumulated vsize: 26748932 KiB
Current children cumulated memory: 640260 KiB
[startup+70.201 s]
/proc/loadavg: 7.52 7.70 8.00 8/207 1190
/proc/meminfo: memFree=24887120/32770624 swapFree=67108860/67108860
[pid=805] ppid=802 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/805/stat : 805 (xcsp3-exec) S 802 805 30062 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148267092 9740288 346 33554432000 4194304 5098028 140726589048496 140726589046600 139762010063484 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24580096 140726589052005 140726589052215 140726589052215 140726589054955 0
/proc/805/statm: 2378 346 289 221 0 87 0
[pid=807] ppid=805 vsize=26739420 memory=638876 CPUtime=511.52 cores=0-7
/proc/807/stat : 807 (java) S 805 805 30062 0 -1 1077944320 74398 0 0 0 50110 1042 0 0 20 0 28 0 148267093 27381166080 159719 33554432000 4194304 4196468 140725568352976 140725568335520 140679315246839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
/proc/807/statm: 6684855 159719 3265 1 0 6672089 0
[pid=807/tid=808] ppid=805 vsize=26739420 memory=668052 CPUtime=0.44 cores=0-7
/proc/807/task/808/stat : 808 (java) S 805 805 30062 0 -1 1077944384 6700 0 0 0 41 3 0 0 20 0 28 0 148267093 27381166080 159719 33554432000 4194304 4196468 140725568352976 140679319487616 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=809] ppid=805 vsize=26739420 memory=7230645025961766505 CPUtime=0.13 cores=0-7
/proc/807/task/809/stat : 809 (java) S 805 805 30062 0 -1 1077944384 1015 0 0 0 9 4 0 0 20 0 28 0 148267094 27381166080 159719 33554432000 4194304 4196468 140725568352976 140679267866896 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=810] ppid=805 vsize=26739420 memory=6370719275257063784 CPUtime=0.13 cores=0-7
/proc/807/task/810/stat : 810 (java) S 805 805 30062 0 -1 1077944384 1284 0 0 0 10 3 0 0 20 0 28 0 148267094 27381166080 159719 33554432000 4194304 4196468 140725568352976 140679266814352 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=811] ppid=805 vsize=26739420 memory=7230645025961766505 CPUtime=0.13 cores=0-7
/proc/807/task/811/stat : 811 (java) S 805 805 30062 0 -1 1077944384 897 0 0 0 11 2 0 0 20 0 28 0 148267094 27381166080 159719 33554432000 4194304 4196468 140725568352976 140679265761808 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=812] ppid=805 vsize=26739420 memory=7230645025961766505 CPUtime=0.12 cores=0-7
/proc/807/task/812/stat : 812 (java) S 805 805 30062 0 -1 1077944384 1162 0 0 0 9 3 0 0 20 0 28 0 148267094 27381166080 159719 33554432000 4194304 4196468 140725568352976 140679264709264 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=813] ppid=805 vsize=26739420 memory=6370719275257063784 CPUtime=0.14 cores=0-7
/proc/807/task/813/stat : 813 (java) S 805 805 30062 0 -1 1077944384 1564 0 0 0 11 3 0 0 20 0 28 0 148267094 27381166080 159719 33554432000 4194304 4196468 140725568352976 140679263656720 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=814] ppid=805 vsize=26739420 memory=7230645025961766505 CPUtime=0.12 cores=0-7
/proc/807/task/814/stat : 814 (java) S 805 805 30062 0 -1 1077944384 1896 0 0 0 9 3 0 0 20 0 28 0 148267094 27381166080 159719 33554432000 4194304 4196468 140725568352976 140679262604176 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=815] ppid=805 vsize=26739420 memory=6370719275257063784 CPUtime=0.13 cores=0-7
/proc/807/task/815/stat : 815 (java) S 805 805 30062 0 -1 1077944384 1077 0 0 0 10 3 0 0 20 0 28 0 148267094 27381166080 159719 33554432000 4194304 4196468 140725568352976 140679261551632 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=816] ppid=805 vsize=26739420 memory=6370719275257063784 CPUtime=0.13 cores=0-7
/proc/807/task/816/stat : 816 (java) S 805 805 30062 0 -1 1077944384 1059 0 0 0 10 3 0 0 20 0 28 0 148267094 27381166080 159719 33554432000 4194304 4196468 140725568352976 140679260499088 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=817] ppid=805 vsize=26739420 memory=7230645025961766505 CPUtime=0.09 cores=0-7
/proc/807/task/817/stat : 817 (java) S 805 805 30062 0 -1 1077944384 4563 0 0 0 8 1 0 0 20 0 28 0 148267095 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678057359344 140679315257986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=818] ppid=805 vsize=26739420 memory=7230921007607278949 CPUtime=0 cores=0-7
/proc/807/task/818/stat : 818 (java) S 805 805 30062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 148267096 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678056305632 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=819] ppid=805 vsize=26739420 memory=7230921007607278949 CPUtime=0 cores=0-7
/proc/807/task/819/stat : 819 (java) S 805 805 30062 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 148267096 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678055252976 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=820] ppid=805 vsize=26739420 memory=7976406965554101975 CPUtime=0 cores=0-7
/proc/807/task/820/stat : 820 (java) S 805 805 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148267098 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678054201552 140679315265435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=821] ppid=805 vsize=26739420 memory=-3252517613198930781 CPUtime=1.06 cores=0-7
/proc/807/task/821/stat : 821 (java) S 805 805 30062 0 -1 1077944384 7918 0 0 0 105 1 0 0 20 0 28 0 148267098 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678053149168 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=822] ppid=805 vsize=26739420 memory=-8312670058677691234 CPUtime=1.18 cores=0-7
/proc/807/task/822/stat : 822 (java) S 805 805 30062 0 -1 1077944384 7238 0 0 0 117 1 0 0 20 0 28 0 148267098 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678052096624 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=823] ppid=805 vsize=26739420 memory=-6667966544890519924 CPUtime=1.23 cores=0-7
/proc/807/task/823/stat : 823 (java) S 805 805 30062 0 -1 1077944384 8156 0 0 0 122 1 0 0 20 0 28 0 148267098 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678051044080 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=824] ppid=805 vsize=26739420 memory=-4866526891258710369 CPUtime=0.46 cores=0-7
/proc/807/task/824/stat : 824 (java) S 805 805 30062 0 -1 1077944384 4572 0 0 0 45 1 0 0 20 0 28 0 148267098 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678049991536 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=825] ppid=805 vsize=26739420 memory=-2892745056948402235 CPUtime=0 cores=0-7
/proc/807/task/825/stat : 825 (java) S 805 805 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148267099 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678048938208 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=826] ppid=805 vsize=26739420 memory=-7162535799334876092 CPUtime=0 cores=0-7
/proc/807/task/826/stat : 826 (java) S 805 805 30062 0 -1 1077944384 1569 0 0 0 0 0 0 0 20 0 28 0 148267099 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678047885744 140679315257986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1183] ppid=805 vsize=26739420 memory=-4190076264842474805 CPUtime=60.76 cores=0-7
/proc/807/task/1183/stat : 1183 (java) R 805 805 30062 0 -1 4202560 804 0 0 0 5946 130 0 0 20 0 28 0 148267378 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678034615120 140678923642870 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1184] ppid=805 vsize=26739420 memory=-1751206657426859557 CPUtime=60.94 cores=0-7
/proc/807/task/1184/stat : 1184 (java) R 805 805 30062 0 -1 4202560 798 0 0 0 5954 140 0 0 20 0 28 0 148267378 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678037774352 140678922785290 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1185] ppid=805 vsize=26739420 memory=7681407940103534239 CPUtime=60.8 cores=0-7
/proc/807/task/1185/stat : 1185 (java) S 805 805 30062 0 -1 1077944384 1783 0 0 0 5936 144 0 0 20 0 28 0 148267378 27381166080 159719 33554432000 4194304 4196468 140725568352976 140677827514512 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1186] ppid=805 vsize=26739420 memory=-3252517613198930781 CPUtime=63.36 cores=0-7
/proc/807/task/1186/stat : 1186 (java) R 805 805 30062 0 -1 4202560 3065 0 0 0 6272 64 0 0 20 0 28 0 148267378 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678035669264 140678922973732 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1187] ppid=805 vsize=26739420 memory=6944652177228980320 CPUtime=61.37 cores=0-7
/proc/807/task/1187/stat : 1187 (java) R 805 805 30062 0 -1 4202560 1935 0 0 0 6014 123 0 0 20 0 28 0 148267378 27381166080 159719 33554432000 4194304 4196468 140725568352976 140677826462000 140678922887077 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1188] ppid=805 vsize=26739420 memory=6656426216303648864 CPUtime=60.79 cores=0-7
/proc/807/task/1188/stat : 1188 (java) R 805 805 30062 0 -1 1077944384 976 0 0 0 5927 152 0 0 20 0 28 0 148267378 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678033564176 140679315257045 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1189] ppid=805 vsize=26739420 memory=0 CPUtime=61.09 cores=0-7
/proc/807/task/1189/stat : 1189 (java) S 805 805 30062 0 -1 1077944384 832 0 0 0 5969 140 0 0 20 0 28 0 148267378 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678039879312 140679315257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
[pid=807/tid=1190] ppid=805 vsize=26739420 memory=0 CPUtime=62.74 cores=0-7
/proc/807/task/1190/stat : 1190 (java) R 805 805 30062 0 -1 4202560 5993 0 0 0 6191 83 0 0 20 0 28 0 148267378 27381166080 159719 33554432000 4194304 4196468 140725568352976 140678036721424 140678922941644 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14839808 140725568361618 140725568361795 140725568361795 140725568364495 0
Current children cumulated CPU time: 511.52 s
Current children cumulated vsize: 26748932 KiB
Current children cumulated memory: 640260 KiB
Child status: 0
Real time (s): 70.2282
CPU time (s): 511.643
CPU user time (s): 501.201
CPU system time (s): 10.4419
CPU usage (%): 728.543
Max. virtual memory (cumulated for all children) (KiB): 26750860
Max. memory (cumulated for all children) (KiB): 641288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 501.201
system time used= 10.4419
maximum resident set size= 640416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75811
page faults= 0
swaps= 0
block input operations= 0
block output operations= 248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3798289
involuntary context switches= 993
# summary of solver processes directly reported to runsolver:
# pid: 805
# total CPU time (s): 511.643
# total CPU user time (s): 501.201
# total CPU system time (s): 10.4419
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.569063 second user time and 0.876239 second system time
The end
Begin job on node148 at 2017-08-19 15:56:42
IDJOB=4280414
IDBENCH=133488
IDSOLVER=2675
FILE ID=node148/4280414-1503151862
RUNJOBID= node148-1503143284-30089
PBS_JOBID= 20630802
Free space on /tmp= 61948 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s60/Knapsack-60-250-07.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280414-1503151862/watcher-4280414-1503151862 -o /tmp/evaluation-result-4280414-1503151862/solver-4280414-1503151862 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503143284-30089 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 606514766 HOME/instance-4280414-1503151862.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= f01027693dd53db4ae08ac6ca1ef0b11
RANDOM SEED=606514766
node148.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 : 5333.19
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 : 5333.19
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 : 5333.19
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 : 5333.19
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: 25512708 kB
MemAvailable: 31975680 kB
Buffers: 291608 kB
Cached: 6465480 kB
SwapCached: 0 kB
Active: 1159424 kB
Inactive: 5650180 kB
Active(anon): 3980 kB
Inactive(anon): 84704 kB
Active(file): 1155444 kB
Inactive(file): 5565476 kB
Unevictable: 7784 kB
Mlocked: 7784 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7696 kB
Writeback: 4 kB
AnonPages: 60624 kB
Mapped: 51180 kB
Shmem: 33416 kB
Slab: 142364 kB
SReclaimable: 115772 kB
SUnreclaim: 26592 kB
KernelStack: 3168 kB
PageTables: 4836 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 333488 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 126336 kB
DirectMap2M: 33419264 kB
Free space on /tmp at the end= 61940 MiB
End job on node148 at 2017-08-19 15:57:52