0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280754-1503171499.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4280754-1503171499.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.32/0.26 c parse instance...
15.36/3.37 c solve instance...
52.12/8.15 s SATISFIABLE
52.12/8.15 v <instantiation>
52.12/8.15 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] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] </list>
52.12/8.15 v <values>2 5 4 3 6 7 1 2 0 1 2 5 4 22 23 21 24 26 53 51 52 46 45 36 38 41 40 202 201 204 206 197 196 190 189 216 218 221 220 238 239 237 240 241 242 485 484 483 485 484 478 479 478 477 468 470 473 472 418 417 420 422 413 412 406 405 324 326 329 328 346 345 348 350 377 375 372 374 371 369 360 361 367 366 363 364 1822 1821 1824 1826 1817 1815 1816 1810 1809 1836 1837 1843 1844 1853 1852 1846 1852 1846 1847 1845 1854 1856 1855 1861 1862 1781 1779 1780 1774 1773 1764 1765 1766 1764 1765 1771 1772 1763 1761 1758 </values>
52.12/8.15 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 (12780 MiB free)
memory of node 1: 16384 MiB (12127 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280754-1503171499/watcher-4280754-1503171499 -o /tmp/evaluation-result-4280754-1503171499/solver-4280754-1503171499 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503164239-4277 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1934712498 HOME/instance-4280754-1503171499.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
Current StackSize limit: 8192 KiB
solver pid=5446, runsolver pid=5443
[startup+0.100159 s]*
/proc/loadavg: 7.41 7.15 6.32 4/200 5467
/proc/meminfo: memFree=25490928/32770624 swapFree=67108860/67108860
[pid=5446] ppid=5443 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5446/stat : 5446 (xcsp3-exec) S 5443 5446 4250 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150230822 9740288 345 33554432000 4194304 5098028 140731400527728 140731400525832 140120404689532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24367104 140731400528996 140731400529207 140731400529207 140731400531947 0
/proc/5446/statm: 2378 345 289 221 0 87 0
[pid=5448] ppid=5446 vsize=25999808 memory=26456 CPUtime=0.11 cores=0-7
/proc/5448/stat : 5448 (java) S 5446 5446 4250 0 -1 1077944320 5482 0 0 0 10 1 0 0 20 0 20 0 150230822 26623803392 6614 33554432000 4194304 4196468 140724450314704 140724450297248 140309940264695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
/proc/5448/statm: 6499952 6614 2861 1 0 6488269 0
[pid=5448/tid=5449] ppid=5446 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/5448/task/5449/stat : 5449 (java) R 5446 5446 4250 0 -1 4202560 3472 0 0 0 8 0 0 0 20 0 20 0 150230822 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309944497968 140309940286042 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5450] ppid=5446 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5448/task/5450/stat : 5450 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309892885648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5451] ppid=5446 vsize=25999808 memory=140550002693760 CPUtime=0 cores=0-7
/proc/5448/task/5451/stat : 5451 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230823 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309891832848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5452] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5452/stat : 5452 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309890780048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5453] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5453/stat : 5453 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150230823 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309889727248 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5454] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5454/stat : 5454 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230823 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309888674448 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5455] ppid=5446 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5448/task/5455/stat : 5455 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309887621648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5456] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5456/stat : 5456 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309886568848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5457] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5457/stat : 5457 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230823 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309885516048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5458] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5458/stat : 5458 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230825 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309336091504 140309940275842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5459] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5459/stat : 5459 (java) S 5446 5446 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150230825 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309335037472 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5460] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5460/stat : 5460 (java) S 5446 5446 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150230825 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309132469616 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5461] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5461/stat : 5461 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230828 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309131417936 140309940283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5462] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5462/stat : 5462 (java) S 5446 5446 4250 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 150230828 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309130365296 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5463] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5463/stat : 5463 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150230828 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309129312496 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5464] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5464/stat : 5464 (java) S 5446 5446 4250 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 150230828 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309128259696 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5465] ppid=5446 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/5448/task/5465/stat : 5465 (java) S 5446 5446 4250 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 20 0 150230828 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309127206896 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5466] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5466/stat : 5466 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150230828 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309126155360 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5467] ppid=5446 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5448/task/5467/stat : 5467 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230828 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309125102640 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27836 KiB
[startup+0.210573 s]*
/proc/loadavg: 7.41 7.15 6.32 2/200 5467
/proc/meminfo: memFree=25476444/32770624 swapFree=67108860/67108860
[pid=5446] ppid=5443 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5446/stat : 5446 (xcsp3-exec) S 5443 5446 4250 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150230822 9740288 345 33554432000 4194304 5098028 140731400527728 140731400525832 140120404689532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24367104 140731400528996 140731400529207 140731400529207 140731400531947 0
/proc/5446/statm: 2378 345 289 221 0 87 0
[pid=5448] ppid=5446 vsize=26004064 memory=39072 CPUtime=0.32 cores=0-7
/proc/5448/stat : 5448 (java) S 5446 5446 4250 0 -1 1077944320 8350 0 0 0 30 2 0 0 20 0 20 0 150230822 26628161536 9768 33554432000 4194304 4196468 140724450314704 140724450297248 140309940264695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
/proc/5448/statm: 6501016 9768 3050 1 0 6488269 0
[pid=5448/tid=5449] ppid=5446 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5448/task/5449/stat : 5449 (java) R 5446 5446 4250 0 -1 4202560 5394 0 0 0 18 1 0 0 20 0 20 0 150230822 26628161536 9768 33554432000 4194304 4196468 140724450314704 140309944485688 140309921913729 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5450] ppid=5446 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/5448/task/5450/stat : 5450 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 9768 33554432000 4194304 4196468 140724450314704 140309892885648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5451] ppid=5446 vsize=26004064 memory=288370926154405504 CPUtime=0 cores=0-7
/proc/5448/task/5451/stat : 5451 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 9768 33554432000 4194304 4196468 140724450314704 140309891832848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5452] ppid=5446 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5448/task/5452/stat : 5452 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 9768 33554432000 4194304 4196468 140724450314704 140309890780048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5453] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5453/stat : 5453 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 9768 33554432000 4194304 4196468 140724450314704 140309889727248 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5454] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5454/stat : 5454 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 9768 33554432000 4194304 4196468 140724450314704 140309888674448 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5455] ppid=5446 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5448/task/5455/stat : 5455 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 9768 33554432000 4194304 4196468 140724450314704 140309887621648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5456] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5456/stat : 5456 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 9768 33554432000 4194304 4196468 140724450314704 140309886568848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5457] ppid=5446 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5457/stat : 5457 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230823 26628194304 9768 33554432000 4194304 4196468 140724450314704 140309885516048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5458] ppid=5446 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5458/stat : 5458 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230825 26628194304 9768 33554432000 4194304 4196468 140724450314704 140309336091504 140309940275842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5459] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5459/stat : 5459 (java) S 5446 5446 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150230825 26628161536 9789 33554432000 4194304 4196468 140724450314704 140309335037472 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5460] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5460/stat : 5460 (java) S 5446 5446 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150230825 26628161536 9789 33554432000 4194304 4196468 140724450314704 140309132469616 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5461] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5461/stat : 5461 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230828 26628161536 9789 33554432000 4194304 4196468 140724450314704 140309131417936 140309940283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5462] ppid=5446 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/5448/task/5462/stat : 5462 (java) S 5446 5446 4250 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 20 0 150230828 26628161536 9789 33554432000 4194304 4196468 140724450314704 140309130365296 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5463] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5463/stat : 5463 (java) S 5446 5446 4250 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 150230828 26628161536 9789 33554432000 4194304 4196468 140724450314704 140309129312496 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5464] ppid=5446 vsize=26004096 memory=-1 CPUtime=0.02 cores=0-7
/proc/5448/task/5464/stat : 5464 (java) S 5446 5446 4250 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 20 0 150230828 26628194304 9789 33554432000 4194304 4196468 140724450314704 140309128259696 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5465] ppid=5446 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/5448/task/5465/stat : 5465 (java) S 5446 5446 4250 0 -1 1077944384 766 0 0 0 7 0 0 0 20 0 20 0 150230828 26628161536 9789 33554432000 4194304 4196468 140724450314704 140309127206896 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5466] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5466/stat : 5466 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150230828 26628161536 9789 33554432000 4194304 4196468 140724450314704 140309126155360 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5467] ppid=5446 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5448/task/5467/stat : 5467 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230828 26628161536 9789 33554432000 4194304 4196468 140724450314704 140309125102640 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40452 KiB
[startup+0.309882 s]*
/proc/loadavg: 7.41 7.15 6.32 5/200 5467
/proc/meminfo: memFree=25469868/32770624 swapFree=67108860/67108860
[pid=5446] ppid=5443 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5446/stat : 5446 (xcsp3-exec) S 5443 5446 4250 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150230822 9740288 345 33554432000 4194304 5098028 140731400527728 140731400525832 140120404689532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24367104 140731400528996 140731400529207 140731400529207 140731400531947 0
/proc/5446/statm: 2378 345 289 221 0 87 0
[pid=5448] ppid=5446 vsize=26004064 memory=45752 CPUtime=0.49 cores=0-7
/proc/5448/stat : 5448 (java) S 5446 5446 4250 0 -1 1077944320 9250 0 0 0 46 3 0 0 20 0 20 0 150230822 26628161536 11438 33554432000 4194304 4196468 140724450314704 140724450297248 140309940264695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
/proc/5448/statm: 6501016 11438 3082 1 0 6488269 0
[pid=5448/tid=5449] ppid=5446 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5448/task/5449/stat : 5449 (java) R 5446 5446 4250 0 -1 4202560 6120 0 0 0 27 2 0 0 20 0 20 0 150230822 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309944504336 140309940286621 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5450] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5450/stat : 5450 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309892885648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5451] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5451/stat : 5451 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309891832848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5452] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5452/stat : 5452 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309890780048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5453] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5453/stat : 5453 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309889727248 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5454] ppid=5446 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/5448/task/5454/stat : 5454 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309888674448 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5455] ppid=5446 vsize=26004064 memory=140549852066735 CPUtime=0 cores=0-7
/proc/5448/task/5455/stat : 5455 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309887621648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5456] ppid=5446 vsize=26004064 memory=140549852069040 CPUtime=0 cores=0-7
/proc/5448/task/5456/stat : 5456 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309886568848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5457] ppid=5446 vsize=26004064 memory=140549852071344 CPUtime=0 cores=0-7
/proc/5448/task/5457/stat : 5457 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309885516048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5458] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5458/stat : 5458 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230825 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309336091504 140309940275842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5459] ppid=5446 vsize=26004064 memory=281099704149648 CPUtime=0 cores=0-7
/proc/5448/task/5459/stat : 5459 (java) S 5446 5446 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150230825 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309335037472 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5460] ppid=5446 vsize=26004064 memory=281099704156560 CPUtime=0 cores=0-7
/proc/5448/task/5460/stat : 5460 (java) S 5446 5446 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150230825 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309132469616 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5461] ppid=5446 vsize=26004064 memory=281099704097840 CPUtime=0 cores=0-7
/proc/5448/task/5461/stat : 5461 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230828 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309131417936 140309940283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5462] ppid=5446 vsize=26004064 memory=281099704170384 CPUtime=0.02 cores=0-7
/proc/5448/task/5462/stat : 5462 (java) S 5446 5446 4250 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 20 0 150230828 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309130365296 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5463] ppid=5446 vsize=26004064 memory=281099704177296 CPUtime=0 cores=0-7
/proc/5448/task/5463/stat : 5463 (java) S 5446 5446 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150230828 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309129312496 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5464] ppid=5446 vsize=26004064 memory=281099704174992 CPUtime=0.03 cores=0-7
/proc/5448/task/5464/stat : 5464 (java) S 5446 5446 4250 0 -1 1077944384 486 0 0 0 3 0 0 0 20 0 20 0 150230828 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309128259696 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5465] ppid=5446 vsize=26004064 memory=281099704191152 CPUtime=0.11 cores=0-7
/proc/5448/task/5465/stat : 5465 (java) R 5446 5446 4250 0 -1 4202560 855 0 0 0 11 0 0 0 20 0 20 0 150230828 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309127206896 140309940286042 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5466] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5466/stat : 5466 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150230828 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309126155360 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5467] ppid=5446 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5448/task/5467/stat : 5467 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230828 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309125102640 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47132 KiB
[startup+0.701499 s]
/proc/loadavg: 7.41 7.15 6.32 6/200 5467
/proc/meminfo: memFree=25440724/32770624 swapFree=67108860/67108860
[pid=5446] ppid=5443 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5446/stat : 5446 (xcsp3-exec) S 5443 5446 4250 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150230822 9740288 345 33554432000 4194304 5098028 140731400527728 140731400525832 140120404689532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24367104 140731400528996 140731400529207 140731400529207 140731400531947 0
/proc/5446/statm: 2378 345 289 221 0 87 0
[pid=5448] ppid=5446 vsize=26004140 memory=253256 CPUtime=2.07 cores=0-7
/proc/5448/stat : 5448 (java) S 5446 5446 4250 0 -1 1077944320 12713 0 0 0 180 27 0 0 20 0 20 0 150230822 26628239360 63314 33554432000 4194304 4196468 140724450314704 140724450297248 140309940264695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
/proc/5448/statm: 6501035 63314 3196 1 0 6488269 0
[pid=5448/tid=5449] ppid=5446 vsize=26004140 memory=281099704549040 CPUtime=0.63 cores=0-7
/proc/5448/task/5449/stat : 5449 (java) S 5446 5446 4250 0 -1 1077944384 6514 0 0 0 59 4 0 0 20 0 20 0 150230822 26628239360 63314 33554432000 4194304 4196468 140724450314704 140309944502560 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5450] ppid=5446 vsize=26004140 memory=140549852275568 CPUtime=0.03 cores=0-7
/proc/5448/task/5450/stat : 5450 (java) R 5446 5446 4250 0 -1 4202560 39 0 0 0 1 2 0 0 20 0 20 0 150230823 26628239360 63314 33554432000 4194304 4196468 140724450314704 140309892885648 140309933361396 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5451] ppid=5446 vsize=26004140 memory=0 CPUtime=0.03 cores=0-7
/proc/5448/task/5451/stat : 5451 (java) R 5446 5446 4250 0 -1 4202560 38 0 0 0 1 2 0 0 20 0 20 0 150230823 26628239360 63314 33554432000 4194304 4196468 140724450314704 140309891833048 140309925292578 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5452] ppid=5446 vsize=26004140 memory=1204 CPUtime=0.03 cores=0-7
/proc/5448/task/5452/stat : 5452 (java) R 5446 5446 4250 0 -1 4202560 41 0 0 0 1 2 0 0 20 0 20 0 150230823 26628239360 63314 33554432000 4194304 4196468 140724450314704 140309890778024 140309933361396 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
################
# More data... #
################
[pid=5448/tid=5465] ppid=5446 vsize=26538700 memory=6944656575208382560 CPUtime=0.46 cores=0-7
/proc/5448/task/5465/stat : 5465 (java) S 5446 5446 4250 0 -1 1077944384 2426 0 0 0 45 1 0 0 20 0 28 0 150230828 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309127206896 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5466] ppid=5446 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5466/stat : 5466 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150230828 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309126155360 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5467] ppid=5446 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5467/stat : 5467 (java) S 5446 5446 4250 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 28 0 150230828 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309125102640 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5468] ppid=5446 vsize=26538700 memory=0 CPUtime=4.17 cores=0-7
/proc/5448/task/5468/stat : 5468 (java) R 5446 5446 4250 0 -1 4202560 473 0 0 0 416 1 0 0 20 0 28 0 150231161 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309117090776 140309557227273 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5469] ppid=5446 vsize=26538700 memory=140549852259701 CPUtime=3.96 cores=0-7
/proc/5448/task/5469/stat : 5469 (java) R 5446 5446 4250 0 -1 4202560 232 0 0 0 396 0 0 0 20 0 28 0 150231161 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309116039208 140309557308555 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5470] ppid=5446 vsize=26538700 memory=0 CPUtime=4.17 cores=0-7
/proc/5448/task/5470/stat : 5470 (java) R 5446 5446 4250 0 -1 4202560 228 0 0 0 417 0 0 0 20 0 28 0 150231161 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309114986408 140309932506085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5471] ppid=5446 vsize=26538700 memory=0 CPUtime=4.1 cores=0-7
/proc/5448/task/5471/stat : 5471 (java) R 5446 5446 4250 0 -1 4202560 152 0 0 0 410 0 0 0 20 0 28 0 150231161 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309113933608 140309925958193 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5472] ppid=5446 vsize=26538700 memory=4616 CPUtime=4.14 cores=0-7
/proc/5448/task/5472/stat : 5472 (java) R 5446 5446 4250 0 -1 4202560 248 0 0 0 410 4 0 0 20 0 28 0 150231161 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309112883336 140309557227444 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5473] ppid=5446 vsize=26538700 memory=8620 CPUtime=4.19 cores=0-7
/proc/5448/task/5473/stat : 5473 (java) R 5446 5446 4250 0 -1 4202560 1370 0 0 0 418 1 0 0 20 0 28 0 150231161 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309111830248 140309557227293 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5474] ppid=5446 vsize=26538700 memory=792 CPUtime=4.16 cores=0-7
/proc/5448/task/5474/stat : 5474 (java) R 5446 5446 4250 0 -1 4202560 264 0 0 0 416 0 0 0 20 0 28 0 150231161 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309110776120 140309557227427 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5475] ppid=5446 vsize=26538700 memory=1204 CPUtime=4.14 cores=0-7
/proc/5448/task/5475/stat : 5475 (java) R 5446 5446 4250 0 -1 4202560 228 0 0 0 413 1 0 0 20 0 28 0 150231161 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309109725288 140309557227491 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
Current children cumulated CPU time: 48.98 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1647328 KiB
[startup+8.00152 s]*
/proc/loadavg: 6.90 7.04 6.30 4/208 5475
/proc/meminfo: memFree=23865864/32770624 swapFree=67108860/67108860
[pid=5446] ppid=5443 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5446/stat : 5446 (xcsp3-exec) S 5443 5446 4250 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150230822 9740288 345 33554432000 4194304 5098028 140731400527728 140731400525832 140120404689532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24367104 140731400528996 140731400529207 140731400529207 140731400531947 0
/proc/5446/statm: 2378 345 289 221 0 87 0
[pid=5448] ppid=5446 vsize=26538700 memory=1647424 CPUtime=51.89 cores=0-7
/proc/5448/stat : 5448 (java) S 5446 5446 4250 0 -1 1077944320 47942 0 0 0 4855 334 0 0 20 0 28 0 150230822 27175628800 411856 33554432000 4194304 4196468 140724450314704 140724450297248 140309940264695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
/proc/5448/statm: 6634675 411856 3264 1 0 6621909 0
[pid=5448/tid=5449] ppid=5446 vsize=26538700 memory=8112282956445269571 CPUtime=1.82 cores=0-7
/proc/5448/task/5449/stat : 5449 (java) S 5446 5446 4250 0 -1 1077944384 6938 0 0 0 174 8 0 0 20 0 28 0 150230822 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309944505472 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5450] ppid=5446 vsize=26538700 memory=4126316290023845779 CPUtime=1.42 cores=0-7
/proc/5448/task/5450/stat : 5450 (java) S 5446 5446 4250 0 -1 1077944384 7732 0 0 0 102 40 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309892885648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5451] ppid=5446 vsize=26538700 memory=25573577460458 CPUtime=1.41 cores=0-7
/proc/5448/task/5451/stat : 5451 (java) S 5446 5446 4250 0 -1 1077944384 2124 0 0 0 104 37 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309891832848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5452] ppid=5446 vsize=26538700 memory=25573577460202 CPUtime=1.41 cores=0-7
/proc/5448/task/5452/stat : 5452 (java) S 5446 5446 4250 0 -1 1077944384 2021 0 0 0 102 39 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309890780048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5453] ppid=5446 vsize=26538700 memory=25573577460202 CPUtime=1.42 cores=0-7
/proc/5448/task/5453/stat : 5453 (java) S 5446 5446 4250 0 -1 1077944384 2025 0 0 0 105 37 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309889727248 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5454] ppid=5446 vsize=26538700 memory=25573577459946 CPUtime=1.4 cores=0-7
/proc/5448/task/5454/stat : 5454 (java) S 5446 5446 4250 0 -1 1077944384 3160 0 0 0 102 38 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309888674448 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5455] ppid=5446 vsize=26538700 memory=0 CPUtime=1.42 cores=0-7
/proc/5448/task/5455/stat : 5455 (java) S 5446 5446 4250 0 -1 1077944384 2159 0 0 0 105 37 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309887621648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5456] ppid=5446 vsize=26538700 memory=17 CPUtime=1.43 cores=0-7
/proc/5448/task/5456/stat : 5456 (java) S 5446 5446 4250 0 -1 1077944384 2029 0 0 0 104 39 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309886568848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5457] ppid=5446 vsize=26538700 memory=3 CPUtime=1.42 cores=0-7
/proc/5448/task/5457/stat : 5457 (java) S 5446 5446 4250 0 -1 1077944384 2306 0 0 0 104 38 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309885516048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5458] ppid=5446 vsize=26538700 memory=0 CPUtime=0.05 cores=0-7
/proc/5448/task/5458/stat : 5458 (java) S 5446 5446 4250 0 -1 1077944384 2054 0 0 0 4 1 0 0 20 0 28 0 150230825 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309336091504 140309940275842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5459] ppid=5446 vsize=26538700 memory=22212 CPUtime=0 cores=0-7
/proc/5448/task/5459/stat : 5459 (java) S 5446 5446 4250 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 150230825 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309335037536 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5460] ppid=5446 vsize=26538700 memory=588846155374620711 CPUtime=0 cores=0-7
/proc/5448/task/5460/stat : 5460 (java) S 5446 5446 4250 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 150230825 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309132469632 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5461] ppid=5446 vsize=26538700 memory=3467834618008844350 CPUtime=0 cores=0-7
/proc/5448/task/5461/stat : 5461 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309131417936 140309940283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5462] ppid=5446 vsize=26538700 memory=0 CPUtime=0.67 cores=0-7
/proc/5448/task/5462/stat : 5462 (java) S 5446 5446 4250 0 -1 1077944384 2250 0 0 0 67 0 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309130365296 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5463] ppid=5446 vsize=26538700 memory=0 CPUtime=0.77 cores=0-7
/proc/5448/task/5463/stat : 5463 (java) S 5446 5446 4250 0 -1 1077944384 1995 0 0 0 76 1 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309129312496 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5464] ppid=5446 vsize=26538700 memory=0 CPUtime=0.8 cores=0-7
/proc/5448/task/5464/stat : 5464 (java) S 5446 5446 4250 0 -1 1077944384 2908 0 0 0 79 1 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309128259696 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5465] ppid=5446 vsize=26538700 memory=0 CPUtime=0.47 cores=0-7
/proc/5448/task/5465/stat : 5465 (java) S 5446 5446 4250 0 -1 1077944384 2474 0 0 0 46 1 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309127206896 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5466] ppid=5446 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5466/stat : 5466 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309126155360 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5467] ppid=5446 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5467/stat : 5467 (java) S 5446 5446 4250 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309125102640 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5468] ppid=5446 vsize=26538700 memory=0 CPUtime=4.54 cores=0-7
/proc/5448/task/5468/stat : 5468 (java) S 5446 5446 4250 0 -1 1077944384 577 0 0 0 453 1 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309117095872 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5469] ppid=5446 vsize=26538700 memory=-6352670693803649130 CPUtime=4.34 cores=0-7
/proc/5448/task/5469/stat : 5469 (java) R 5446 5446 4250 0 -1 4202560 360 0 0 0 434 0 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309116039208 140309557502208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5470] ppid=5446 vsize=26538700 memory=-7595718147998060693 CPUtime=4.46 cores=0-7
/proc/5448/task/5470/stat : 5470 (java) S 5446 5446 4250 0 -1 1077944384 293 0 0 0 446 0 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309114991696 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5471] ppid=5446 vsize=26538700 memory=7013631194645291367 CPUtime=4.36 cores=0-7
/proc/5448/task/5471/stat : 5471 (java) S 5446 5446 4250 0 -1 1077944384 669 0 0 0 436 0 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309113938896 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5472] ppid=5446 vsize=26538700 memory=6441370576508249454 CPUtime=4.48 cores=0-7
/proc/5448/task/5472/stat : 5472 (java) R 5446 5446 4250 0 -1 4202560 250 0 0 0 444 4 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309112883336 140309557502346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5473] ppid=5446 vsize=26538700 memory=0 CPUtime=4.54 cores=0-7
/proc/5448/task/5473/stat : 5473 (java) S 5446 5446 4250 0 -1 1077944384 1389 0 0 0 453 1 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309111833296 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5474] ppid=5446 vsize=26538700 memory=0 CPUtime=4.51 cores=0-7
/proc/5448/task/5474/stat : 5474 (java) S 5446 5446 4250 0 -1 1077944384 266 0 0 0 451 0 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309110781520 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5475] ppid=5446 vsize=26538700 memory=0 CPUtime=4.51 cores=0-7
/proc/5448/task/5475/stat : 5475 (java) R 5446 5446 4250 0 -1 4202560 229 0 0 0 450 1 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309109725288 140309557502198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
Current children cumulated CPU time: 51.89 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1648804 KiB
[startup+8.11054 s]
/proc/loadavg: 6.90 7.04 6.30 4/208 5475
/proc/meminfo: memFree=23865864/32770624 swapFree=67108860/67108860
[pid=5446] ppid=5443 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5446/stat : 5446 (xcsp3-exec) S 5443 5446 4250 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150230822 9740288 345 33554432000 4194304 5098028 140731400527728 140731400525832 140120404689532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24367104 140731400528996 140731400529207 140731400529207 140731400531947 0
/proc/5446/statm: 2378 345 289 221 0 87 0
[pid=5448] ppid=5446 vsize=26538700 memory=1647424 CPUtime=52.12 cores=0-7
/proc/5448/stat : 5448 (java) S 5446 5446 4250 0 -1 1077944320 47947 0 0 0 4878 334 0 0 20 0 28 0 150230822 27175628800 411856 33554432000 4194304 4196468 140724450314704 140724450297248 140309940264695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
/proc/5448/statm: 6634675 411856 3264 1 0 6621909 0
[pid=5448/tid=5449] ppid=5446 vsize=26538700 memory=1647392 CPUtime=1.82 cores=0-7
/proc/5448/task/5449/stat : 5449 (java) S 5446 5446 4250 0 -1 1077944384 6938 0 0 0 174 8 0 0 20 0 28 0 150230822 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309944505472 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5450] ppid=5446 vsize=26538700 memory=1645396 CPUtime=1.42 cores=0-7
/proc/5448/task/5450/stat : 5450 (java) S 5446 5446 4250 0 -1 1077944384 7732 0 0 0 102 40 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309892885648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5451] ppid=5446 vsize=26538700 memory=0 CPUtime=1.41 cores=0-7
/proc/5448/task/5451/stat : 5451 (java) S 5446 5446 4250 0 -1 1077944384 2124 0 0 0 104 37 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309891832848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5452] ppid=5446 vsize=26538700 memory=140549851985056 CPUtime=1.41 cores=0-7
/proc/5448/task/5452/stat : 5452 (java) S 5446 5446 4250 0 -1 1077944384 2021 0 0 0 102 39 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309890780048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5453] ppid=5446 vsize=26538700 memory=55 CPUtime=1.42 cores=0-7
/proc/5448/task/5453/stat : 5453 (java) S 5446 5446 4250 0 -1 1077944384 2025 0 0 0 105 37 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309889727248 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5454] ppid=5446 vsize=26538700 memory=13871 CPUtime=1.4 cores=0-7
/proc/5448/task/5454/stat : 5454 (java) S 5446 5446 4250 0 -1 1077944384 3160 0 0 0 102 38 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309888674448 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5455] ppid=5446 vsize=26538700 memory=25367 CPUtime=1.42 cores=0-7
/proc/5448/task/5455/stat : 5455 (java) S 5446 5446 4250 0 -1 1077944384 2159 0 0 0 105 37 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309887621648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5456] ppid=5446 vsize=26538700 memory=0 CPUtime=1.43 cores=0-7
/proc/5448/task/5456/stat : 5456 (java) S 5446 5446 4250 0 -1 1077944384 2029 0 0 0 104 39 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309886568848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5457] ppid=5446 vsize=26538700 memory=0 CPUtime=1.42 cores=0-7
/proc/5448/task/5457/stat : 5457 (java) S 5446 5446 4250 0 -1 1077944384 2306 0 0 0 104 38 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309885516048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5458] ppid=5446 vsize=26538700 memory=140554297661055 CPUtime=0.05 cores=0-7
/proc/5448/task/5458/stat : 5458 (java) S 5446 5446 4250 0 -1 1077944384 2054 0 0 0 4 1 0 0 20 0 28 0 150230825 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309336091504 140309940275842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5459] ppid=5446 vsize=26538700 memory=5780995989620102258 CPUtime=0 cores=0-7
/proc/5448/task/5459/stat : 5459 (java) S 5446 5446 4250 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 150230825 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309335037536 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5460] ppid=5446 vsize=26538700 memory=281099703946768 CPUtime=0 cores=0-7
/proc/5448/task/5460/stat : 5460 (java) S 5446 5446 4250 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 150230825 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309132469632 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5461] ppid=5446 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5461/stat : 5461 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309131417936 140309940283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5462] ppid=5446 vsize=26538700 memory=6656426216303648864 CPUtime=0.67 cores=0-7
/proc/5448/task/5462/stat : 5462 (java) S 5446 5446 4250 0 -1 1077944384 2250 0 0 0 67 0 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309130365296 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5463] ppid=5446 vsize=26538700 memory=6656426216303648864 CPUtime=0.77 cores=0-7
/proc/5448/task/5463/stat : 5463 (java) S 5446 5446 4250 0 -1 1077944384 1995 0 0 0 76 1 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309129312496 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5464] ppid=5446 vsize=26538700 memory=55 CPUtime=0.8 cores=0-7
/proc/5448/task/5464/stat : 5464 (java) S 5446 5446 4250 0 -1 1077944384 2908 0 0 0 79 1 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309128259696 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5465] ppid=5446 vsize=26538700 memory=288230591755990336 CPUtime=0.47 cores=0-7
/proc/5448/task/5465/stat : 5465 (java) S 5446 5446 4250 0 -1 1077944384 2478 0 0 0 46 1 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309127206896 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5466] ppid=5446 vsize=26538700 memory=15539617718550738 CPUtime=0 cores=0-7
/proc/5448/task/5466/stat : 5466 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309126155360 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5467] ppid=5446 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5467/stat : 5467 (java) S 5446 5446 4250 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309125102640 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5468] ppid=5446 vsize=26538700 memory=0 CPUtime=4.54 cores=0-7
/proc/5448/task/5468/stat : 5468 (java) S 5446 5446 4250 0 -1 1077944384 577 0 0 0 453 1 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309117095872 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5469] ppid=5446 vsize=26538700 memory=0 CPUtime=4.44 cores=0-7
/proc/5448/task/5469/stat : 5469 (java) R 5446 5446 4250 0 -1 4202560 361 0 0 0 444 0 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309116039208 140309557502334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5470] ppid=5446 vsize=26538700 memory=314 CPUtime=4.46 cores=0-7
/proc/5448/task/5470/stat : 5470 (java) S 5446 5446 4250 0 -1 1077944384 293 0 0 0 446 0 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309114991696 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5471] ppid=5446 vsize=26538700 memory=0 CPUtime=4.36 cores=0-7
/proc/5448/task/5471/stat : 5471 (java) S 5446 5446 4250 0 -1 1077944384 669 0 0 0 436 0 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309113938896 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5472] ppid=5446 vsize=26538700 memory=0 CPUtime=4.55 cores=0-7
/proc/5448/task/5472/stat : 5472 (java) S 5446 5446 4250 0 -1 1077944384 250 0 0 0 451 4 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309112886096 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5473] ppid=5446 vsize=26538700 memory=0 CPUtime=4.54 cores=0-7
/proc/5448/task/5473/stat : 5473 (java) S 5446 5446 4250 0 -1 1077944384 1389 0 0 0 453 1 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309111833296 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5474] ppid=5446 vsize=26538700 memory=0 CPUtime=4.51 cores=0-7
/proc/5448/task/5474/stat : 5474 (java) S 5446 5446 4250 0 -1 1077944384 266 0 0 0 451 0 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309110781520 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5475] ppid=5446 vsize=26538700 memory=0 CPUtime=4.56 cores=0-7
/proc/5448/task/5475/stat : 5475 (java) S 5446 5446 4250 0 -1 1077944384 229 0 0 0 455 1 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309109728720 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
Current children cumulated CPU time: 52.12 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1648804 KiB
Child status: 0
Real time (s): 8.16957
CPU time (s): 52.1916
CPU user time (s): 48.8321
CPU system time (s): 3.35951
CPU usage (%): 638.854
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1648804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.8321
system time used= 3.35951
maximum resident set size= 1649716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48934
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4665
involuntary context switches= 581
# summary of solver processes directly reported to runsolver:
# pid: 5446
# total CPU time (s): 52.1916
# total CPU user time (s): 48.8321
# total CPU system time (s): 3.35951
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.102325 second user time and 0.118314 second system time
The end
Begin job on node148 at 2017-08-19 21:23:59
IDJOB=4280754
IDBENCH=138763
IDSOLVER=2675
FILE ID=node148/4280754-1503171499
RUNJOBID= node148-1503164239-4277
PBS_JOBID= 20630830
Free space on /tmp= 61948 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Hanoi/Hanoi-m1-s1/Hanoi-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-4280754-1503171499/watcher-4280754-1503171499 -o /tmp/evaluation-result-4280754-1503171499/solver-4280754-1503171499 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503164239-4277 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1934712498 HOME/instance-4280754-1503171499.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 7f68b5f256bf6bd8019eb0158af88fa3
RANDOM SEED=1934712498
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: 25507000 kB
MemAvailable: 31974724 kB
Buffers: 294220 kB
Cached: 6467260 kB
SwapCached: 0 kB
Active: 1166076 kB
Inactive: 5648844 kB
Active(anon): 4848 kB
Inactive(anon): 84704 kB
Active(file): 1161228 kB
Inactive(file): 5564140 kB
Unevictable: 7784 kB
Mlocked: 7784 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8224 kB
Writeback: 0 kB
AnonPages: 73416 kB
Mapped: 51472 kB
Shmem: 33416 kB
Slab: 143324 kB
SReclaimable: 116380 kB
SUnreclaim: 26944 kB
KernelStack: 3536 kB
PageTables: 4816 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 333960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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 21:24:08