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 (15073 MiB free)
memory of node 1: 16384 MiB (15599 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269195-1502737631/watcher-4269195-1502737631 -o /tmp/evaluation-result-4269195-1502737631/solver-4269195-1502737631 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 152990974 HOME/instance-4269195-1502737631.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25878, runsolver pid=25875
[startup+0.10016 s]*
/proc/loadavg: 1.90 1.82 1.78 3/203 25886
/proc/meminfo: memFree=31402056/32770624 swapFree=67108860/67108860
[pid=25878] ppid=25875 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25878/stat : 25878 (xcsp3-exec) S 25875 25878 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62103728 9740288 345 18446744073709551615 4194304 5098028 140737330217712 140737330215816 140682092024444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 11354112 140737330225529 140737330225733 140737330225733 140737330229227 0
/proc/25878/statm: 2378 345 289 221 0 87 0
[pid=25880] ppid=25878 vsize=13574484 memory=16672 CPUtime=0.02 cores=1,3,5,7
/proc/25880/stat : 25880 (java) S 25878 25878 11586 0 -1 1077944320 3970 0 0 0 2 0 0 0 20 0 9 0 62103735 13900271616 4168 18446744073709551615 4194304 4196468 140723015699424 140723015681968 139791230181111 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
/proc/25880/statm: 3393621 4168 2083 1 0 3383118 0
[pid=25880/tid=25881] ppid=25878 vsize=13574484 memory=4206989191851631162 CPUtime=0.01 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (java) R 25878 25878 11586 0 -1 4202560 2686 0 0 0 1 0 0 0 20 0 9 0 62103736 13900271616 4168 18446744073709551615 4194304 4196468 140723015699424 139791234417160 139791214261598 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25882] ppid=25878 vsize=13574484 memory=3461491318009845385 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (java) S 25878 25878 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 62103736 13900271616 4168 18446744073709551615 4194304 4196468 140723015699424 139790829939856 139791230191317 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25883] ppid=25878 vsize=13574484 memory=140713380161152 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (java) S 25878 25878 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 62103736 13900271616 4168 18446744073709551615 4194304 4196468 140723015699424 139790828887056 139791230191317 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25884] ppid=25878 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25884/stat : 25884 (java) S 25878 25878 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 62103736 13900271616 4168 18446744073709551615 4194304 4196468 140723015699424 139790827834256 139791230191317 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25885] ppid=25878 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25885/stat : 25885 (java) S 25878 25878 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 62103736 13900271616 4168 18446744073709551615 4194304 4196468 140723015699424 139790826781456 139791230191317 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25886] ppid=25878 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25886/stat : 25886 (java) S 25878 25878 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 62103738 13900271616 4168 18446744073709551615 4194304 4196468 140723015699424 139790708722032 139791230192258 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25887] ppid=25878 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25887/stat : 25887 (java) S 25878 25878 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 62103738 13900271616 4168 18446744073709551615 4194304 4196468 140723015699424 139790707668000 139791230191317 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25888] ppid=25878 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25888/stat : 25888 (java) S 25878 25878 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 62103738 13900271616 4168 18446744073709551615 4194304 4196468 140723015699424 139790706615216 139791230191317 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18052 KiB
[startup+0.209875 s]*
/proc/loadavg: 1.90 1.82 1.78 3/211 25894
/proc/meminfo: memFree=31392304/32770624 swapFree=67108860/67108860
[pid=25878] ppid=25875 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25878/stat : 25878 (xcsp3-exec) S 25875 25878 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62103728 9740288 345 18446744073709551615 4194304 5098028 140737330217712 140737330215816 140682092024444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 11354112 140737330225529 140737330225733 140737330225733 140737330229227 0
/proc/25878/statm: 2378 345 289 221 0 87 0
[pid=25880] ppid=25878 vsize=13974352 memory=28000 CPUtime=0.12 cores=1,3,5,7
/proc/25880/stat : 25880 (java) S 25878 25878 11586 0 -1 1077944320 5423 0 0 0 11 1 0 0 20 0 15 0 62103735 14309736448 7000 18446744073709551615 4194304 4196468 140723015699424 140723015681968 139791230181111 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
/proc/25880/statm: 3493588 7000 2851 1 0 3482964 0
[pid=25880/tid=25881] ppid=25878 vsize=13974352 memory=-6224651350755610975 CPUtime=0.08 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (java) R 25878 25878 11586 0 -1 4202560 3451 0 0 0 8 0 0 0 20 0 15 0 62103736 14309736448 7000 18446744073709551615 4194304 4196468 140723015699424 139791234407648 139791230193046 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25882] ppid=25878 vsize=13974352 memory=3461491318009845385 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (java) S 25878 25878 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62103736 14309736448 7000 18446744073709551615 4194304 4196468 140723015699424 139790829939856 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25883] ppid=25878 vsize=13974352 memory=140713380161152 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (java) S 25878 25878 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62103736 14309736448 7000 18446744073709551615 4194304 4196468 140723015699424 139790828887056 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25884] ppid=25878 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25884/stat : 25884 (java) S 25878 25878 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62103736 14309736448 7000 18446744073709551615 4194304 4196468 140723015699424 139790827834256 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25885] ppid=25878 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25885/stat : 25885 (java) S 25878 25878 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62103736 14309736448 7000 18446744073709551615 4194304 4196468 140723015699424 139790826781456 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25886] ppid=25878 vsize=13974352 memory=140713380161152 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25886/stat : 25886 (java) S 25878 25878 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62103738 14309736448 7000 18446744073709551615 4194304 4196468 140723015699424 139790708722032 139791230192258 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25887] ppid=25878 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25887/stat : 25887 (java) S 25878 25878 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62103738 14309736448 7000 18446744073709551615 4194304 4196468 140723015699424 139790707668000 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25888] ppid=25878 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25888/stat : 25888 (java) S 25878 25878 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62103738 14309736448 7000 18446744073709551615 4194304 4196468 140723015699424 139790706615152 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25889] ppid=25878 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25889/stat : 25889 (java) S 25878 25878 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62103741 14309736448 7000 18446744073709551615 4194304 4196468 140723015699424 139790705563472 139791230199707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25890] ppid=25878 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25890/stat : 25890 (java) S 25878 25878 11586 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 62103741 14309736448 7000 18446744073709551615 4194304 4196468 140723015699424 139790704511856 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25891] ppid=25878 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25891/stat : 25891 (java) S 25878 25878 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62103741 14309736448 7000 18446744073709551615 4194304 4196468 140723015699424 139790703459056 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25892] ppid=25878 vsize=13974352 memory=140713380161152 CPUtime=0.01 cores=1,3,5,7
/proc/25880/task/25892/stat : 25892 (java) R 25878 25878 11586 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 15 0 62103741 14309736448 7000 18446744073709551615 4194304 4196468 140723015699424 139790702406256 139791210148230 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25893] ppid=25878 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25893/stat : 25893 (java) S 25878 25878 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62103741 14309736448 7000 18446744073709551615 4194304 4196468 140723015699424 139790701353696 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25894] ppid=25878 vsize=13974352 memory=140713380161152 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25894/stat : 25894 (java) S 25878 25878 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62103745 14309736448 7000 18446744073709551615 4194304 4196468 140723015699424 139790700300976 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29380 KiB
[startup+0.312939 s]*
/proc/loadavg: 1.90 1.82 1.78 5/211 25894
/proc/meminfo: memFree=31379684/32770624 swapFree=67108860/67108860
[pid=25878] ppid=25875 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25878/stat : 25878 (xcsp3-exec) S 25875 25878 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62103728 9740288 345 18446744073709551615 4194304 5098028 140737330217712 140737330215816 140682092024444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 11354112 140737330225529 140737330225733 140737330225733 140737330229227 0
/proc/25878/statm: 2378 345 289 221 0 87 0
[pid=25880] ppid=25878 vsize=13974352 memory=39692 CPUtime=0.33 cores=1,3,5,7
/proc/25880/stat : 25880 (java) S 25878 25878 11586 0 -1 1077944320 9082 0 0 0 30 3 0 0 20 0 15 0 62103735 14309736448 9923 18446744073709551615 4194304 4196468 140723015699424 140723015681968 139791230181111 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
/proc/25880/statm: 3493588 9923 3042 1 0 3482964 0
[pid=25880/tid=25881] ppid=25878 vsize=13974352 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (java) R 25878 25878 11586 0 -1 4202560 6300 0 0 0 17 2 0 0 20 0 15 0 62103736 14309736448 9923 18446744073709551615 4194304 4196468 140723015699424 139791234407744 139791230203037 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25882] ppid=25878 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (java) S 25878 25878 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62103736 14309736448 9923 18446744073709551615 4194304 4196468 140723015699424 139790829939856 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25883] ppid=25878 vsize=13974352 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (java) S 25878 25878 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62103736 14309736448 9923 18446744073709551615 4194304 4196468 140723015699424 139790828887056 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25884] ppid=25878 vsize=13974352 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25884/stat : 25884 (java) S 25878 25878 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62103736 14309736448 9923 18446744073709551615 4194304 4196468 140723015699424 139790827834256 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25885] ppid=25878 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25885/stat : 25885 (java) S 25878 25878 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62103736 14309736448 9923 18446744073709551615 4194304 4196468 140723015699424 139790826781456 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25886] ppid=25878 vsize=13974352 memory=140713380168145 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25886/stat : 25886 (java) S 25878 25878 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62103738 14309736448 9923 18446744073709551615 4194304 4196468 140723015699424 139790708722032 139791230192258 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25887] ppid=25878 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25887/stat : 25887 (java) S 25878 25878 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62103738 14309736448 9923 18446744073709551615 4194304 4196468 140723015699424 139790707668000 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25888] ppid=25878 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25888/stat : 25888 (java) S 25878 25878 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62103738 14310785024 9987 18446744073709551615 4194304 4196468 140723015699424 139790706615152 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25889] ppid=25878 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25889/stat : 25889 (java) S 25878 25878 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62103741 14310785024 9987 18446744073709551615 4194304 4196468 140723015699424 139790705563472 139791230199707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25890] ppid=25878 vsize=13975376 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25880/task/25890/stat : 25890 (java) S 25878 25878 11586 0 -1 1077944384 673 0 0 0 3 0 0 0 20 0 15 0 62103741 14310785024 9987 18446744073709551615 4194304 4196468 140723015699424 139790704511856 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25891] ppid=25878 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25880/task/25891/stat : 25891 (java) S 25878 25878 11586 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 15 0 62103741 14309736448 9979 18446744073709551615 4194304 4196468 140723015699424 139790703459056 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25892] ppid=25878 vsize=13974352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25880/task/25892/stat : 25892 (java) S 25878 25878 11586 0 -1 1077944384 736 0 0 0 7 0 0 0 20 0 15 0 62103741 14309736448 9979 18446744073709551615 4194304 4196468 140723015699424 139790702406256 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25893] ppid=25878 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25893/stat : 25893 (java) S 25878 25878 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62103741 14309736448 9979 18446744073709551615 4194304 4196468 140723015699424 139790701353696 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25894] ppid=25878 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25894/stat : 25894 (java) S 25878 25878 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62103745 14309736448 9979 18446744073709551615 4194304 4196468 140723015699424 139790700300976 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41072 KiB
[startup+0.702215 s]
/proc/loadavg: 1.90 1.82 1.78 5/211 25894
/proc/meminfo: memFree=31370792/32770624 swapFree=67108860/67108860
[pid=25878] ppid=25875 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25878/stat : 25878 (xcsp3-exec) S 25875 25878 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62103728 9740288 345 18446744073709551615 4194304 5098028 140737330217712 140737330215816 140682092024444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 11354112 140737330225529 140737330225733 140737330225733 140737330229227 0
/proc/25878/statm: 2378 345 289 221 0 87 0
[pid=25880] ppid=25878 vsize=13980732 memory=66124 CPUtime=1.27 cores=1,3,5,7
/proc/25880/stat : 25880 (java) S 25878 25878 11586 0 -1 1077944320 13143 0 0 0 122 5 0 0 20 0 15 0 62103735 14316269568 16531 18446744073709551615 4194304 4196468 140723015699424 140723015681968 139791230181111 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
/proc/25880/statm: 3495183 16531 3174 1 0 3483476 0
[pid=25880/tid=25881] ppid=25878 vsize=13980732 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (java) R 25878 25878 11586 0 -1 4202560 8502 0 0 0 53 3 0 0 20 0 15 0 62103736 14316269568 16531 18446744073709551615 4194304 4196468 140723015699424 139791234416304 139791230193046 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25882] ppid=25878 vsize=13980732 memory=4644490224067959124 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (java) S 25878 25878 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62103736 14316269568 16531 18446744073709551615 4194304 4196468 140723015699424 139790829939856 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25883] ppid=25878 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (java) S 25878 25878 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62103736 14316269568 16531 18446744073709551615 4194304 4196468 140723015699424 139790828887056 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25884] ppid=25878 vsize=13980732 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25884/stat : 25884 (java) S 25878 25878 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62103736 14316269568 16531 18446744073709551615 4194304 4196468 140723015699424 139790827834256 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25885] ppid=25878 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25885/stat : 25885 (java) S 25878 25878 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62103736 14316269568 16531 18446744073709551615 4194304 4196468 140723015699424 139790826781456 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25886] ppid=25878 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25886/stat : 25886 (java) S 25878 25878 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62103738 14316269568 16531 18446744073709551615 4194304 4196468 140723015699424 139790708722032 139791230192258 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25887] ppid=25878 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25887/stat : 25887 (java) S 25878 25878 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62103738 14316269568 16531 18446744073709551615 4194304 4196468 140723015699424 139790707668000 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25888] ppid=25878 vsize=13980732 memory=2 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25888/stat : 25888 (java) S 25878 25878 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62103738 14316269568 16531 18446744073709551615 4194304 4196468 140723015699424 139790706615152 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25889] ppid=25878 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25889/stat : 25889 (java) S 25878 25878 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62103741 14316269568 16531 18446744073709551615 4194304 4196468 140723015699424 139790705563472 139791230199707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25890] ppid=25878 vsize=13980732 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/25880/task/25890/stat : 25890 (java) S 25878 25878 11586 0 -1 1077944384 1192 0 0 0 20 0 0 0 20 0 15 0 62103741 14316269568 16531 18446744073709551615 4194304 4196468 140723015699424 139790704511856 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25891] ppid=25878 vsize=13980732 memory=13 CPUtime=0.18 cores=1,3,5,7
/proc/25880/task/25891/stat : 25891 (java) R 25878 25878 11586 0 -1 4202560 728 0 0 0 18 0 0 0 20 0 15 0 62103741 14316269568 16531 18446744073709551615 4194304 4196468 140723015699424 139790703448848 139791210880648 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25892] ppid=25878 vsize=13980732 memory=3 CPUtime=0.29 cores=1,3,5,7
/proc/25880/task/25892/stat : 25892 (java) R 25878 25878 11586 0 -1 1077944384 1415 0 0 0 29 0 0 0 20 0 15 0 62103741 14316269568 16531 18446744073709551615 4194304 4196468 140723015699424 139790702404048 139791230191317 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25893] ppid=25878 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25893/stat : 25893 (java) S 25878 25878 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62103741 14316269568 16531 18446744073709551615 4194304 4196468 140723015699424 139790701353696 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25894] ppid=25878 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25894/stat : 25894 (java) S 25878 25878 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62103745 14316269568 16531 18446744073709551615 4194304 4196468 140723015699424 139790700300976 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67504 KiB
[startup+1.50084 s]
/proc/loadavg: 1.90 1.82 1.78 5/211 25894
/proc/meminfo: memFree=31349596/32770624 swapFree=67108860/67108860
[pid=25878] ppid=25875 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25878/stat : 25878 (xcsp3-exec) S 25875 25878 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62103728 9740288 345 18446744073709551615 4194304 5098028 140737330217712 140737330215816 140682092024444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 11354112 140737330225529 140737330225733 140737330225733 140737330229227 0
/proc/25878/statm: 2378 345 289 221 0 87 0
[pid=25880] ppid=25878 vsize=13980732 memory=79672 CPUtime=3.69 cores=1,3,5,7
/proc/25880/stat : 25880 (java) S 25878 25878 11586 0 -1 1077944320 21047 0 0 0 362 7 0 0 20 0 15 0 62103735 14316269568 19918 18446744073709551615 4194304 4196468 140723015699424 140723015681968 139791230181111 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
/proc/25880/statm: 3495183 19918 3189 1 0 3483476 0
[pid=25880/tid=25881] ppid=25878 vsize=13980732 memory=35168 CPUtime=1.36 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (java) R 25878 25878 11586 0 -1 4202560 9219 0 0 0 132 4 0 0 20 0 15 0 62103736 14316269568 19918 18446744073709551615 4194304 4196468 140723015699424 139791234407696 139790871446551 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25882] ppid=25878 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (java) S 25878 25878 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62103736 14316269568 19918 18446744073709551615 4194304 4196468 140723015699424 139790829939856 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25883] ppid=25878 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (java) S 25878 25878 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62103736 14316269568 19918 18446744073709551615 4194304 4196468 140723015699424 139790828887056 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25884] ppid=25878 vsize=13980732 memory=68292 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25884/stat : 25884 (java) S 25878 25878 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62103736 14316269568 19918 18446744073709551615 4194304 4196468 140723015699424 139790827834256 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25885] ppid=25878 vsize=13980732 memory=66124 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/25880/task/25888/stat : 25888 (java) S 25878 25878 11586 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 62103738 14316269568 68619 18446744073709551615 4194304 4196468 140723015699424 139790706615152 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25889] ppid=25878 vsize=13980732 memory=274476 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25889/stat : 25889 (java) S 25878 25878 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62103741 14316269568 68619 18446744073709551615 4194304 4196468 140723015699424 139790705563472 139791230199707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25890] ppid=25878 vsize=13980732 memory=1380 CPUtime=2.71 cores=1,3,5,7
/proc/25880/task/25890/stat : 25890 (java) S 25878 25878 11586 0 -1 1077944384 18435 0 0 0 268 3 0 0 20 0 15 0 62103741 14316269568 68619 18446744073709551615 4194304 4196468 140723015699424 139790704511856 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25891] ppid=25878 vsize=13980732 memory=1380 CPUtime=2.72 cores=1,3,5,7
/proc/25880/task/25891/stat : 25891 (java) S 25878 25878 11586 0 -1 1077944384 14387 0 0 0 269 3 0 0 20 0 15 0 62103741 14316269568 68619 18446744073709551615 4194304 4196468 140723015699424 139790703459056 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25892] ppid=25878 vsize=13980732 memory=4120 CPUtime=0.52 cores=1,3,5,7
/proc/25880/task/25892/stat : 25892 (java) S 25878 25878 11586 0 -1 1077944384 8912 0 0 0 51 1 0 0 20 0 15 0 62103741 14316269568 68619 18446744073709551615 4194304 4196468 140723015699424 139790702406256 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25893] ppid=25878 vsize=13980732 memory=35352 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25893/stat : 25893 (java) S 25878 25878 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62103741 14316269568 68619 18446744073709551615 4194304 4196468 140723015699424 139790701353696 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25894] ppid=25878 vsize=13980732 memory=1380 CPUtime=0.95 cores=1,3,5,7
/proc/25880/task/25894/stat : 25894 (java) S 25878 25878 11586 0 -1 1077944384 1808 0 0 0 47 48 0 0 20 0 15 0 62103745 14316269568 68619 18446744073709551615 4194304 4196468 140723015699424 139790700300976 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
Current children cumulated CPU time: 2344.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 275856 KiB
[startup+2382.3 s]
/proc/loadavg: 1.50 1.54 1.59 3/213 26084
/proc/meminfo: memFree=31192712/32770624 swapFree=67108860/67108860
[pid=25878] ppid=25875 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25878/stat : 25878 (xcsp3-exec) S 25875 25878 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62103728 9740288 345 18446744073709551615 4194304 5098028 140737330217712 140737330215816 140682092024444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 11354112 140737330225529 140737330225733 140737330225733 140737330229227 0
/proc/25878/statm: 2378 345 289 221 0 87 0
[pid=25880] ppid=25878 vsize=13980732 memory=282176 CPUtime=2404.6 cores=1,3,5,7
/proc/25880/stat : 25880 (java) S 25878 25878 11586 0 -1 1077944320 132979 0 0 0 240254 206 0 0 20 0 15 0 62103735 14316269568 70544 18446744073709551615 4194304 4196468 140723015699424 140723015681968 139791230181111 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
/proc/25880/statm: 3495183 70544 3252 1 0 3483476 0
[pid=25880/tid=25881] ppid=25878 vsize=13980732 memory=282176 CPUtime=2371.54 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (java) R 25878 25878 11586 0 -1 4202560 38501 0 0 0 237137 17 0 0 20 0 15 0 62103736 14316269568 70544 18446744073709551615 4194304 4196468 140723015699424 139791234420464 139790874449723 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25882] ppid=25878 vsize=13980732 memory=282176 CPUtime=5.67 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (java) S 25878 25878 11586 0 -1 1077944384 8941 0 0 0 534 33 0 0 20 0 15 0 62103736 14316269568 70544 18446744073709551615 4194304 4196468 140723015699424 139790829939856 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25883] ppid=25878 vsize=13980732 memory=282176 CPUtime=5.68 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (java) S 25878 25878 11586 0 -1 1077944384 9366 0 0 0 534 34 0 0 20 0 15 0 62103736 14316269568 70544 18446744073709551615 4194304 4196468 140723015699424 139790828887056 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25884] ppid=25878 vsize=13980732 memory=282176 CPUtime=5.67 cores=1,3,5,7
/proc/25880/task/25884/stat : 25884 (java) S 25878 25878 11586 0 -1 1077944384 10487 0 0 0 534 33 0 0 20 0 15 0 62103736 14316269568 70544 18446744073709551615 4194304 4196468 140723015699424 139790827834256 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25885] ppid=25878 vsize=13980732 memory=282176 CPUtime=5.69 cores=1,3,5,7
/proc/25880/task/25885/stat : 25885 (java) S 25878 25878 11586 0 -1 1077944384 9201 0 0 0 535 34 0 0 20 0 15 0 62103736 14316269568 70544 18446744073709551615 4194304 4196468 140723015699424 139790826781456 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25886] ppid=25878 vsize=13980732 memory=282176 CPUtime=3.32 cores=1,3,5,7
/proc/25880/task/25886/stat : 25886 (java) S 25878 25878 11586 0 -1 1077944384 11553 0 0 0 306 26 0 0 20 0 15 0 62103738 14316269568 70544 18446744073709551615 4194304 4196468 140723015699424 139790708722032 139791230192258 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25887] ppid=25878 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25887/stat : 25887 (java) S 25878 25878 11586 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 62103738 14316269568 70544 18446744073709551615 4194304 4196468 140723015699424 139790707668000 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25888] ppid=25878 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25888/stat : 25888 (java) S 25878 25878 11586 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 62103738 14316269568 70544 18446744073709551615 4194304 4196468 140723015699424 139790706615152 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25889] ppid=25878 vsize=13980732 memory=281426524190688 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25889/stat : 25889 (java) S 25878 25878 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62103741 14316269568 70544 18446744073709551615 4194304 4196468 140723015699424 139790705563472 139791230199707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25890] ppid=25878 vsize=13980732 memory=6943526294502006880 CPUtime=2.71 cores=1,3,5,7
/proc/25880/task/25890/stat : 25890 (java) S 25878 25878 11586 0 -1 1077944384 18435 0 0 0 268 3 0 0 20 0 15 0 62103741 14316269568 70544 18446744073709551615 4194304 4196468 140723015699424 139790704511856 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25891] ppid=25878 vsize=13980732 memory=-8774313645642428999 CPUtime=2.72 cores=1,3,5,7
/proc/25880/task/25891/stat : 25891 (java) S 25878 25878 11586 0 -1 1077944384 14387 0 0 0 269 3 0 0 20 0 15 0 62103741 14316269568 70544 18446744073709551615 4194304 4196468 140723015699424 139790703459056 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25892] ppid=25878 vsize=13980732 memory=20016 CPUtime=0.53 cores=1,3,5,7
/proc/25880/task/25892/stat : 25892 (java) S 25878 25878 11586 0 -1 1077944384 8912 0 0 0 51 2 0 0 20 0 15 0 62103741 14316269568 70544 18446744073709551615 4194304 4196468 140723015699424 139790702406256 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25893] ppid=25878 vsize=13980732 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25893/stat : 25893 (java) S 25878 25878 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62103741 14316269568 70544 18446744073709551615 4194304 4196468 140723015699424 139790701353696 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25894] ppid=25878 vsize=13980732 memory=1380 CPUtime=0.98 cores=1,3,5,7
/proc/25880/task/25894/stat : 25894 (java) S 25878 25878 11586 0 -1 1077944384 1836 0 0 0 48 50 0 0 20 0 15 0 62103745 14316269568 70544 18446744073709551615 4194304 4196468 140723015699424 139790700300976 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
Current children cumulated CPU time: 2404.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 283556 KiB
[startup+2442.3 s]
/proc/loadavg: 1.66 1.58 1.60 3/212 26167
/proc/meminfo: memFree=31180212/32770624 swapFree=67108860/67108860
[pid=25878] ppid=25875 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25878/stat : 25878 (xcsp3-exec) S 25875 25878 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62103728 9740288 345 18446744073709551615 4194304 5098028 140737330217712 140737330215816 140682092024444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 11354112 140737330225529 140737330225733 140737330225733 140737330229227 0
/proc/25878/statm: 2378 345 289 221 0 87 0
[pid=25880] ppid=25878 vsize=13980732 memory=281708 CPUtime=2465.01 cores=1,3,5,7
/proc/25880/stat : 25880 (java) S 25878 25878 11586 0 -1 1077944320 133725 0 0 0 246291 210 0 0 20 0 15 0 62103735 14316269568 70427 18446744073709551615 4194304 4196468 140723015699424 140723015681968 139791230181111 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
/proc/25880/statm: 3495183 70427 3252 1 0 3483476 0
[pid=25880/tid=25881] ppid=25878 vsize=13980732 memory=281708 CPUtime=2431.27 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (java) R 25878 25878 11586 0 -1 4202560 38795 0 0 0 243110 17 0 0 20 0 15 0 62103736 14316269568 70427 18446744073709551615 4194304 4196468 140723015699424 139791234420576 139790871334894 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25882] ppid=25878 vsize=13980732 memory=281708 CPUtime=5.81 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (java) S 25878 25878 11586 0 -1 1077944384 8992 0 0 0 547 34 0 0 20 0 15 0 62103736 14316269568 70427 18446744073709551615 4194304 4196468 140723015699424 139790829939856 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25883] ppid=25878 vsize=13980732 memory=1380 CPUtime=5.82 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (java) S 25878 25878 11586 0 -1 1077944384 9494 0 0 0 548 34 0 0 20 0 15 0 62103736 14316269568 70427 18446744073709551615 4194304 4196468 140723015699424 139790828887056 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25884] ppid=25878 vsize=13980732 memory=281708 CPUtime=5.81 cores=1,3,5,7
/proc/25880/task/25884/stat : 25884 (java) S 25878 25878 11586 0 -1 1077944384 10512 0 0 0 548 33 0 0 20 0 15 0 62103736 14316269568 70427 18446744073709551615 4194304 4196468 140723015699424 139790827834256 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25885] ppid=25878 vsize=13980732 memory=281708 CPUtime=5.82 cores=1,3,5,7
/proc/25880/task/25885/stat : 25885 (java) S 25878 25878 11586 0 -1 1077944384 9265 0 0 0 548 34 0 0 20 0 15 0 62103736 14316269568 70427 18446744073709551615 4194304 4196468 140723015699424 139790826781456 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25886] ppid=25878 vsize=13980732 memory=1380 CPUtime=3.41 cores=1,3,5,7
/proc/25880/task/25886/stat : 25886 (java) S 25878 25878 11586 0 -1 1077944384 11723 0 0 0 313 28 0 0 20 0 15 0 62103738 14316269568 70427 18446744073709551615 4194304 4196468 140723015699424 139790708722032 139791230192258 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25887] ppid=25878 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25887/stat : 25887 (java) S 25878 25878 11586 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 62103738 14316269568 70427 18446744073709551615 4194304 4196468 140723015699424 139790707668000 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25888] ppid=25878 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25888/stat : 25888 (java) S 25878 25878 11586 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 62103738 14316269568 70427 18446744073709551615 4194304 4196468 140723015699424 139790706615152 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25889] ppid=25878 vsize=13980732 memory=281708 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25889/stat : 25889 (java) S 25878 25878 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62103741 14316269568 70427 18446744073709551615 4194304 4196468 140723015699424 139790705563472 139791230199707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25890] ppid=25878 vsize=13980732 memory=1380 CPUtime=2.71 cores=1,3,5,7
/proc/25880/task/25890/stat : 25890 (java) S 25878 25878 11586 0 -1 1077944384 18437 0 0 0 268 3 0 0 20 0 15 0 62103741 14316269568 70427 18446744073709551615 4194304 4196468 140723015699424 139790704511856 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25891] ppid=25878 vsize=13980732 memory=281708 CPUtime=2.72 cores=1,3,5,7
/proc/25880/task/25891/stat : 25891 (java) S 25878 25878 11586 0 -1 1077944384 14389 0 0 0 269 3 0 0 20 0 15 0 62103741 14316269568 70427 18446744073709551615 4194304 4196468 140723015699424 139790703459056 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25892] ppid=25878 vsize=13980732 memory=1380 CPUtime=0.53 cores=1,3,5,7
/proc/25880/task/25892/stat : 25892 (java) S 25878 25878 11586 0 -1 1077944384 8914 0 0 0 51 2 0 0 20 0 15 0 62103741 14316269568 70427 18446744073709551615 4194304 4196468 140723015699424 139790702406256 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25893] ppid=25878 vsize=13980732 memory=281704 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25893/stat : 25893 (java) S 25878 25878 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62103741 14316269568 70427 18446744073709551615 4194304 4196468 140723015699424 139790701353696 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25894] ppid=25878 vsize=13980732 memory=1380 CPUtime=1.02 cores=1,3,5,7
/proc/25880/task/25894/stat : 25894 (java) S 25878 25878 11586 0 -1 1077944384 1844 0 0 0 50 52 0 0 20 0 15 0 62103745 14316269568 70427 18446744073709551615 4194304 4196468 140723015699424 139790700300976 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
Current children cumulated CPU time: 2465.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 283088 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2497 s]*
/proc/loadavg: 2.01 1.67 1.63 3/212 26247
/proc/meminfo: memFree=31151384/32770624 swapFree=67108860/67108860
[pid=25878] ppid=25875 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25878/stat : 25878 (xcsp3-exec) S 25875 25878 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62103728 9740288 345 18446744073709551615 4194304 5098028 140737330217712 140737330215816 140682092024444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 11354112 140737330225529 140737330225733 140737330225733 140737330229227 0
/proc/25878/statm: 2378 345 289 221 0 87 0
[pid=25880] ppid=25878 vsize=13980732 memory=282456 CPUtime=2520.1 cores=1,3,5,7
/proc/25880/stat : 25880 (java) S 25878 25878 11586 0 -1 1077944320 135363 0 0 0 251796 214 0 0 20 0 15 0 62103735 14316269568 70614 18446744073709551615 4194304 4196468 140723015699424 140723015681968 139791230181111 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
/proc/25880/statm: 3495183 70614 3252 1 0 3483476 0
[pid=25880/tid=25881] ppid=25878 vsize=13980732 memory=1204 CPUtime=2485.76 cores=1,3,5,7
/proc/25880/task/25881/stat : 25881 (java) R 25878 25878 11586 0 -1 4202560 39291 0 0 0 248559 17 0 0 20 0 15 0 62103736 14316269568 70614 18446744073709551615 4194304 4196468 140723015699424 139791234420928 139790874449690 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25882] ppid=25878 vsize=13980732 memory=-7003737579269690708 CPUtime=5.93 cores=1,3,5,7
/proc/25880/task/25882/stat : 25882 (java) S 25878 25878 11586 0 -1 1077944384 9175 0 0 0 559 34 0 0 20 0 15 0 62103736 14316269568 70614 18446744073709551615 4194304 4196468 140723015699424 139790829939856 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25883] ppid=25878 vsize=13980732 memory=1580 CPUtime=5.96 cores=1,3,5,7
/proc/25880/task/25883/stat : 25883 (java) S 25878 25878 11586 0 -1 1077944384 9631 0 0 0 561 35 0 0 20 0 15 0 62103736 14316269568 70614 18446744073709551615 4194304 4196468 140723015699424 139790828887056 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25884] ppid=25878 vsize=13980732 memory=2168 CPUtime=5.93 cores=1,3,5,7
/proc/25880/task/25884/stat : 25884 (java) S 25878 25878 11586 0 -1 1077944384 10739 0 0 0 560 33 0 0 20 0 15 0 62103736 14316269568 70614 18446744073709551615 4194304 4196468 140723015699424 139790827834256 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25885] ppid=25878 vsize=13980732 memory=836 CPUtime=5.95 cores=1,3,5,7
/proc/25880/task/25885/stat : 25885 (java) S 25878 25878 11586 0 -1 1077944384 9661 0 0 0 560 35 0 0 20 0 15 0 62103736 14316269568 70614 18446744073709551615 4194304 4196468 140723015699424 139790826781456 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25886] ppid=25878 vsize=13980732 memory=3908 CPUtime=3.47 cores=1,3,5,7
/proc/25880/task/25886/stat : 25886 (java) S 25878 25878 11586 0 -1 1077944384 11897 0 0 0 319 28 0 0 20 0 15 0 62103738 14316269568 70614 18446744073709551615 4194304 4196468 140723015699424 139790708722032 139791230192258 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25887] ppid=25878 vsize=13980732 memory=3004 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25887/stat : 25887 (java) S 25878 25878 11586 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 62103738 14316269568 70614 18446744073709551615 4194304 4196468 140723015699424 139790707668000 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25888] ppid=25878 vsize=13980732 memory=2764 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25888/stat : 25888 (java) S 25878 25878 11586 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 62103738 14316269568 70614 18446744073709551615 4194304 4196468 140723015699424 139790706615152 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25889] ppid=25878 vsize=13980732 memory=4068 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25889/stat : 25889 (java) S 25878 25878 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62103741 14316269568 70614 18446744073709551615 4194304 4196468 140723015699424 139790705563472 139791230199707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25890] ppid=25878 vsize=13980732 memory=1152 CPUtime=2.71 cores=1,3,5,7
/proc/25880/task/25890/stat : 25890 (java) S 25878 25878 11586 0 -1 1077944384 18439 0 0 0 268 3 0 0 20 0 15 0 62103741 14316269568 70614 18446744073709551615 4194304 4196468 140723015699424 139790704511856 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25891] ppid=25878 vsize=13980732 memory=3240 CPUtime=2.72 cores=1,3,5,7
/proc/25880/task/25891/stat : 25891 (java) S 25878 25878 11586 0 -1 1077944384 14391 0 0 0 269 3 0 0 20 0 15 0 62103741 14316269568 70614 18446744073709551615 4194304 4196468 140723015699424 139790703459056 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25892] ppid=25878 vsize=13980732 memory=1380 CPUtime=0.53 cores=1,3,5,7
/proc/25880/task/25892/stat : 25892 (java) S 25878 25878 11586 0 -1 1077944384 8916 0 0 0 51 2 0 0 20 0 15 0 62103741 14316269568 70614 18446744073709551615 4194304 4196468 140723015699424 139790702406256 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25893] ppid=25878 vsize=13980732 memory=282456 CPUtime=0 cores=1,3,5,7
/proc/25880/task/25893/stat : 25893 (java) S 25878 25878 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62103741 14316269568 70614 18446744073709551615 4194304 4196468 140723015699424 139790701353696 139791230191317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
[pid=25880/tid=25894] ppid=25878 vsize=13980732 memory=1152 CPUtime=1.05 cores=1,3,5,7
/proc/25880/task/25894/stat : 25894 (java) S 25878 25878 11586 0 -1 1077944384 1863 0 0 0 52 53 0 0 20 0 15 0 62103745 14316269568 70614 18446744073709551615 4194304 4196468 140723015699424 139790700300976 139791230192258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140723015705009 140723015705185 140723015705185 140723015708623 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 283836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2497.02 s]
# the end of solver process 25878 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000933 s, system=0.000933 s
[startup+2497.02 s]
# the end of solver process 25880 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.98 s, system=2.15322 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2497.02
CPU time (s): 2520.14
CPU user time (s): 2517.98
CPU system time (s): 2.15322
CPU usage (%): 100.926
Max. virtual memory (cumulated for all children) (KiB): 13992012
Max. memory (cumulated for all children) (KiB): 497176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.98
system time used= 2.15322
maximum resident set size= 496028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136183
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147266
involuntary context switches= 4814
# summary of solver processes directly reported to runsolver:
# pid: 25878,25880
# total CPU time (s): 2520.14
# total CPU user time (s): 2517.98
# total CPU system time (s): 2.15322
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6586 second user time and 24.8777 second system time
The end