0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404566-1569002138.xml" -tl '20160s' -p 8
0.12/0.18 c Choco 3fb4b153
0.12/0.18 c [HOME/instance-4404566-1569002138.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
0.71/0.47 c solve instance...
0.71/0.49 o 217
0.71/0.50 o 456
0.71/0.50 o 472
0.71/0.51 o 474
0.71/0.51 o 520
1.08/0.52 o 547
1.08/0.52 o 558
1.08/0.53 o 576
1.08/0.53 o 597
1.08/0.53 o 614
1.08/0.53 o 781
1.08/0.54 o 788
1.08/0.54 o 807
1.08/0.55 o 811
1.08/0.56 o 851
1.08/0.58 o 856
1.08/0.59 o 873
1.69/0.61 o 877
1.69/0.61 o 888
1.69/0.63 o 900
1.69/0.63 o 907
1.69/0.65 o 908
1.69/0.66 o 934
1.69/0.67 o 948
1.69/0.69 o 970
2.34/0.71 o 972
2.34/0.72 o 975
2.34/0.73 o 990
2.34/0.74 o 995
2.34/0.75 o 997
2.34/0.78 o 1017
2.34/0.80 o 1038
3.06/0.81 o 1042
3.06/0.83 o 1044
3.06/0.84 o 1052
3.73/0.96 o 1053
4.53/1.03 o 1064
5.35/1.15 o 1065
5.98/1.20 o 1070
51.89/7.68 s OPTIMUM FOUND
51.89/7.68 v <instantiation>
51.89/7.68 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] </list>
51.89/7.68 v <values>0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 </values>
51.89/7.68 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 (4616 MiB free)
memory of node 1: 16384 MiB (6911 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404566-1569002138/watcher-4404566-1569002138 -o /var/tmp/evaluation-result-4404566-1569002138/solver-4404566-1569002138 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 888787701 HOME/instance-4404566-1569002138.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=4637, runsolver pid=4634
Current StackSize limit: 8192 KiB
[startup+0.10012 s]*
/proc/loadavg: 8.38 8.29 8.26 3/213 4658
/proc/meminfo: memFree=11786528/32770624 swapFree=66956712/67108860
[pid=4637] ppid=4634 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/4637/stat : 4637 (xcsp3-exec) S 4634 4637 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476452449 115843072 362 33554432000 4194304 5098028 140732805053888 140732805051992 140016772260476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39096320 140732805055314 140732805055573 140732805055573 140732805058502 0
/proc/4637/statm: 28282 362 304 221 0 87 0
[pid=4639] ppid=4637 vsize=28227396 memory=29024 CPUtime=0.12 cores=0-7
/proc/4639/stat : 4639 (java) S 4637 4637 3200 0 -1 1077944320 5745 0 0 0 11 1 0 0 20 0 20 0 476452449 28904853504 7256 33554432000 4194304 4196468 140720926907712 140720926890256 139891117469431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
/proc/4639/statm: 7056849 7256 3114 1 0 7019032 0
[pid=4639/tid=4640] ppid=4637 vsize=28227396 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/4639/task/4640/stat : 4640 (java) R 4637 4637 3200 0 -1 4202560 3684 0 0 0 8 1 0 0 20 0 20 0 476452449 28904853504 7256 33554432000 4194304 4196468 140720926907712 139891121703712 139891099968926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4641] ppid=4637 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/4639/task/4641/stat : 4641 (java) S 4637 4637 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476452450 28904853504 7256 33554432000 4194304 4196468 140720926907712 139891070089488 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4642] ppid=4637 vsize=28227396 memory=139845275674240 CPUtime=0 cores=0-7
/proc/4639/task/4642/stat : 4642 (java) S 4637 4637 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476452450 28904853504 7256 33554432000 4194304 4196468 140720926907712 139891069036944 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4643] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4643/stat : 4643 (java) S 4637 4637 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476452450 28904853504 7256 33554432000 4194304 4196468 140720926907712 139891067984400 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4644] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4644/stat : 4644 (java) S 4637 4637 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476452450 28904853504 7256 33554432000 4194304 4196468 140720926907712 139891066931856 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4645] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4645/stat : 4645 (java) S 4637 4637 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476452450 28904853504 7256 33554432000 4194304 4196468 140720926907712 139891065879312 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4646] ppid=4637 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4639/task/4646/stat : 4646 (java) S 4637 4637 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476452450 28904853504 7256 33554432000 4194304 4196468 140720926907712 139891064826768 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4647] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4647/stat : 4647 (java) S 4637 4637 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476452450 28904853504 7256 33554432000 4194304 4196468 140720926907712 139891063774224 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4648] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4648/stat : 4648 (java) S 4637 4637 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476452450 28904853504 7256 33554432000 4194304 4196468 140720926907712 139891062721680 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4649] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4649/stat : 4649 (java) S 4637 4637 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476452452 28904853504 7256 33554432000 4194304 4196468 140720926907712 139889782949872 139891117480578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4650] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4650/stat : 4650 (java) S 4637 4637 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476452452 28904853504 7256 33554432000 4194304 4196468 140720926907712 139889781896096 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4651] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4651/stat : 4651 (java) S 4637 4637 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476452452 28904853504 7256 33554432000 4194304 4196468 140720926907712 139889780843504 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4652] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4652/stat : 4652 (java) S 4637 4637 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476452455 28904853504 7256 33554432000 4194304 4196468 140720926907712 139889779792080 139891117488027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4653] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4653/stat : 4653 (java) S 4637 4637 3200 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 476452455 28904853504 7256 33554432000 4194304 4196468 140720926907712 139889778739696 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4654] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4654/stat : 4654 (java) R 4637 4637 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476452455 28904853504 7256 33554432000 4194304 4196468 140720926907712 139889777687152 139891117480578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4655] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4655/stat : 4655 (java) S 4637 4637 3200 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476452455 28904853504 7256 33554432000 4194304 4196468 140720926907712 139889776634608 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4656] ppid=4637 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/4639/task/4656/stat : 4656 (java) R 4637 4637 3200 0 -1 4202560 329 0 0 0 1 0 0 0 20 0 20 0 476452455 28904853504 7256 33554432000 4194304 4196468 140720926907712 139889775582064 139891096169632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4657] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4657/stat : 4657 (java) S 4637 4637 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476452455 28904853504 7256 33554432000 4194304 4196468 140720926907712 139889774528736 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4658] ppid=4637 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4639/task/4658/stat : 4658 (java) S 4637 4637 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476452455 28904853504 7256 33554432000 4194304 4196468 140720926907712 139889773476272 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30472 KiB
[startup+0.210587 s]*
/proc/loadavg: 8.38 8.29 8.26 4/213 4658
/proc/meminfo: memFree=11774220/32770624 swapFree=66956712/67108860
[pid=4637] ppid=4634 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/4637/stat : 4637 (xcsp3-exec) S 4634 4637 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476452449 115843072 362 33554432000 4194304 5098028 140732805053888 140732805051992 140016772260476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39096320 140732805055314 140732805055573 140732805055573 140732805058502 0
/proc/4637/statm: 28282 362 304 221 0 87 0
[pid=4639] ppid=4637 vsize=28227396 memory=40996 CPUtime=0.34 cores=0-7
/proc/4639/stat : 4639 (java) S 4637 4637 3200 0 -1 1077944320 9521 0 0 0 31 3 0 0 20 0 20 0 476452449 28904853504 10249 33554432000 4194304 4196468 140720926907712 140720926890256 139891117469431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
/proc/4639/statm: 7056849 10249 3300 1 0 7019032 0
[pid=4639/tid=4640] ppid=4637 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/4639/task/4640/stat : 4640 (java) R 4637 4637 3200 0 -1 4202560 6636 0 0 0 18 2 0 0 20 0 20 0 476452449 28904853504 10249 33554432000 4194304 4196468 140720926907712 139891121700864 139891117481366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4641] ppid=4637 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/4639/task/4641/stat : 4641 (java) S 4637 4637 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476452450 28904853504 10249 33554432000 4194304 4196468 140720926907712 139891070089488 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4642] ppid=4637 vsize=28227396 memory=3978007099589191328 CPUtime=0 cores=0-7
/proc/4639/task/4642/stat : 4642 (java) S 4637 4637 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476452450 28904853504 10249 33554432000 4194304 4196468 140720926907712 139891069036944 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4643] ppid=4637 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4639/task/4643/stat : 4643 (java) S 4637 4637 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476452450 28904853504 10249 33554432000 4194304 4196468 140720926907712 139891067984400 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4644] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4644/stat : 4644 (java) S 4637 4637 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476452450 28904853504 10249 33554432000 4194304 4196468 140720926907712 139891066931856 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4645] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4645/stat : 4645 (java) S 4637 4637 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476452450 28904853504 10249 33554432000 4194304 4196468 140720926907712 139891065879312 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4646] ppid=4637 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4639/task/4646/stat : 4646 (java) S 4637 4637 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476452450 28904853504 10249 33554432000 4194304 4196468 140720926907712 139891064826768 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4647] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4647/stat : 4647 (java) S 4637 4637 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476452450 28904853504 10249 33554432000 4194304 4196468 140720926907712 139891063774224 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4648] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4648/stat : 4648 (java) S 4637 4637 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476452450 28904853504 10249 33554432000 4194304 4196468 140720926907712 139891062721680 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4649] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4649/stat : 4649 (java) S 4637 4637 3200 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 476452452 28904853504 10249 33554432000 4194304 4196468 140720926907712 139889782949872 139891117480578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4650] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4650/stat : 4650 (java) S 4637 4637 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476452452 28904853504 10249 33554432000 4194304 4196468 140720926907712 139889781896096 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4651] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4651/stat : 4651 (java) S 4637 4637 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476452452 28904853504 10249 33554432000 4194304 4196468 140720926907712 139889780843504 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4652] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4652/stat : 4652 (java) S 4637 4637 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476452455 28904853504 10249 33554432000 4194304 4196468 140720926907712 139889779792080 139891117488027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4653] ppid=4637 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/4639/task/4653/stat : 4653 (java) S 4637 4637 3200 0 -1 1077944384 396 0 0 0 1 0 0 0 20 0 20 0 476452455 28904853504 10249 33554432000 4194304 4196468 140720926907712 139889778739696 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4654] ppid=4637 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/4639/task/4654/stat : 4654 (java) S 4637 4637 3200 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 20 0 476452455 28904853504 10249 33554432000 4194304 4196468 140720926907712 139889777687152 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4655] ppid=4637 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/4639/task/4655/stat : 4655 (java) S 4637 4637 3200 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 20 0 476452455 28904853504 10249 33554432000 4194304 4196468 140720926907712 139889776634608 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4656] ppid=4637 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/4639/task/4656/stat : 4656 (java) S 4637 4637 3200 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 20 0 476452455 28904853504 10249 33554432000 4194304 4196468 140720926907712 139889775582064 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4657] ppid=4637 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4657/stat : 4657 (java) S 4637 4637 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476452455 28904853504 10249 33554432000 4194304 4196468 140720926907712 139889774528736 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4658] ppid=4637 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4639/task/4658/stat : 4658 (java) S 4637 4637 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476452455 28904853504 10249 33554432000 4194304 4196468 140720926907712 139889773476272 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42444 KiB
[startup+0.317672 s]*
/proc/loadavg: 8.38 8.29 8.26 3/213 4658
/proc/meminfo: memFree=11767116/32770624 swapFree=66956712/67108860
[pid=4637] ppid=4634 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/4637/stat : 4637 (xcsp3-exec) S 4634 4637 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476452449 115843072 362 33554432000 4194304 5098028 140732805053888 140732805051992 140016772260476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39096320 140732805055314 140732805055573 140732805055573 140732805058502 0
/proc/4637/statm: 28282 362 304 221 0 87 0
[pid=4639] ppid=4637 vsize=28231652 memory=50424 CPUtime=0.54 cores=0-7
/proc/4639/stat : 4639 (java) S 4637 4637 3200 0 -1 1077944320 11005 0 0 0 50 4 0 0 20 0 20 0 476452449 28909211648 12606 33554432000 4194304 4196468 140720926907712 140720926890256 139891117469431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
/proc/4639/statm: 7057913 12606 3351 1 0 7019032 0
[pid=4639/tid=4640] ppid=4637 vsize=28231652 memory=8112282956445269571 CPUtime=0.31 cores=0-7
/proc/4639/task/4640/stat : 4640 (java) R 4637 4637 3200 0 -1 4202560 7901 0 0 0 28 3 0 0 20 0 20 0 476452449 28909211648 12671 33554432000 4194304 4196468 140720926907712 139891121703216 139891101549918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4641] ppid=4637 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4641/stat : 4641 (java) S 4637 4637 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476452450 28909211648 12671 33554432000 4194304 4196468 140720926907712 139891070089488 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4642] ppid=4637 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4642/stat : 4642 (java) S 4637 4637 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476452450 28909211648 12671 33554432000 4194304 4196468 140720926907712 139891069036944 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4643] ppid=4637 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4643/stat : 4643 (java) S 4637 4637 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476452450 28909211648 12671 33554432000 4194304 4196468 140720926907712 139891067984400 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4644] ppid=4637 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4644/stat : 4644 (java) S 4637 4637 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476452450 28909211648 12671 33554432000 4194304 4196468 140720926907712 139891066931856 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4645] ppid=4637 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/4639/task/4645/stat : 4645 (java) S 4637 4637 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476452450 28909211648 12671 33554432000 4194304 4196468 140720926907712 139891065879312 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4646] ppid=4637 vsize=28231652 memory=139845141885871 CPUtime=0 cores=0-7
/proc/4639/task/4646/stat : 4646 (java) S 4637 4637 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476452450 28909211648 12671 33554432000 4194304 4196468 140720926907712 139891064826768 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4647] ppid=4637 vsize=28231652 memory=139845141888176 CPUtime=0 cores=0-7
/proc/4639/task/4647/stat : 4647 (java) S 4637 4637 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476452450 28909211648 12671 33554432000 4194304 4196468 140720926907712 139891063774224 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4648] ppid=4637 vsize=28231652 memory=139845141890480 CPUtime=0 cores=0-7
/proc/4639/task/4648/stat : 4648 (java) S 4637 4637 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476452450 28909211648 12671 33554432000 4194304 4196468 140720926907712 139891062721680 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4649] ppid=4637 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4649/stat : 4649 (java) S 4637 4637 3200 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 476452452 28909211648 12671 33554432000 4194304 4196468 140720926907712 139889782949872 139891117480578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4650] ppid=4637 vsize=28231652 memory=279690283787920 CPUtime=0 cores=0-7
/proc/4639/task/4650/stat : 4650 (java) S 4637 4637 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476452452 28909211648 12671 33554432000 4194304 4196468 140720926907712 139889781896096 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4651] ppid=4637 vsize=28231652 memory=279690283794832 CPUtime=0 cores=0-7
/proc/4639/task/4651/stat : 4651 (java) S 4637 4637 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476452452 28909211648 12671 33554432000 4194304 4196468 140720926907712 139889780843504 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4652] ppid=4637 vsize=28231652 memory=279690283735984 CPUtime=0 cores=0-7
/proc/4639/task/4652/stat : 4652 (java) S 4637 4637 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476452455 28909211648 12671 33554432000 4194304 4196468 140720926907712 139889779792080 139891117488027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4653] ppid=4637 vsize=28231652 memory=279690283808656 CPUtime=0.02 cores=0-7
/proc/4639/task/4653/stat : 4653 (java) S 4637 4637 3200 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 20 0 476452455 28909211648 12671 33554432000 4194304 4196468 140720926907712 139889778739696 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4654] ppid=4637 vsize=28231652 memory=279690283815568 CPUtime=0.02 cores=0-7
/proc/4639/task/4654/stat : 4654 (java) S 4637 4637 3200 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 20 0 476452455 28909211648 12671 33554432000 4194304 4196468 140720926907712 139889777687152 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4655] ppid=4637 vsize=28231652 memory=279690283813264 CPUtime=0.03 cores=0-7
/proc/4639/task/4655/stat : 4655 (java) S 4637 4637 3200 0 -1 1077944384 418 0 0 0 3 0 0 0 20 0 20 0 476452455 28909211648 12671 33554432000 4194304 4196468 140720926907712 139889776634608 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4656] ppid=4637 vsize=28231652 memory=279690283829424 CPUtime=0.12 cores=0-7
/proc/4639/task/4656/stat : 4656 (java) S 4637 4637 3200 0 -1 1077944384 866 0 0 0 12 0 0 0 20 0 20 0 476452455 28909211648 12680 33554432000 4194304 4196468 140720926907712 139889775582064 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4657] ppid=4637 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4657/stat : 4657 (java) S 4637 4637 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476452455 28909211648 12680 33554432000 4194304 4196468 140720926907712 139889774528736 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4658] ppid=4637 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/4639/task/4658/stat : 4658 (java) S 4637 4637 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476452455 28909211648 12680 33554432000 4194304 4196468 140720926907712 139889773476272 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51872 KiB
[startup+0.708676 s]
/proc/loadavg: 8.38 8.29 8.26 6/218 4687
/proc/meminfo: memFree=11693524/32770624 swapFree=66956712/67108860
[pid=4637] ppid=4634 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/4637/stat : 4637 (xcsp3-exec) S 4634 4637 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476452449 115843072 362 33554432000 4194304 5098028 140732805053888 140732805051992 140016772260476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39096320 140732805055314 140732805055573 140732805055573 140732805058502 0
/proc/4637/statm: 28282 362 304 221 0 87 0
[pid=4639] ppid=4637 vsize=28832852 memory=194676 CPUtime=2.34 cores=0-7
/proc/4639/stat : 4639 (java) S 4637 4637 3200 0 -1 1077944320 19497 0 0 0 222 12 0 0 20 0 27 0 476452449 29524840448 48669 33554432000 4194304 4196468 140720926907712 140720926890256 139891117469431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
/proc/4639/statm: 7208213 48669 3484 1 0 7169313 0
[pid=4639/tid=4640] ppid=4637 vsize=28832852 memory=0 CPUtime=0.48 cores=0-7
/proc/4639/task/4640/stat : 4640 (java) S 4637 4637 3200 0 -1 1077944384 9043 0 0 0 44 4 0 0 20 0 27 0 476452449 29524840448 48669 33554432000 4194304 4196468 140720926907712 139891121710208 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4641] ppid=4637 vsize=28832852 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4641/stat : 4641 (java) S 4637 4637 3200 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 27 0 476452450 29524840448 48669 33554432000 4194304 4196468 140720926907712 139891070089488 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4642] ppid=4637 vsize=28832852 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4642/stat : 4642 (java) S 4637 4637 3200 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 27 0 476452450 29524840448 48669 33554432000 4194304 4196468 140720926907712 139891069036944 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4643] ppid=4637 vsize=28832852 memory=0 CPUtime=0 cores=0-7
/proc/4639/task/4643/stat : 4643 (java) S 4637 4637 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 476452450 29524840448 48669 33554432000 4194304 4196468 140720926907712 139891067984400 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
################
# More data... #
################
/proc/4639/task/4971/stat : 4971 (java) R 4637 4637 3200 0 -1 4202560 337 0 0 0 432 8 0 0 20 0 28 0 476452569 29524840448 154631 33554432000 4194304 4196468 140720926907712 139889689295664 139890729515915 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4972] ppid=4637 vsize=28832852 memory=0 CPUtime=4.14 cores=0-7
/proc/4639/task/4972/stat : 4972 (java) R 4637 4637 3200 0 -1 4202560 113 0 0 0 406 8 0 0 20 0 28 0 476452569 29524840448 154631 33554432000 4194304 4196468 140720926907712 139889692454832 139890729515904 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4973] ppid=4637 vsize=28832852 memory=0 CPUtime=4.24 cores=0-7
/proc/4639/task/4973/stat : 4973 (java) R 4637 4637 3200 0 -1 4202560 145 0 0 0 417 7 0 0 20 0 28 0 476452569 29524840448 154631 33554432000 4194304 4196468 140720926907712 139889695613072 139891117481366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4974] ppid=4637 vsize=28832852 memory=0 CPUtime=4.66 cores=0-7
/proc/4639/task/4974/stat : 4974 (java) R 4637 4637 3200 0 -1 1077944384 268 0 0 0 462 4 0 0 20 0 28 0 476452569 29524840448 154631 33554432000 4194304 4196468 140720926907712 139889691402512 139891117479637 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4975] ppid=4637 vsize=28832852 memory=0 CPUtime=4.38 cores=0-7
/proc/4639/task/4975/stat : 4975 (java) R 4637 4637 3200 0 -1 4202560 221 0 0 0 430 8 0 0 20 0 28 0 476452569 29524840448 154631 33554432000 4194304 4196468 140720926907712 139889690349968 139890729641195 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4976] ppid=4637 vsize=28832852 memory=279690283583784 CPUtime=4.52 cores=0-7
/proc/4639/task/4976/stat : 4976 (java) S 4637 4637 3200 0 -1 1077944384 257 0 0 0 443 9 0 0 20 0 28 0 476452569 29524840448 154631 33554432000 4194304 4196468 140720926907712 139889770717616 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4977] ppid=4637 vsize=28832852 memory=0 CPUtime=4.26 cores=0-7
/proc/4639/task/4977/stat : 4977 (java) R 4637 4637 3200 0 -1 4202560 87 0 0 0 419 7 0 0 20 0 28 0 476452569 29524840448 154631 33554432000 4194304 4196468 140720926907712 139889688243856 139890729028219 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4978] ppid=4637 vsize=28832852 memory=0 CPUtime=4.46 cores=0-7
/proc/4639/task/4978/stat : 4978 (java) R 4637 4637 3200 0 -1 4202560 199 0 0 0 439 7 0 0 20 0 28 0 476452570 29524840448 154631 33554432000 4194304 4196468 140720926907712 139889694560016 139890731256183 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
Current children cumulated CPU time: 42.69 s
Current children cumulated vsize: 28945980 KiB
Current children cumulated memory: 619972 KiB
[startup+7.20111 s]
/proc/loadavg: 8.19 8.25 8.24 9/219 4980
/proc/meminfo: memFree=11198240/32770624 swapFree=66956712/67108860
[pid=4637] ppid=4634 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/4637/stat : 4637 (xcsp3-exec) S 4634 4637 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476452449 115843072 362 33554432000 4194304 5098028 140732805053888 140732805051992 140016772260476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39096320 140732805055314 140732805055573 140732805055573 140732805058502 0
/proc/4637/statm: 28282 362 304 221 0 87 0
[pid=4639] ppid=4637 vsize=28832852 memory=617496 CPUtime=48.79 cores=0-7
/proc/4639/stat : 4639 (java) S 4637 4637 3200 0 -1 1077944320 37609 0 0 0 4791 88 0 0 20 0 28 0 476452449 29524840448 154374 33554432000 4194304 4196468 140720926907712 140720926890256 139891117469431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
/proc/4639/statm: 7208213 154374 3509 1 0 7169313 0
[pid=4639/tid=4640] ppid=4637 vsize=28832852 memory=5931635895284493419 CPUtime=0.48 cores=0-7
/proc/4639/task/4640/stat : 4640 (java) S 4637 4637 3200 0 -1 1077944384 9043 0 0 0 44 4 0 0 20 0 28 0 476452449 29524840448 154374 33554432000 4194304 4196468 140720926907712 139891121710208 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4641] ppid=4637 vsize=28832852 memory=104944358 CPUtime=0.01 cores=0-7
/proc/4639/task/4641/stat : 4641 (java) S 4637 4637 3200 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 28 0 476452450 29524840448 154374 33554432000 4194304 4196468 140720926907712 139891070089488 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4642] ppid=4637 vsize=28832852 memory=139845142345404 CPUtime=0 cores=0-7
/proc/4639/task/4642/stat : 4642 (java) S 4637 4637 3200 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 476452450 29524840448 154374 33554432000 4194304 4196468 140720926907712 139891069036944 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4643] ppid=4637 vsize=28832852 memory=279690284337888 CPUtime=0 cores=0-7
/proc/4639/task/4643/stat : 4643 (java) S 4637 4637 3200 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 476452450 29524840448 154374 33554432000 4194304 4196468 140720926907712 139891067984400 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4644] ppid=4637 vsize=28832852 memory=1988 CPUtime=0.01 cores=0-7
/proc/4639/task/4644/stat : 4644 (java) S 4637 4637 3200 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 28 0 476452450 29524840448 154374 33554432000 4194304 4196468 140720926907712 139891066931856 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4645] ppid=4637 vsize=28832852 memory=988 CPUtime=0.01 cores=0-7
/proc/4639/task/4645/stat : 4645 (java) S 4637 4637 3200 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 28 0 476452450 29524840448 154374 33554432000 4194304 4196468 140720926907712 139891065879312 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4646] ppid=4637 vsize=28832852 memory=1428 CPUtime=0.02 cores=0-7
/proc/4639/task/4646/stat : 4646 (java) S 4637 4637 3200 0 -1 1077944384 47 0 0 0 2 0 0 0 20 0 28 0 476452450 29524840448 154374 33554432000 4194304 4196468 140720926907712 139891064826768 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4647] ppid=4637 vsize=28832852 memory=1728 CPUtime=0.01 cores=0-7
/proc/4639/task/4647/stat : 4647 (java) S 4637 4637 3200 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 28 0 476452450 29524840448 154374 33554432000 4194304 4196468 140720926907712 139891063774224 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4648] ppid=4637 vsize=28832852 memory=1056 CPUtime=0.01 cores=0-7
/proc/4639/task/4648/stat : 4648 (java) S 4637 4637 3200 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 28 0 476452450 29524840448 154374 33554432000 4194304 4196468 140720926907712 139891062721680 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4649] ppid=4637 vsize=28832852 memory=1556 CPUtime=0.01 cores=0-7
/proc/4639/task/4649/stat : 4649 (java) S 4637 4637 3200 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 28 0 476452452 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889782949872 139891117480578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4650] ppid=4637 vsize=28832852 memory=11632 CPUtime=0 cores=0-7
/proc/4639/task/4650/stat : 4650 (java) S 4637 4637 3200 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476452452 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889781896160 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4651] ppid=4637 vsize=28832852 memory=1732 CPUtime=0 cores=0-7
/proc/4639/task/4651/stat : 4651 (java) S 4637 4637 3200 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 476452452 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889780843504 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4652] ppid=4637 vsize=28832852 memory=1088 CPUtime=0 cores=0-7
/proc/4639/task/4652/stat : 4652 (java) S 4637 4637 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476452455 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889779792080 139891117488027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4653] ppid=4637 vsize=28832852 memory=988 CPUtime=1.01 cores=0-7
/proc/4639/task/4653/stat : 4653 (java) S 4637 4637 3200 0 -1 1077944384 6292 0 0 0 99 2 0 0 20 0 28 0 476452455 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889778739696 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4654] ppid=4637 vsize=28832852 memory=780 CPUtime=0.87 cores=0-7
/proc/4639/task/4654/stat : 4654 (java) S 4637 4637 3200 0 -1 1077944384 3395 0 0 0 86 1 0 0 20 0 28 0 476452455 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889777687152 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4655] ppid=4637 vsize=28832852 memory=6032 CPUtime=1.14 cores=0-7
/proc/4639/task/4655/stat : 4655 (java) S 4637 4637 3200 0 -1 1077944384 5601 0 0 0 113 1 0 0 20 0 28 0 476452455 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889776634608 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4656] ppid=4637 vsize=28832852 memory=624 CPUtime=0.5 cores=0-7
/proc/4639/task/4656/stat : 4656 (java) S 4637 4637 3200 0 -1 1077944384 3476 0 0 0 49 1 0 0 20 0 28 0 476452455 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889775582064 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4657] ppid=4637 vsize=28832852 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/4639/task/4657/stat : 4657 (java) S 4637 4637 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476452455 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889774528736 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4658] ppid=4637 vsize=28832852 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/4639/task/4658/stat : 4658 (java) S 4637 4637 3200 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 476452455 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889773476272 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4971] ppid=4637 vsize=28832852 memory=14979957709343274 CPUtime=5.16 cores=0-7
/proc/4639/task/4971/stat : 4971 (java) R 4637 4637 3200 0 -1 4202560 349 0 0 0 507 9 0 0 20 0 28 0 476452569 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889689295664 139891117490778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4972] ppid=4637 vsize=28832852 memory=4879082849377 CPUtime=4.88 cores=0-7
/proc/4639/task/4972/stat : 4972 (java) R 4637 4637 3200 0 -1 4202560 118 0 0 0 479 9 0 0 20 0 28 0 476452569 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889692454832 139890729515842 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4973] ppid=4637 vsize=28832852 memory=0 CPUtime=5 cores=0-7
/proc/4639/task/4973/stat : 4973 (java) R 4637 4637 3200 0 -1 4202560 160 0 0 0 492 8 0 0 20 0 28 0 476452569 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889695613072 139890729515995 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4974] ppid=4637 vsize=28832852 memory=0 CPUtime=5.41 cores=0-7
/proc/4639/task/4974/stat : 4974 (java) R 4637 4637 3200 0 -1 4202560 279 0 0 0 537 4 0 0 20 0 28 0 476452569 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889691402416 139890731255956 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4975] ppid=4637 vsize=28832852 memory=0 CPUtime=5.14 cores=0-7
/proc/4639/task/4975/stat : 4975 (java) R 4637 4637 3200 0 -1 4202560 228 0 0 0 506 8 0 0 20 0 28 0 476452569 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889690349872 139891117490778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4976] ppid=4637 vsize=28832852 memory=0 CPUtime=5.28 cores=0-7
/proc/4639/task/4976/stat : 4976 (java) R 4637 4637 3200 0 -1 4202560 262 0 0 0 519 9 0 0 20 0 28 0 476452569 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889770717712 139890731079020 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4977] ppid=4637 vsize=28832852 memory=-4866526891258710369 CPUtime=5.02 cores=0-7
/proc/4639/task/4977/stat : 4977 (java) R 4637 4637 3200 0 -1 4202560 90 0 0 0 494 8 0 0 20 0 28 0 476452569 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889688243760 139891117481366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4978] ppid=4637 vsize=28832852 memory=-4866526891258710369 CPUtime=5.23 cores=0-7
/proc/4639/task/4978/stat : 4978 (java) R 4637 4637 3200 0 -1 4202560 209 0 0 0 515 8 0 0 20 0 28 0 476452570 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889694559904 139890729516012 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
Current children cumulated CPU time: 48.79 s
Current children cumulated vsize: 28945980 KiB
Current children cumulated memory: 618944 KiB
[startup+7.60145 s]
/proc/loadavg: 8.19 8.25 8.24 9/219 4980
/proc/meminfo: memFree=11198240/32770624 swapFree=66956712/67108860
[pid=4637] ppid=4634 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/4637/stat : 4637 (xcsp3-exec) S 4634 4637 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476452449 115843072 362 33554432000 4194304 5098028 140732805053888 140732805051992 140016772260476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39096320 140732805055314 140732805055573 140732805055573 140732805058502 0
/proc/4637/statm: 28282 362 304 221 0 87 0
[pid=4639] ppid=4637 vsize=28832852 memory=617496 CPUtime=51.89 cores=0-7
/proc/4639/stat : 4639 (java) S 4637 4637 3200 0 -1 1077944320 37618 0 0 0 5099 90 0 0 20 0 28 0 476452449 29524840448 154374 33554432000 4194304 4196468 140720926907712 140720926890256 139891117469431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
/proc/4639/statm: 7208213 154374 3509 1 0 7169313 0
[pid=4639/tid=4640] ppid=4637 vsize=28832852 memory=988 CPUtime=0.48 cores=0-7
/proc/4639/task/4640/stat : 4640 (java) S 4637 4637 3200 0 -1 1077944384 9043 0 0 0 44 4 0 0 20 0 28 0 476452449 29524840448 154374 33554432000 4194304 4196468 140720926907712 139891121710208 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4641] ppid=4637 vsize=28832852 memory=1428 CPUtime=0.01 cores=0-7
/proc/4639/task/4641/stat : 4641 (java) S 4637 4637 3200 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 28 0 476452450 29524840448 154374 33554432000 4194304 4196468 140720926907712 139891070089488 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4642] ppid=4637 vsize=28832852 memory=1728 CPUtime=0 cores=0-7
/proc/4639/task/4642/stat : 4642 (java) S 4637 4637 3200 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 476452450 29524840448 154374 33554432000 4194304 4196468 140720926907712 139891069036944 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4643] ppid=4637 vsize=28832852 memory=1056 CPUtime=0 cores=0-7
/proc/4639/task/4643/stat : 4643 (java) S 4637 4637 3200 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 476452450 29524840448 154374 33554432000 4194304 4196468 140720926907712 139891067984400 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4644] ppid=4637 vsize=28832852 memory=1556 CPUtime=0.01 cores=0-7
/proc/4639/task/4644/stat : 4644 (java) S 4637 4637 3200 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 28 0 476452450 29524840448 154374 33554432000 4194304 4196468 140720926907712 139891066931856 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4645] ppid=4637 vsize=28832852 memory=11632 CPUtime=0.01 cores=0-7
/proc/4639/task/4645/stat : 4645 (java) S 4637 4637 3200 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 28 0 476452450 29524840448 154374 33554432000 4194304 4196468 140720926907712 139891065879312 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4646] ppid=4637 vsize=28832852 memory=1732 CPUtime=0.02 cores=0-7
/proc/4639/task/4646/stat : 4646 (java) S 4637 4637 3200 0 -1 1077944384 47 0 0 0 2 0 0 0 20 0 28 0 476452450 29524840448 154374 33554432000 4194304 4196468 140720926907712 139891064826768 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4647] ppid=4637 vsize=28832852 memory=1088 CPUtime=0.01 cores=0-7
/proc/4639/task/4647/stat : 4647 (java) S 4637 4637 3200 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 28 0 476452450 29524840448 154374 33554432000 4194304 4196468 140720926907712 139891063774224 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4648] ppid=4637 vsize=28832852 memory=988 CPUtime=0.01 cores=0-7
/proc/4639/task/4648/stat : 4648 (java) S 4637 4637 3200 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 28 0 476452450 29524840448 154374 33554432000 4194304 4196468 140720926907712 139891062721680 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4649] ppid=4637 vsize=28832852 memory=780 CPUtime=0.01 cores=0-7
/proc/4639/task/4649/stat : 4649 (java) S 4637 4637 3200 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 28 0 476452452 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889782949872 139891117480578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4650] ppid=4637 vsize=28832852 memory=6032 CPUtime=0 cores=0-7
/proc/4639/task/4650/stat : 4650 (java) S 4637 4637 3200 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476452452 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889781896160 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4651] ppid=4637 vsize=28832852 memory=624 CPUtime=0 cores=0-7
/proc/4639/task/4651/stat : 4651 (java) S 4637 4637 3200 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 476452452 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889780843504 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4652] ppid=4637 vsize=28832852 memory=3636 CPUtime=0 cores=0-7
/proc/4639/task/4652/stat : 4652 (java) S 4637 4637 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476452455 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889779792080 139891117488027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4653] ppid=4637 vsize=28832852 memory=2832 CPUtime=1.01 cores=0-7
/proc/4639/task/4653/stat : 4653 (java) S 4637 4637 3200 0 -1 1077944384 6292 0 0 0 99 2 0 0 20 0 28 0 476452455 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889778739696 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4654] ppid=4637 vsize=28832852 memory=14012 CPUtime=0.87 cores=0-7
/proc/4639/task/4654/stat : 4654 (java) S 4637 4637 3200 0 -1 1077944384 3395 0 0 0 86 1 0 0 20 0 28 0 476452455 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889777687152 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4655] ppid=4637 vsize=28832852 memory=2112 CPUtime=1.14 cores=0-7
/proc/4639/task/4655/stat : 4655 (java) S 4637 4637 3200 0 -1 1077944384 5601 0 0 0 113 1 0 0 20 0 28 0 476452455 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889776634608 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4656] ppid=4637 vsize=28832852 memory=12040 CPUtime=0.5 cores=0-7
/proc/4639/task/4656/stat : 4656 (java) S 4637 4637 3200 0 -1 1077944384 3476 0 0 0 49 1 0 0 20 0 28 0 476452455 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889775582064 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4657] ppid=4637 vsize=28832852 memory=31984 CPUtime=0 cores=0-7
/proc/4639/task/4657/stat : 4657 (java) S 4637 4637 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476452455 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889774528736 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4658] ppid=4637 vsize=28832852 memory=1556 CPUtime=0 cores=0-7
/proc/4639/task/4658/stat : 4658 (java) S 4637 4637 3200 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 476452455 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889773476272 139891117480578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4971] ppid=4637 vsize=28832852 memory=0 CPUtime=5.55 cores=0-7
/proc/4639/task/4971/stat : 4971 (java) R 4637 4637 3200 0 -1 1077944384 351 0 0 0 546 9 0 0 20 0 28 0 476452569 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889689295568 139891117480578 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4972] ppid=4637 vsize=28832852 memory=0 CPUtime=5.28 cores=0-7
/proc/4639/task/4972/stat : 4972 (java) R 4637 4637 3200 0 -1 4202560 119 0 0 0 518 10 0 0 20 0 28 0 476452569 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889692454832 139890729515230 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4973] ppid=4637 vsize=28832852 memory=139845142257792 CPUtime=5.39 cores=0-7
/proc/4639/task/4973/stat : 4973 (java) R 4637 4637 3200 0 -1 4202560 162 0 0 0 531 8 0 0 20 0 28 0 476452569 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889695613072 139891101809552 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4974] ppid=4637 vsize=28832852 memory=1976 CPUtime=5.81 cores=0-7
/proc/4639/task/4974/stat : 4974 (java) R 4637 4637 3200 0 -1 4202560 281 0 0 0 576 5 0 0 20 0 28 0 476452569 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889691402512 139890731256568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4975] ppid=4637 vsize=28832852 memory=2432 CPUtime=5.53 cores=0-7
/proc/4639/task/4975/stat : 4975 (java) R 4637 4637 3200 0 -1 4202560 229 0 0 0 545 8 0 0 20 0 28 0 476452569 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889690349968 139890729494400 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4976] ppid=4637 vsize=28832852 memory=1436 CPUtime=5.68 cores=0-7
/proc/4639/task/4976/stat : 4976 (java) S 4637 4637 3200 0 -1 1077944384 263 0 0 0 558 10 0 0 20 0 28 0 476452569 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889770717712 139891117479637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4977] ppid=4637 vsize=28832852 memory=808 CPUtime=5.4 cores=0-7
/proc/4639/task/4977/stat : 4977 (java) R 4637 4637 3200 0 -1 4202560 90 0 0 0 532 8 0 0 20 0 28 0 476452569 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889688243760 139890729792123 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
[pid=4639/tid=4978] ppid=4637 vsize=28832852 memory=1764 CPUtime=5.61 cores=0-7
/proc/4639/task/4978/stat : 4978 (java) R 4637 4637 3200 0 -1 4202560 209 0 0 0 553 8 0 0 20 0 28 0 476452570 29524840448 154374 33554432000 4194304 4196468 140720926907712 139889694560016 139890729249280 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19316736 140720926909398 140720926909574 140720926909574 140720926912463 0
Current children cumulated CPU time: 51.89 s
Current children cumulated vsize: 28945980 KiB
Current children cumulated memory: 618944 KiB
[startup+7.70119 s]*
/proc/loadavg: 8.19 8.25 8.24 2/190 4980
/proc/meminfo: memFree=11801944/32770624 swapFree=66956712/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 7.71022
CPU time (s): 52.5704
CPU user time (s): 51.6383
CPU system time (s): 0.93204
CPU usage (%): 681.827
Max. virtual memory (cumulated for all children) (KiB): 28947952
Max. memory (cumulated for all children) (KiB): 619972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.6383
system time used= 0.93204
maximum resident set size= 620808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38820
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= 227868
involuntary context switches= 357
# summary of solver processes directly reported to runsolver:
# pid: 4637
# total CPU time (s): 52.5704
# total CPU user time (s): 51.6383
# total CPU system time (s): 0.93204
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.087198 second user time and 0.125607 second system time
The end
Begin job on node149 at 2019-09-20 19:55:00
IDJOB=4404566
IDBENCH=133445
IDSOLVER=2865
FILE ID=node149/4404566-1569002138
RUNJOBID= node149-1568994522-3227
PBS_JOBID= 21704727
Free space on /var/tmp= 13484 MiB
SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-07.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404566-1569002138/watcher-4404566-1569002138 -o /var/tmp/evaluation-result-4404566-1569002138/solver-4404566-1569002138 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 888787701 HOME/instance-4404566-1569002138.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= c416c7749524dd4f925e3cf47c007fb7
RANDOM SEED=888787701
node149.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.81
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.81
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.81
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.81
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: 11803720 kB
MemAvailable: 31816016 kB
Buffers: 163736 kB
Cached: 19740712 kB
SwapCached: 41672 kB
Active: 9629908 kB
Inactive: 10318632 kB
Active(anon): 4444 kB
Inactive(anon): 83688 kB
Active(file): 9625464 kB
Inactive(file): 10234944 kB
Unevictable: 110220 kB
Mlocked: 110220 kB
SwapTotal: 67108860 kB
SwapFree: 66956712 kB
Dirty: 26124 kB
Writeback: 0 kB
AnonPages: 45812 kB
Mapped: 51952 kB
Shmem: 35680 kB
Slab: 610248 kB
SReclaimable: 580348 kB
SUnreclaim: 29900 kB
KernelStack: 3744 kB
PageTables: 5716 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 144768 kB
DirectMap2M: 33400832 kB
Free space on /var/tmp at the end= 13456 MiB
End job on node149 at 2019-09-20 19:55:08