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 (14411 MiB free)
memory of node 1: 16384 MiB (15478 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269669-1502770602/watcher-4269669-1502770602 -o /tmp/evaluation-result-4269669-1502770602/solver-4269669-1502770602 -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 148445445 HOME/instance-4269669-1502770602.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=1864, runsolver pid=1861
[startup+0.100157 s]*
/proc/loadavg: 1.81 1.70 1.64 3/205 1871
/proc/meminfo: memFree=30600048/32770624 swapFree=67108860/67108860
[pid=1864] ppid=1861 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1864/stat : 1864 (xcsp3-exec) S 1861 1864 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 65400872 9740288 345 18446744073709551615 4194304 5098028 140736043279312 140736043277416 140381698065020 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 34717696 140736043282809 140736043283013 140736043283013 140736043286507 0
/proc/1864/statm: 2378 345 289 221 0 87 0
[pid=1866] ppid=1864 vsize=13507920 memory=16224 CPUtime=0.02 cores=1,3,5,7
/proc/1866/stat : 1866 (java) S 1864 1864 11586 0 -1 1077944320 3859 0 0 0 2 0 0 0 20 0 8 0 65400880 13832110080 4056 18446744073709551615 4194304 4196468 140736011234848 140736011217392 139833204625143 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
/proc/1866/statm: 3376980 4056 2050 1 0 3366477 0
[pid=1866/tid=1867] ppid=1864 vsize=13574484 memory=7077796292425249400 CPUtime=0.02 cores=1,3,5,7
/proc/1866/task/1867/stat : 1867 (java) R 1864 1864 11586 0 -1 4202560 2667 0 0 0 2 0 0 0 20 0 9 0 65400881 13900271616 4104 18446744073709551615 4194304 4196468 140736011234848 139833208861288 139833204647069 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1868] ppid=1864 vsize=13574484 memory=-5738297875903123798 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1868/stat : 1868 (java) S 1864 1864 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 65400881 13900271616 4104 18446744073709551615 4194304 4196468 140736011234848 139833139059600 139833204635349 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1869] ppid=1864 vsize=13574484 memory=140668338923136 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1869/stat : 1869 (java) S 1864 1864 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 65400881 13900271616 4104 18446744073709551615 4194304 4196468 140736011234848 139833138006800 139833204635349 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1870] ppid=1864 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1870/stat : 1870 (java) S 1864 1864 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 65400881 13900271616 4104 18446744073709551615 4194304 4196468 140736011234848 139833136954512 139833204635349 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1871] ppid=1864 vsize=13574484 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1871/stat : 1871 (java) S 1864 1864 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 65400881 13900271616 4169 18446744073709551615 4194304 4196468 140736011234848 139833135901712 139833204635349 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1872] ppid=1864 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1872/stat : 1872 (java) S 1864 1864 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 65400883 13900271616 4169 18446744073709551615 4194304 4196468 140736011234848 139832683096176 139833204636290 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1873] ppid=1864 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1873/stat : 1873 (java) S 1864 1864 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 65400883 13900271616 4169 18446744073709551615 4194304 4196468 140736011234848 139832682042144 139833204635349 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1874] ppid=1864 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1874/stat : 1874 (java) S 1864 1864 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 65400883 13900271616 4169 18446744073709551615 4194304 4196468 140736011234848 139832680989872 139833204635349 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13517432 KiB
Current children cumulated memory: 17604 KiB
[startup+0.210111 s]*
/proc/loadavg: 1.81 1.70 1.64 4/214 1880
/proc/meminfo: memFree=30595064/32770624 swapFree=67108860/67108860
[pid=1864] ppid=1861 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1864/stat : 1864 (xcsp3-exec) S 1861 1864 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 65400872 9740288 345 18446744073709551615 4194304 5098028 140736043279312 140736043277416 140381698065020 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 34717696 140736043282809 140736043283013 140736043283013 140736043286507 0
/proc/1864/statm: 2378 345 289 221 0 87 0
[pid=1866] ppid=1864 vsize=13974352 memory=24980 CPUtime=0.07 cores=1,3,5,7
/proc/1866/stat : 1866 (java) S 1864 1864 11586 0 -1 1077944320 5200 0 0 0 7 0 0 0 20 0 15 0 65400880 14309736448 6245 18446744073709551615 4194304 4196468 140736011234848 140736011217392 139833204625143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
/proc/1866/statm: 3493588 6245 2713 1 0 3482964 0
[pid=1866/tid=1867] ppid=1864 vsize=13974352 memory=8390339637985935414 CPUtime=0.06 cores=1,3,5,7
/proc/1866/task/1867/stat : 1867 (java) R 1864 1864 11586 0 -1 4202560 3365 0 0 0 6 0 0 0 20 0 15 0 65400881 14309736448 6311 18446744073709551615 4194304 4196468 140736011234848 139833208850832 139833204637078 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1868] ppid=1864 vsize=13974352 memory=288230596118054247 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1868/stat : 1868 (java) S 1864 1864 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65400881 14309736448 6311 18446744073709551615 4194304 4196468 140736011234848 139833139059600 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1869] ppid=1864 vsize=13974352 memory=288371044490634880 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1869/stat : 1869 (java) S 1864 1864 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65400881 14309736448 6311 18446744073709551615 4194304 4196468 140736011234848 139833138006800 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1870] ppid=1864 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1870/stat : 1870 (java) S 1864 1864 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65400881 14309736448 6311 18446744073709551615 4194304 4196468 140736011234848 139833136954512 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1871] ppid=1864 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1871/stat : 1871 (java) S 1864 1864 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65400881 14309736448 6311 18446744073709551615 4194304 4196468 140736011234848 139833135901712 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1872] ppid=1864 vsize=13974352 memory=140668338923136 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1872/stat : 1872 (java) S 1864 1864 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65400883 14309736448 6311 18446744073709551615 4194304 4196468 140736011234848 139832683096176 139833204636290 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1873] ppid=1864 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1873/stat : 1873 (java) S 1864 1864 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65400883 14309736448 6311 18446744073709551615 4194304 4196468 140736011234848 139832682042144 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1874] ppid=1864 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1874/stat : 1874 (java) S 1864 1864 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65400883 14309736448 6311 18446744073709551615 4194304 4196468 140736011234848 139832680989808 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1875] ppid=1864 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1875/stat : 1875 (java) S 1864 1864 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65400886 14309736448 6311 18446744073709551615 4194304 4196468 140736011234848 139832679938128 139833204643739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1876] ppid=1864 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1876/stat : 1876 (java) S 1864 1864 11586 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 65400886 14309736448 6311 18446744073709551615 4194304 4196468 140736011234848 139832678886000 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1877] ppid=1864 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1877/stat : 1877 (java) S 1864 1864 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65400886 14309736448 6311 18446744073709551615 4194304 4196468 140736011234848 139832677833200 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1878] ppid=1864 vsize=13974352 memory=140668338923136 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1878/stat : 1878 (java) R 1864 1864 11586 0 -1 4202560 245 0 0 0 0 0 0 0 20 0 15 0 65400886 14309736448 6311 18446744073709551615 4194304 4196468 140736011234848 139832676780912 139833184967104 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1879] ppid=1864 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1879/stat : 1879 (java) S 1864 1864 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65400886 14309736448 6311 18446744073709551615 4194304 4196468 140736011234848 139832675728352 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1880] ppid=1864 vsize=13974352 memory=140668338923136 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1880/stat : 1880 (java) S 1864 1864 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65400893 14309736448 6311 18446744073709551615 4194304 4196468 140736011234848 139832674675120 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26360 KiB
[startup+0.310341 s]*
/proc/loadavg: 1.81 1.70 1.64 4/214 1880
/proc/meminfo: memFree=30579912/32770624 swapFree=67108860/67108860
[pid=1864] ppid=1861 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1864/stat : 1864 (xcsp3-exec) S 1861 1864 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 65400872 9740288 345 18446744073709551615 4194304 5098028 140736043279312 140736043277416 140381698065020 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 34717696 140736043282809 140736043283013 140736043283013 140736043286507 0
/proc/1864/statm: 2378 345 289 221 0 87 0
[pid=1866] ppid=1864 vsize=13974352 memory=36740 CPUtime=0.25 cores=1,3,5,7
/proc/1866/stat : 1866 (java) S 1864 1864 11586 0 -1 1077944320 8823 0 0 0 23 2 0 0 20 0 15 0 65400880 14309736448 9185 18446744073709551615 4194304 4196468 140736011234848 140736011217392 139833204625143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
/proc/1866/statm: 3493588 9185 2974 1 0 3482964 0
[pid=1866/tid=1867] ppid=1864 vsize=13974352 memory=8390339637985935414 CPUtime=0.16 cores=1,3,5,7
/proc/1866/task/1867/stat : 1867 (java) R 1864 1864 11586 0 -1 4202560 6082 0 0 0 15 1 0 0 20 0 15 0 65400881 14309736448 9185 18446744073709551615 4194304 4196468 140736011234848 139833208852912 139833188705630 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1868] ppid=1864 vsize=13974352 memory=301741395000165735 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1868/stat : 1868 (java) S 1864 1864 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65400881 14309736448 9185 18446744073709551615 4194304 4196468 140736011234848 139833139059600 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1869] ppid=1864 vsize=13974352 memory=300808926990931584 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1869/stat : 1869 (java) S 1864 1864 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65400881 14309736448 9185 18446744073709551615 4194304 4196468 140736011234848 139833138006800 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1870] ppid=1864 vsize=13974352 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1870/stat : 1870 (java) S 1864 1864 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65400881 14309736448 9185 18446744073709551615 4194304 4196468 140736011234848 139833136954512 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1871] ppid=1864 vsize=13974352 memory=3472328279047811119 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1871/stat : 1871 (java) S 1864 1864 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65400881 14309736448 9185 18446744073709551615 4194304 4196468 140736011234848 139833135901712 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1872] ppid=1864 vsize=13974352 memory=8392726544096221409 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1872/stat : 1872 (java) S 1864 1864 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65400883 14309736448 9185 18446744073709551615 4194304 4196468 140736011234848 139832683096176 139833204636290 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1873] ppid=1864 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1873/stat : 1873 (java) S 1864 1864 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65400883 14309736448 9185 18446744073709551615 4194304 4196468 140736011234848 139832682042144 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1874] ppid=1864 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1874/stat : 1874 (java) S 1864 1864 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65400883 14309736448 9185 18446744073709551615 4194304 4196468 140736011234848 139832680989808 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1875] ppid=1864 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1875/stat : 1875 (java) S 1864 1864 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65400886 14309736448 9185 18446744073709551615 4194304 4196468 140736011234848 139832679938128 139833204643739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1876] ppid=1864 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1866/task/1876/stat : 1876 (java) S 1864 1864 11586 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 15 0 65400886 14309736448 9185 18446744073709551615 4194304 4196468 140736011234848 139832678886000 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1877] ppid=1864 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1866/task/1877/stat : 1877 (java) R 1864 1864 11586 0 -1 4202560 392 0 0 0 2 0 0 0 20 0 15 0 65400886 14309736448 9185 18446744073709551615 4194304 4196468 140736011234848 139832677833200 139833182259792 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1878] ppid=1864 vsize=13974352 memory=140668338923136 CPUtime=0.05 cores=1,3,5,7
/proc/1866/task/1878/stat : 1878 (java) S 1864 1864 11586 0 -1 1077944384 706 0 0 0 5 0 0 0 20 0 15 0 65400886 14309736448 9185 18446744073709551615 4194304 4196468 140736011234848 139832676780912 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1879] ppid=1864 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1879/stat : 1879 (java) S 1864 1864 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65400886 14309736448 9185 18446744073709551615 4194304 4196468 140736011234848 139832675728352 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1880] ppid=1864 vsize=13974352 memory=140668338923136 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1880/stat : 1880 (java) S 1864 1864 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65400893 14309736448 9185 18446744073709551615 4194304 4196468 140736011234848 139832674675120 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38120 KiB
[startup+0.701614 s]
/proc/loadavg: 1.81 1.70 1.64 3/214 1880
/proc/meminfo: memFree=30548356/32770624 swapFree=67108860/67108860
[pid=1864] ppid=1861 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1864/stat : 1864 (xcsp3-exec) S 1861 1864 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 65400872 9740288 345 18446744073709551615 4194304 5098028 140736043279312 140736043277416 140381698065020 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 34717696 140736043282809 140736043283013 140736043283013 140736043286507 0
/proc/1864/statm: 2378 345 289 221 0 87 0
[pid=1866] ppid=1864 vsize=13978608 memory=277652 CPUtime=1.25 cores=1,3,5,7
/proc/1866/stat : 1866 (java) S 1864 1864 11586 0 -1 1077944320 13652 0 0 0 105 20 0 0 20 0 15 0 65400880 14314094592 69413 18446744073709551615 4194304 4196468 140736011234848 140736011217392 139833204625143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
/proc/1866/statm: 3494652 69413 3123 1 0 3482964 0
[pid=1866/tid=1867] ppid=1864 vsize=13978608 memory=55 CPUtime=0.49 cores=1,3,5,7
/proc/1866/task/1867/stat : 1867 (java) S 1864 1864 11586 0 -1 1077944384 7600 0 0 0 43 6 0 0 20 0 15 0 65400881 14314094592 69413 18446744073709551615 4194304 4196468 140736011234848 139833208864256 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1868] ppid=1864 vsize=13978608 memory=1585 CPUtime=0.03 cores=1,3,5,7
/proc/1866/task/1868/stat : 1868 (java) R 1864 1864 11586 0 -1 4202560 46 0 0 0 1 2 0 0 20 0 15 0 65400881 14314094592 69413 18446744073709551615 4194304 4196468 140736011234848 139833139059800 139833197727860 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1869] ppid=1864 vsize=13978608 memory=710805 CPUtime=0.04 cores=1,3,5,7
/proc/1866/task/1869/stat : 1869 (java) R 1864 1864 11586 0 -1 4202560 62 0 0 0 1 3 0 0 20 0 15 0 65400881 14314094592 69413 18446744073709551615 4194304 4196468 140736011234848 139833138006688 139833197724799 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1870] ppid=1864 vsize=13978608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1866/task/1870/stat : 1870 (java) R 1864 1864 11586 0 -1 4202560 38 0 0 0 0 1 0 0 20 0 15 0 65400881 14314094592 69413 18446744073709551615 4194304 4196468 140736011234848 139833136954400 139833197724843 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1871] ppid=1864 vsize=13978608 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/1866/task/1871/stat : 1871 (java) R 1864 1864 11586 0 -1 4202560 61 0 0 0 1 3 0 0 20 0 15 0 65400881 14314094592 69413 18446744073709551615 4194304 4196468 140736011234848 139833135901912 139833197728186 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1872] ppid=1864 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1872/stat : 1872 (java) S 1864 1864 11586 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 65400883 14314094592 69413 18446744073709551615 4194304 4196468 140736011234848 139832683094688 139833204635349 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1873] ppid=1864 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1873/stat : 1873 (java) S 1864 1864 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65400883 14314094592 69925 18446744073709551615 4194304 4196468 140736011234848 139832682042144 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1874] ppid=1864 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1874/stat : 1874 (java) S 1864 1864 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65400883 14314094592 69925 18446744073709551615 4194304 4196468 140736011234848 139832680989808 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1875] ppid=1864 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1875/stat : 1875 (java) S 1864 1864 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65400886 14314094592 69925 18446744073709551615 4194304 4196468 140736011234848 139832679938128 139833204643739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1876] ppid=1864 vsize=13978608 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/1866/task/1876/stat : 1876 (java) S 1864 1864 11586 0 -1 1077944384 2119 0 0 0 20 0 0 0 20 0 15 0 65400886 14314094592 69925 18446744073709551615 4194304 4196468 140736011234848 139832678870992 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1877] ppid=1864 vsize=13978608 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/1866/task/1877/stat : 1877 (java) S 1864 1864 11586 0 -1 1077944384 1336 0 0 0 19 0 0 0 20 0 15 0 65400886 14314094592 69925 18446744073709551615 4194304 4196468 140736011234848 139832677824480 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1878] ppid=1864 vsize=13978608 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/1866/task/1878/stat : 1878 (java) S 1864 1864 11586 0 -1 1077944384 1081 0 0 0 16 0 0 0 20 0 15 0 65400886 14314094592 69925 18446744073709551615 4194304 4196468 140736011234848 139832676780912 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1879] ppid=1864 vsize=13978608 memory=6289 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1879/stat : 1879 (java) S 1864 1864 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65400886 14314094592 69925 18446744073709551615 4194304 4196468 140736011234848 139832675728352 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1880] ppid=1864 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1880/stat : 1880 (java) S 1864 1864 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65400893 14314094592 69925 18446744073709551615 4194304 4196468 140736011234848 139832674675120 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 279032 KiB
[startup+1.50083 s]
/proc/loadavg: 1.81 1.70 1.64 5/214 1880
/proc/meminfo: memFree=30322456/32770624 swapFree=67108860/67108860
[pid=1864] ppid=1861 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1864/stat : 1864 (xcsp3-exec) S 1861 1864 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 65400872 9740288 345 18446744073709551615 4194304 5098028 140736043279312 140736043277416 140381698065020 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 34717696 140736043282809 140736043283013 140736043283013 140736043286507 0
/proc/1864/statm: 2378 345 289 221 0 87 0
[pid=1866] ppid=1864 vsize=13978684 memory=558792 CPUtime=3.09 cores=1,3,5,7
/proc/1866/stat : 1866 (java) S 1864 1864 11586 0 -1 1077944320 15377 0 0 0 266 43 0 0 20 0 15 0 65400880 14314172416 139698 18446744073709551615 4194304 4196468 140736011234848 140736011217392 139833204625143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
/proc/1866/statm: 3494671 139698 3199 1 0 3482964 0
[pid=1866/tid=1867] ppid=1864 vsize=13978684 memory=0 CPUtime=1.18 cores=1,3,5,7
/proc/1866/task/1867/stat : 1867 (java) R 1864 1864 11586 0 -1 4202560 7929 0 0 0 110 8 0 0 20 0 15 0 65400881 14314172416 139698 18446744073709551615 4194304 4196468 140736011234848 139833208863392 139832814155565 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1868] ppid=1864 vsize=13978684 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/1866/task/1868/stat : 1868 (java) S 1864 1864 11586 0 -1 1077944384 239 0 0 0 6 7 0 0 20 0 15 0 65400881 14314172416 139698 18446744073709551615 4194304 4196468 140736011234848 139833139059600 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1869] ppid=1864 vsize=13978684 memory=7680170660397595203 CPUtime=0.13 cores=1,3,5,7
/proc/1866/task/1869/stat : 1869 (java) S 1864 1864 11586 0 -1 1077944384 181 0 0 0 5 8 0 0 20 0 15 0 65400881 14314172416 139698 18446744073709551615 4194304 4196468 140736011234848 139833138006800 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1870] ppid=1864 vsize=13978684 memory=3047711462688066934 CPUtime=0.11 cores=1,3,5,7
/proc/1866/task/1870/stat : 1870 (java) S 1864 1864 11586 0 -1 1077944384 229 0 0 0 4 7 0 0 20 0 15 0 65400881 14314172416 139698 18446744073709551615 4194304 4196468 140736011234848 139833136954512 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1871] ppid=1864 vsize=13978684 memory=140668338944545 CPUtime=0.13 cores=1,3,5,7
################
# More data... #
################
/proc/1864/stat : 1864 (xcsp3-exec) S 1861 1864 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 65400872 9740288 345 18446744073709551615 4194304 5098028 140736043279312 140736043277416 140381698065020 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 34717696 140736043282809 140736043283013 140736043283013 140736043286507 0
/proc/1864/statm: 2378 345 289 221 0 87 0
[pid=1866] ppid=1864 vsize=13980732 memory=4784744 CPUtime=32.67 cores=1,3,5,7
/proc/1866/stat : 1866 (java) S 1864 1864 11586 0 -1 1077944320 62610 0 0 0 3003 264 0 0 20 0 15 0 65400880 14316269568 1196186 18446744073709551615 4194304 4196468 140736011234848 140736011217392 139833204625143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
/proc/1866/statm: 3495183 1196186 3229 1 0 3483476 0
[pid=1866/tid=1867] ppid=1864 vsize=13980732 memory=9123308429200974039 CPUtime=16.18 cores=1,3,5,7
/proc/1866/task/1867/stat : 1867 (java) R 1864 1864 11586 0 -1 4202560 16123 0 0 0 1574 44 0 0 20 0 15 0 65400881 14316269568 1196186 18446744073709551615 4194304 4196468 140736011234848 139833208860352 139832815774722 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1868] ppid=1864 vsize=13980732 memory=140668232077503 CPUtime=3.47 cores=1,3,5,7
/proc/1866/task/1868/stat : 1868 (java) S 1864 1864 11586 0 -1 1077944384 7231 0 0 0 294 53 0 0 20 0 15 0 65400881 14316269568 1196186 18446744073709551615 4194304 4196468 140736011234848 139833139059600 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1869] ppid=1864 vsize=13980732 memory=140668338924144 CPUtime=3.48 cores=1,3,5,7
/proc/1866/task/1869/stat : 1869 (java) S 1864 1864 11586 0 -1 1077944384 6782 0 0 0 294 54 0 0 20 0 15 0 65400881 14316269568 1196186 18446744073709551615 4194304 4196468 140736011234848 139833138006800 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1870] ppid=1864 vsize=13980732 memory=5792262874651971664 CPUtime=3.47 cores=1,3,5,7
/proc/1866/task/1870/stat : 1870 (java) S 1864 1864 11586 0 -1 1077944384 6803 0 0 0 294 53 0 0 20 0 15 0 65400881 14316269568 1196186 18446744073709551615 4194304 4196468 140736011234848 139833136954512 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1871] ppid=1864 vsize=13980732 memory=27992919332356134 CPUtime=3.47 cores=1,3,5,7
/proc/1866/task/1871/stat : 1871 (java) S 1864 1864 11586 0 -1 1077944384 7875 0 0 0 294 53 0 0 20 0 15 0 65400881 14316269568 1196186 18446744073709551615 4194304 4196468 140736011234848 139833135901712 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1872] ppid=1864 vsize=13980732 memory=303711728376742216 CPUtime=0.14 cores=1,3,5,7
/proc/1866/task/1872/stat : 1872 (java) S 1864 1864 11586 0 -1 1077944384 7405 0 0 0 13 1 0 0 20 0 15 0 65400883 14316269568 1196186 18446744073709551615 4194304 4196468 140736011234848 139832683096176 139833204636290 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1873] ppid=1864 vsize=13980732 memory=15823287506706392 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1873/stat : 1873 (java) S 1864 1864 11586 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 65400883 14316269568 1196186 18446744073709551615 4194304 4196468 140736011234848 139832682042208 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1874] ppid=1864 vsize=13980732 memory=6442213889342267998 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1874/stat : 1874 (java) S 1864 1864 11586 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 65400883 14316269568 1196186 18446744073709551615 4194304 4196468 140736011234848 139832680989824 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1875] ppid=1864 vsize=13980732 memory=6442213889342267998 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1875/stat : 1875 (java) S 1864 1864 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65400886 14316269568 1196186 18446744073709551615 4194304 4196468 140736011234848 139832679938128 139833204643739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1876] ppid=1864 vsize=13980732 memory=6442213889342267998 CPUtime=0.99 cores=1,3,5,7
/proc/1866/task/1876/stat : 1876 (java) S 1864 1864 11586 0 -1 1077944384 4213 0 0 0 99 0 0 0 20 0 15 0 65400886 14316269568 1196186 18446744073709551615 4194304 4196468 140736011234848 139832678886000 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1877] ppid=1864 vsize=13980732 memory=6442213889342267998 CPUtime=0.89 cores=1,3,5,7
/proc/1866/task/1877/stat : 1877 (java) S 1864 1864 11586 0 -1 1077944384 2784 0 0 0 89 0 0 0 20 0 15 0 65400886 14316269568 1196186 18446744073709551615 4194304 4196468 140736011234848 139832677833200 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1878] ppid=1864 vsize=13980732 memory=6442213889342267998 CPUtime=0.48 cores=1,3,5,7
/proc/1866/task/1878/stat : 1878 (java) S 1864 1864 11586 0 -1 1077944384 1988 0 0 0 48 0 0 0 20 0 15 0 65400886 14316269568 1196186 18446744073709551615 4194304 4196468 140736011234848 139832676780912 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1879] ppid=1864 vsize=13980732 memory=6442213889342267998 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1879/stat : 1879 (java) S 1864 1864 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65400886 14316269568 1196186 18446744073709551615 4194304 4196468 140736011234848 139832675728352 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1880] ppid=1864 vsize=13980732 memory=6442213889342267998 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1880/stat : 1880 (java) S 1864 1864 11586 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 65400893 14316269568 1196186 18446744073709551615 4194304 4196468 140736011234848 139832674675120 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
Current children cumulated CPU time: 32.67 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4786124 KiB
[startup+20.4016 s]
/proc/loadavg: 1.66 1.67 1.63 3/211 1881
/proc/meminfo: memFree=25326416/32770624 swapFree=67108860/67108860
[pid=1864] ppid=1861 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1864/stat : 1864 (xcsp3-exec) S 1861 1864 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 65400872 9740288 345 18446744073709551615 4194304 5098028 140736043279312 140736043277416 140381698065020 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 34717696 140736043282809 140736043283013 140736043283013 140736043286507 0
/proc/1864/statm: 2378 345 289 221 0 87 0
[pid=1866] ppid=1864 vsize=13980732 memory=4784956 CPUtime=33.09 cores=1,3,5,7
/proc/1866/stat : 1866 (java) S 1864 1864 11586 0 -1 1077944320 64836 0 0 0 3044 265 0 0 20 0 15 0 65400880 14316269568 1196239 18446744073709551615 4194304 4196468 140736011234848 140736011217392 139833204625143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
/proc/1866/statm: 3495183 1196239 3229 1 0 3483476 0
[pid=1866/tid=1867] ppid=1864 vsize=13980732 memory=7680170660397595203 CPUtime=16.57 cores=1,3,5,7
/proc/1866/task/1867/stat : 1867 (java) R 1864 1864 11586 0 -1 4202560 17577 0 0 0 1613 44 0 0 20 0 15 0 65400881 14316269568 1196239 18446744073709551615 4194304 4196468 140736011234848 139833208855328 139833190830251 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1868] ppid=1864 vsize=13980732 memory=4784744 CPUtime=3.47 cores=1,3,5,7
/proc/1866/task/1868/stat : 1868 (java) S 1864 1864 11586 0 -1 1077944384 7231 0 0 0 294 53 0 0 20 0 15 0 65400881 14316269568 1196239 18446744073709551615 4194304 4196468 140736011234848 139833139059600 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1869] ppid=1864 vsize=13980732 memory=281336464082224 CPUtime=3.48 cores=1,3,5,7
/proc/1866/task/1869/stat : 1869 (java) S 1864 1864 11586 0 -1 1077944384 6782 0 0 0 294 54 0 0 20 0 15 0 65400881 14316269568 1196239 18446744073709551615 4194304 4196468 140736011234848 139833138006800 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1870] ppid=1864 vsize=13980732 memory=281336464082288 CPUtime=3.47 cores=1,3,5,7
/proc/1866/task/1870/stat : 1870 (java) S 1864 1864 11586 0 -1 1077944384 6803 0 0 0 294 53 0 0 20 0 15 0 65400881 14316269568 1196239 18446744073709551615 4194304 4196468 140736011234848 139833136954512 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1871] ppid=1864 vsize=13980732 memory=1160 CPUtime=3.47 cores=1,3,5,7
/proc/1866/task/1871/stat : 1871 (java) S 1864 1864 11586 0 -1 1077944384 7875 0 0 0 294 53 0 0 20 0 15 0 65400881 14316269568 1196239 18446744073709551615 4194304 4196468 140736011234848 139833135901712 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1872] ppid=1864 vsize=13980732 memory=2660 CPUtime=0.14 cores=1,3,5,7
/proc/1866/task/1872/stat : 1872 (java) S 1864 1864 11586 0 -1 1077944384 7733 0 0 0 13 1 0 0 20 0 15 0 65400883 14316269568 1196239 18446744073709551615 4194304 4196468 140736011234848 139832683096176 139833204636290 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1873] ppid=1864 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1873/stat : 1873 (java) S 1864 1864 11586 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 65400883 14316269568 1196258 18446744073709551615 4194304 4196468 140736011234848 139832682042208 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1874] ppid=1864 vsize=13980732 memory=4781692 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1874/stat : 1874 (java) S 1864 1864 11586 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 65400883 14316269568 1196258 18446744073709551615 4194304 4196468 140736011234848 139832680989824 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1875] ppid=1864 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1875/stat : 1875 (java) S 1864 1864 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65400886 14316269568 1196258 18446744073709551615 4194304 4196468 140736011234848 139832679938128 139833204643739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1876] ppid=1864 vsize=13980732 memory=4284 CPUtime=1 cores=1,3,5,7
/proc/1866/task/1876/stat : 1876 (java) S 1864 1864 11586 0 -1 1077944384 4348 0 0 0 100 0 0 0 20 0 15 0 65400886 14316269568 1196258 18446744073709551615 4194304 4196468 140736011234848 139832678886000 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1877] ppid=1864 vsize=13980732 memory=928 CPUtime=0.89 cores=1,3,5,7
/proc/1866/task/1877/stat : 1877 (java) S 1864 1864 11586 0 -1 1077944384 2788 0 0 0 89 0 0 0 20 0 15 0 65400886 14316269568 1196258 18446744073709551615 4194304 4196468 140736011234848 139832677833200 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1878] ppid=1864 vsize=13980732 memory=1580 CPUtime=0.49 cores=1,3,5,7
/proc/1866/task/1878/stat : 1878 (java) R 1864 1864 11586 0 -1 4202560 2216 0 0 0 49 0 0 0 20 0 15 0 65400886 14316269568 1196258 18446744073709551615 4194304 4196468 140736011234848 139832676780096 139833184057216 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1879] ppid=1864 vsize=13980732 memory=2168 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1879/stat : 1879 (java) S 1864 1864 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65400886 14316269568 1196258 18446744073709551615 4194304 4196468 140736011234848 139832675728352 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1880] ppid=1864 vsize=13980732 memory=836 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1880/stat : 1880 (java) S 1864 1864 11586 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 65400893 14316269568 1196258 18446744073709551615 4194304 4196468 140736011234848 139832674675120 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
Current children cumulated CPU time: 33.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4786336 KiB
[startup+20.6007 s]
/proc/loadavg: 1.66 1.67 1.63 3/211 1881
/proc/meminfo: memFree=25326416/32770624 swapFree=67108860/67108860
[pid=1864] ppid=1861 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1864/stat : 1864 (xcsp3-exec) S 1861 1864 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 65400872 9740288 345 18446744073709551615 4194304 5098028 140736043279312 140736043277416 140381698065020 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 34717696 140736043282809 140736043283013 140736043283013 140736043286507 0
/proc/1864/statm: 2378 345 289 221 0 87 0
[pid=1866] ppid=1864 vsize=13980732 memory=4785536 CPUtime=33.62 cores=1,3,5,7
/proc/1866/stat : 1866 (java) S 1864 1864 11586 0 -1 1077944320 66642 0 0 0 3097 265 0 0 20 0 15 0 65400880 14316269568 1196384 18446744073709551615 4194304 4196468 140736011234848 140736011217392 139833204625143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
/proc/1866/statm: 3495183 1196384 3233 1 0 3483476 0
[pid=1866/tid=1867] ppid=1864 vsize=13980732 memory=7680170660397595203 CPUtime=16.78 cores=1,3,5,7
/proc/1866/task/1867/stat : 1867 (java) R 1864 1864 11586 0 -1 4202560 18151 0 0 0 1633 45 0 0 20 0 15 0 65400881 14316269568 1196384 18446744073709551615 4194304 4196468 140736011234848 139833208863792 139832816610522 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1868] ppid=1864 vsize=13980732 memory=148670292954772 CPUtime=3.47 cores=1,3,5,7
/proc/1866/task/1868/stat : 1868 (java) S 1864 1864 11586 0 -1 1077944384 7231 0 0 0 294 53 0 0 20 0 15 0 65400881 14316269568 1196384 18446744073709551615 4194304 4196468 140736011234848 139833139059600 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1869] ppid=1864 vsize=13980732 memory=281336465242752 CPUtime=3.48 cores=1,3,5,7
/proc/1866/task/1869/stat : 1869 (java) S 1864 1864 11586 0 -1 1077944384 6782 0 0 0 294 54 0 0 20 0 15 0 65400881 14316269568 1196384 18446744073709551615 4194304 4196468 140736011234848 139833138006800 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1870] ppid=1864 vsize=13980732 memory=3835296815200793268 CPUtime=3.47 cores=1,3,5,7
/proc/1866/task/1870/stat : 1870 (java) S 1864 1864 11586 0 -1 1077944384 6803 0 0 0 294 53 0 0 20 0 15 0 65400881 14316269568 1196384 18446744073709551615 4194304 4196468 140736011234848 139833136954512 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1871] ppid=1864 vsize=13980732 memory=7309743974100593514 CPUtime=3.47 cores=1,3,5,7
/proc/1866/task/1871/stat : 1871 (java) S 1864 1864 11586 0 -1 1077944384 7875 0 0 0 294 53 0 0 20 0 15 0 65400881 14316269568 1196384 18446744073709551615 4194304 4196468 140736011234848 139833135901712 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1872] ppid=1864 vsize=13980732 memory=7309743974100593514 CPUtime=0.14 cores=1,3,5,7
/proc/1866/task/1872/stat : 1872 (java) S 1864 1864 11586 0 -1 1077944384 7733 0 0 0 13 1 0 0 20 0 15 0 65400883 14316269568 1196384 18446744073709551615 4194304 4196468 140736011234848 139832683096176 139833204636290 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1873] ppid=1864 vsize=13980732 memory=5861556296996448879 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1873/stat : 1873 (java) S 1864 1864 11586 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 65400883 14316269568 1196384 18446744073709551615 4194304 4196468 140736011234848 139832682042208 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1874] ppid=1864 vsize=13980732 memory=7814116268715635053 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1874/stat : 1874 (java) S 1864 1864 11586 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 65400883 14316269568 1196384 18446744073709551615 4194304 4196468 140736011234848 139832680989824 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1875] ppid=1864 vsize=13980732 memory=7814116268715635053 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1875/stat : 1875 (java) S 1864 1864 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65400886 14316269568 1196384 18446744073709551615 4194304 4196468 140736011234848 139832679938128 139833204643739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1876] ppid=1864 vsize=13980732 memory=7740686453732959601 CPUtime=1.14 cores=1,3,5,7
/proc/1866/task/1876/stat : 1876 (java) S 1864 1864 11586 0 -1 1077944384 4799 0 0 0 114 0 0 0 20 0 15 0 65400886 14316269568 1196384 18446744073709551615 4194304 4196468 140736011234848 139832678886000 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1877] ppid=1864 vsize=13980732 memory=6372142060617232209 CPUtime=1.05 cores=1,3,5,7
/proc/1866/task/1877/stat : 1877 (java) S 1864 1864 11586 0 -1 1077944384 3448 0 0 0 105 0 0 0 20 0 15 0 65400886 14316269568 1196384 18446744073709551615 4194304 4196468 140736011234848 139832677833200 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1878] ppid=1864 vsize=13980732 memory=6372142060617232209 CPUtime=0.52 cores=1,3,5,7
/proc/1866/task/1878/stat : 1878 (java) S 1864 1864 11586 0 -1 1077944384 2336 0 0 0 52 0 0 0 20 0 15 0 65400886 14316269568 1196384 18446744073709551615 4194304 4196468 140736011234848 139832676780912 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1879] ppid=1864 vsize=13980732 memory=6372142060617232209 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1879/stat : 1879 (java) S 1864 1864 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65400886 14316269568 1196384 18446744073709551615 4194304 4196468 140736011234848 139832675728352 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1880] ppid=1864 vsize=13980732 memory=7740686453732959601 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1880/stat : 1880 (java) S 1864 1864 11586 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 65400893 14316269568 1196384 18446744073709551615 4194304 4196468 140736011234848 139832674675120 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
Current children cumulated CPU time: 33.62 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4786916 KiB
[startup+20.7016 s]
/proc/loadavg: 1.66 1.67 1.63 3/211 1881
/proc/meminfo: memFree=25326416/32770624 swapFree=67108860/67108860
[pid=1864] ppid=1861 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1864/stat : 1864 (xcsp3-exec) S 1861 1864 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 65400872 9740288 345 18446744073709551615 4194304 5098028 140736043279312 140736043277416 140381698065020 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 34717696 140736043282809 140736043283013 140736043283013 140736043286507 0
/proc/1864/statm: 2378 345 289 221 0 87 0
[pid=1866] ppid=1864 vsize=13980732 memory=4785704 CPUtime=33.87 cores=1,3,5,7
/proc/1866/stat : 1866 (java) S 1864 1864 11586 0 -1 1077944320 67010 0 0 0 3122 265 0 0 20 0 15 0 65400880 14316269568 1196426 18446744073709551615 4194304 4196468 140736011234848 140736011217392 139833204625143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
/proc/1866/statm: 3495183 1196426 3238 1 0 3483476 0
[pid=1866/tid=1867] ppid=1864 vsize=13980732 memory=4784744 CPUtime=16.88 cores=1,3,5,7
/proc/1866/task/1867/stat : 1867 (java) R 1864 1864 11586 0 -1 4202560 18201 0 0 0 1643 45 0 0 20 0 15 0 65400881 14316269568 1196426 18446744073709551615 4194304 4196468 140736011234848 139833208863648 139832816739443 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1868] ppid=1864 vsize=13980732 memory=281336464490896 CPUtime=3.47 cores=1,3,5,7
/proc/1866/task/1868/stat : 1868 (java) S 1864 1864 11586 0 -1 1077944384 7231 0 0 0 294 53 0 0 20 0 15 0 65400881 14316269568 1196426 18446744073709551615 4194304 4196468 140736011234848 139833139059600 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1869] ppid=1864 vsize=13980732 memory=4784744 CPUtime=3.48 cores=1,3,5,7
/proc/1866/task/1869/stat : 1869 (java) S 1864 1864 11586 0 -1 1077944384 6782 0 0 0 294 54 0 0 20 0 15 0 65400881 14316269568 1196426 18446744073709551615 4194304 4196468 140736011234848 139833138006800 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1870] ppid=1864 vsize=13980732 memory=1380 CPUtime=3.47 cores=1,3,5,7
/proc/1866/task/1870/stat : 1870 (java) S 1864 1864 11586 0 -1 1077944384 6803 0 0 0 294 53 0 0 20 0 15 0 65400881 14316269568 1196426 18446744073709551615 4194304 4196468 140736011234848 139833136954512 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1871] ppid=1864 vsize=13980732 memory=4785452 CPUtime=3.47 cores=1,3,5,7
/proc/1866/task/1871/stat : 1871 (java) S 1864 1864 11586 0 -1 1077944384 7875 0 0 0 294 53 0 0 20 0 15 0 65400881 14316269568 1196426 18446744073709551615 4194304 4196468 140736011234848 139833135901712 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1872] ppid=1864 vsize=13980732 memory=3951480 CPUtime=0.14 cores=1,3,5,7
/proc/1866/task/1872/stat : 1872 (java) S 1864 1864 11586 0 -1 1077944384 7733 0 0 0 13 1 0 0 20 0 15 0 65400883 14316269568 1196426 18446744073709551615 4194304 4196468 140736011234848 139832683096176 139833204636290 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1873] ppid=1864 vsize=13980732 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1873/stat : 1873 (java) S 1864 1864 11586 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 65400883 14316269568 1196426 18446744073709551615 4194304 4196468 140736011234848 139832682042208 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1874] ppid=1864 vsize=13980732 memory=2968 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1874/stat : 1874 (java) S 1864 1864 11586 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 65400883 14316269568 1196426 18446744073709551615 4194304 4196468 140736011234848 139832680989824 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1875] ppid=1864 vsize=13980732 memory=4777380 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1875/stat : 1875 (java) S 1864 1864 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65400886 14316269568 1196426 18446744073709551615 4194304 4196468 140736011234848 139832679938128 139833204643739 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1876] ppid=1864 vsize=13980732 memory=0 CPUtime=1.19 cores=1,3,5,7
/proc/1866/task/1876/stat : 1876 (java) R 1864 1864 11586 0 -1 4202560 4893 0 0 0 119 0 0 0 20 0 15 0 65400886 14316269568 1196426 18446744073709551615 4194304 4196468 140736011234848 139832678872504 139833186169256 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1877] ppid=1864 vsize=13980732 memory=1380 CPUtime=1.14 cores=1,3,5,7
/proc/1866/task/1877/stat : 1877 (java) R 1864 1864 11586 0 -1 4202560 3646 0 0 0 114 0 0 0 20 0 15 0 65400886 14316269568 1196426 18446744073709551615 4194304 4196468 140736011234848 139832677825688 139833188896824 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1878] ppid=1864 vsize=13980732 memory=4782208 CPUtime=0.53 cores=1,3,5,7
/proc/1866/task/1878/stat : 1878 (java) S 1864 1864 11586 0 -1 1077944384 2362 0 0 0 53 0 0 0 20 0 15 0 65400886 14316269568 1196426 18446744073709551615 4194304 4196468 140736011234848 139832676780912 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1879] ppid=1864 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1879/stat : 1879 (java) S 1864 1864 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65400886 14316269568 1196426 18446744073709551615 4194304 4196468 140736011234848 139832675728352 139833204635349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
[pid=1866/tid=1880] ppid=1864 vsize=13980732 memory=3950280 CPUtime=0 cores=1,3,5,7
/proc/1866/task/1880/stat : 1880 (java) S 1864 1864 11586 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 65400893 14316269568 1196426 18446744073709551615 4194304 4196468 140736011234848 139832674675120 139833204636290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140736011239857 140736011240033 140736011240033 140736011243471 0
Current children cumulated CPU time: 33.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4787084 KiB
Child status: 0
Real time (s): 20.763
CPU time (s): 34.011
CPU user time (s): 31.3292
CPU system time (s): 2.68186
CPU usage (%): 163.806
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 4787084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.3292
system time used= 2.68186
maximum resident set size= 4786080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67653
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3713
involuntary context switches= 183
# summary of solver processes directly reported to runsolver:
# pid: 1864
# total CPU time (s): 34.011
# total CPU user time (s): 31.3292
# total CPU system time (s): 2.68186
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.156706 second user time and 0.244936 second system time
The end