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 (15401 MiB free)
memory of node 1: 16384 MiB (15256 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269847-1502847466/watcher-4269847-1502847466 -o /tmp/evaluation-result-4269847-1502847466/solver-4269847-1502847466 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 113325802 HOME/instance-4269847-1502847466.xml
running on 4 cores: 0,2,4,6
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=27689, runsolver pid=27686
[startup+0.102861 s]*
/proc/loadavg: 4.67 4.38 3.35 3/208 27698
/proc/meminfo: memFree=31385708/32770624 swapFree=67108764/67108860
[pid=27689] ppid=27686 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27689/stat : 27689 (xcsp3-exec) S 27686 27689 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 132253245 9740288 345 18446744073709551615 4194304 5098028 140729278779472 140729278777576 140218211160700 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 8404992 140729278787961 140729278788165 140729278788165 140729278791659 0
/proc/27689/statm: 2378 345 289 221 0 87 0
[pid=27691] ppid=27689 vsize=13574484 memory=18984 CPUtime=0.03 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27689 4674 0 -1 1077944320 4075 0 0 0 2 1 0 0 20 0 9 0 132253253 13900271616 4746 18446744073709551615 4194304 4196468 140729704599712 140729704582256 140547458293495 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
/proc/27691/statm: 3393621 4746 2093 1 0 3383118 0
[pid=27691/tid=27692] ppid=27689 vsize=13574484 memory=-8713483618642983523 CPUtime=0.02 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) R 27689 27689 4674 0 -1 4202560 2779 0 0 0 2 0 0 0 20 0 9 0 132253253 13900271616 4746 18446744073709551615 4194304 4196468 140729704599712 140547462529544 140547442373982 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27693] ppid=27689 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27693/stat : 27693 (java) S 27689 27689 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 132253254 13900271616 4746 18446744073709551615 4194304 4196468 140729704599712 140547377707792 140547458303701 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27694] ppid=27689 vsize=13574484 memory=140053577225856 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27694/stat : 27694 (java) S 27689 27689 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 132253254 13900271616 4746 18446744073709551615 4194304 4196468 140729704599712 140547376655248 140547458303701 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27695] ppid=27689 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27695/stat : 27695 (java) S 27689 27689 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 132253254 13900271616 4746 18446744073709551615 4194304 4196468 140729704599712 140547375602704 140547458303701 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27696] ppid=27689 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27696/stat : 27696 (java) S 27689 27689 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 132253254 13900271616 4746 18446744073709551615 4194304 4196468 140729704599712 140547374550160 140547458303701 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27697] ppid=27689 vsize=13574484 memory=140053577225856 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27697/stat : 27697 (java) S 27689 27689 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 132253255 13900271616 4746 18446744073709551615 4194304 4196468 140729704599712 140546643527664 140547458304642 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27698] ppid=27689 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27698/stat : 27698 (java) S 27689 27689 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 132253255 13900271616 4746 18446744073709551615 4194304 4196468 140729704599712 140546642473888 140547458303701 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27699] ppid=27689 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27699/stat : 27699 (java) S 27689 27689 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 132253256 13900271616 4746 18446744073709551615 4194304 4196468 140729704599712 140546641421360 140547458303701 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20364 KiB
[startup+0.210124 s]*
/proc/loadavg: 4.67 4.38 3.35 5/215 27705
/proc/meminfo: memFree=31377072/32770624 swapFree=67108764/67108860
[pid=27689] ppid=27686 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27689/stat : 27689 (xcsp3-exec) S 27686 27689 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 132253245 9740288 345 18446744073709551615 4194304 5098028 140729278779472 140729278777576 140218211160700 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 8404992 140729278787961 140729278788165 140729278788165 140729278791659 0
/proc/27689/statm: 2378 345 289 221 0 87 0
[pid=27691] ppid=27689 vsize=13974352 memory=27368 CPUtime=0.1 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27689 4674 0 -1 1077944320 5268 0 0 0 9 1 0 0 20 0 15 0 132253253 14309736448 6842 18446744073709551615 4194304 4196468 140729704599712 140729704582256 140547458293495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
/proc/27691/statm: 3493588 6842 2752 1 0 3482964 0
[pid=27691/tid=27692] ppid=27689 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) R 27689 27689 4674 0 -1 4202560 3406 0 0 0 7 1 0 0 20 0 15 0 132253253 14309736448 6842 18446744073709551615 4194304 4196468 140729704599712 140547462523824 140547442373982 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27693] ppid=27689 vsize=13974352 memory=12630 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27693/stat : 27693 (java) S 27689 27689 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132253254 14309736448 6842 18446744073709551615 4194304 4196468 140729704599712 140547377707792 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27694] ppid=27689 vsize=13974352 memory=140053577251928 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27694/stat : 27694 (java) S 27689 27689 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132253254 14309736448 6842 18446744073709551615 4194304 4196468 140729704599712 140547376655248 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27695] ppid=27689 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27695/stat : 27695 (java) S 27689 27689 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132253254 14309736448 6842 18446744073709551615 4194304 4196468 140729704599712 140547375602704 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27696] ppid=27689 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27696/stat : 27696 (java) S 27689 27689 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132253254 14309736448 6842 18446744073709551615 4194304 4196468 140729704599712 140547374550160 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27697] ppid=27689 vsize=13974352 memory=140053577225856 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27697/stat : 27697 (java) S 27689 27689 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132253255 14309736448 6842 18446744073709551615 4194304 4196468 140729704599712 140546643527664 140547458304642 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27698] ppid=27689 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27698/stat : 27698 (java) S 27689 27689 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 132253255 14309736448 6842 18446744073709551615 4194304 4196468 140729704599712 140546642473888 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27699] ppid=27689 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27699/stat : 27699 (java) S 27689 27689 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 132253256 14309736448 6842 18446744073709551615 4194304 4196468 140729704599712 140546641421296 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27700] ppid=27689 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27700/stat : 27700 (java) S 27689 27689 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132253258 14309736448 6842 18446744073709551615 4194304 4196468 140729704599712 140546640369872 140547458312091 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27701] ppid=27689 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27701/stat : 27701 (java) S 27689 27689 4674 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 132253258 14309736448 6842 18446744073709551615 4194304 4196468 140729704599712 140546639317488 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27702] ppid=27689 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27702/stat : 27702 (java) R 27689 27689 4674 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 15 0 132253258 14309736448 6842 18446744073709551615 4194304 4196468 140729704599712 140546638264944 140547438457440 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27703] ppid=27689 vsize=13974352 memory=140053577225856 CPUtime=0.01 cores=0,2,4,6
/proc/27691/task/27703/stat : 27703 (java) S 27689 27689 4674 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 15 0 132253258 14309736448 6842 18446744073709551615 4194304 4196468 140729704599712 140546637212400 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27704] ppid=27689 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27704/stat : 27704 (java) S 27689 27689 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132253258 14309736448 6842 18446744073709551615 4194304 4196468 140729704599712 140546636160096 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27705] ppid=27689 vsize=13974352 memory=140053577225856 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27705/stat : 27705 (java) S 27689 27689 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132253263 14309736448 6842 18446744073709551615 4194304 4196468 140729704599712 140546635106608 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28748 KiB
[startup+0.311846 s]*
/proc/loadavg: 4.67 4.38 3.35 3/215 27705
/proc/meminfo: memFree=31365304/32770624 swapFree=67108764/67108860
[pid=27689] ppid=27686 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27689/stat : 27689 (xcsp3-exec) S 27686 27689 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 132253245 9740288 345 18446744073709551615 4194304 5098028 140729278779472 140729278777576 140218211160700 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 8404992 140729278787961 140729278788165 140729278788165 140729278791659 0
/proc/27689/statm: 2378 345 289 221 0 87 0
[pid=27691] ppid=27689 vsize=13974352 memory=39508 CPUtime=0.3 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27689 4674 0 -1 1077944320 8988 0 0 0 27 3 0 0 20 0 15 0 132253253 14309736448 9877 18446744073709551615 4194304 4196468 140729704599712 140729704582256 140547458293495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
/proc/27691/statm: 3493588 9877 3022 1 0 3482964 0
[pid=27691/tid=27692] ppid=27689 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) R 27689 27689 4674 0 -1 4202560 6129 0 0 0 16 2 0 0 20 0 15 0 132253253 14309736448 9877 18446744073709551615 4194304 4196468 140729704599712 140547462530688 140547458314842 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27693] ppid=27689 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27693/stat : 27693 (java) S 27689 27689 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132253254 14309736448 9877 18446744073709551615 4194304 4196468 140729704599712 140547377707792 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27694] ppid=27689 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27694/stat : 27694 (java) S 27689 27689 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132253254 14309736448 9877 18446744073709551615 4194304 4196468 140729704599712 140547376655248 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27695] ppid=27689 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27695/stat : 27695 (java) S 27689 27689 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132253254 14309736448 9877 18446744073709551615 4194304 4196468 140729704599712 140547375602704 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27696] ppid=27689 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27696/stat : 27696 (java) S 27689 27689 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132253254 14309736448 9877 18446744073709551615 4194304 4196468 140729704599712 140547374550160 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27697] ppid=27689 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27697/stat : 27697 (java) S 27689 27689 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132253255 14309736448 9877 18446744073709551615 4194304 4196468 140729704599712 140546643527664 140547458304642 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27698] ppid=27689 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27698/stat : 27698 (java) S 27689 27689 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 132253255 14309736448 9877 18446744073709551615 4194304 4196468 140729704599712 140546642473888 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27699] ppid=27689 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27699/stat : 27699 (java) S 27689 27689 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 132253256 14309736448 9877 18446744073709551615 4194304 4196468 140729704599712 140546641421296 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27700] ppid=27689 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27700/stat : 27700 (java) S 27689 27689 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132253258 14309736448 9877 18446744073709551615 4194304 4196468 140729704599712 140546640369872 140547458312091 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27701] ppid=27689 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27691/task/27701/stat : 27701 (java) S 27689 27689 4674 0 -1 1077944384 621 0 0 0 2 0 0 0 20 0 15 0 132253258 14309736448 9877 18446744073709551615 4194304 4196468 140729704599712 140546639317488 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27702] ppid=27689 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27691/task/27702/stat : 27702 (java) S 27689 27689 4674 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 15 0 132253258 14309736448 9877 18446744073709551615 4194304 4196468 140729704599712 140546638264944 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27703] ppid=27689 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/27691/task/27703/stat : 27703 (java) S 27689 27689 4674 0 -1 1077944384 723 0 0 0 6 0 0 0 20 0 15 0 132253258 14309736448 9877 18446744073709551615 4194304 4196468 140729704599712 140546637212400 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27704] ppid=27689 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27704/stat : 27704 (java) S 27689 27689 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132253258 14309736448 9877 18446744073709551615 4194304 4196468 140729704599712 140546636160096 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27705] ppid=27689 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27705/stat : 27705 (java) S 27689 27689 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132253263 14309736448 9877 18446744073709551615 4194304 4196468 140729704599712 140546635106608 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40888 KiB
[startup+0.701123 s]
/proc/loadavg: 4.67 4.38 3.35 5/215 27705
/proc/meminfo: memFree=31346808/32770624 swapFree=67108764/67108860
[pid=27689] ppid=27686 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27689/stat : 27689 (xcsp3-exec) S 27686 27689 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 132253245 9740288 345 18446744073709551615 4194304 5098028 140729278779472 140729278777576 140218211160700 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 8404992 140729278787961 140729278788165 140729278788165 140729278791659 0
/proc/27689/statm: 2378 345 289 221 0 87 0
[pid=27691] ppid=27689 vsize=13978684 memory=85644 CPUtime=1.38 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27689 4674 0 -1 1077944320 13011 0 0 0 132 6 0 0 20 0 15 0 132253253 14314172416 21411 18446744073709551615 4194304 4196468 140729704599712 140729704582256 140547458293495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
/proc/27691/statm: 3494671 21411 3151 1 0 3482964 0
[pid=27691/tid=27692] ppid=27689 vsize=13978684 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) R 27689 27689 4674 0 -1 1077944384 7829 0 0 0 52 4 0 0 20 0 15 0 132253253 14314172416 21411 18446744073709551615 4194304 4196468 140729704599712 140547462527488 140547458303701 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27693] ppid=27689 vsize=13978684 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27693/stat : 27693 (java) S 27689 27689 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132253254 14314172416 21411 18446744073709551615 4194304 4196468 140729704599712 140547377707792 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27694] ppid=27689 vsize=13978684 memory=5712 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27694/stat : 27694 (java) S 27689 27689 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132253254 14314172416 21411 18446744073709551615 4194304 4196468 140729704599712 140547376655248 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27695] ppid=27689 vsize=13978684 memory=796 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27695/stat : 27695 (java) S 27689 27689 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132253254 14314172416 21411 18446744073709551615 4194304 4196468 140729704599712 140547375602704 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27696] ppid=27689 vsize=13978684 memory=984 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27696/stat : 27696 (java) S 27689 27689 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 132253254 14314172416 21411 18446744073709551615 4194304 4196468 140729704599712 140547374550160 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27697] ppid=27689 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27697/stat : 27697 (java) S 27689 27689 4674 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 132253255 14314172416 21411 18446744073709551615 4194304 4196468 140729704599712 140546643527664 140547458304642 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27698] ppid=27689 vsize=13978684 memory=1 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27698/stat : 27698 (java) S 27689 27689 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 132253255 14314172416 21411 18446744073709551615 4194304 4196468 140729704599712 140546642473888 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27699] ppid=27689 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27699/stat : 27699 (java) S 27689 27689 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 132253256 14314172416 21411 18446744073709551615 4194304 4196468 140729704599712 140546641421296 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27700] ppid=27689 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27700/stat : 27700 (java) S 27689 27689 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132253258 14314172416 21411 18446744073709551615 4194304 4196468 140729704599712 140546640369872 140547458312091 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27701] ppid=27689 vsize=13978684 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/27691/task/27701/stat : 27701 (java) R 27689 27689 4674 0 -1 4202560 1290 0 0 0 26 0 0 0 20 0 15 0 132253258 14314172416 21411 18446744073709551615 4194304 4196468 140729704599712 140546639307632 140547442213345 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27702] ppid=27689 vsize=13978684 memory=30 CPUtime=0.28 cores=0,2,4,6
/proc/27691/task/27702/stat : 27702 (java) S 27689 27689 4674 0 -1 1077944384 1189 0 0 0 28 0 0 0 20 0 15 0 132253258 14314172416 21411 18446744073709551615 4194304 4196468 140729704599712 140546638264944 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27703] ppid=27689 vsize=13978684 memory=229 CPUtime=0.24 cores=0,2,4,6
/proc/27691/task/27703/stat : 27703 (java) R 27689 27689 4674 0 -1 4202560 1394 0 0 0 24 0 0 0 20 0 15 0 132253258 14314172416 21411 18446744073709551615 4194304 4196468 140729704599712 140546637207664 140547438534418 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27704] ppid=27689 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27704/stat : 27704 (java) S 27689 27689 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132253258 14314172416 21411 18446744073709551615 4194304 4196468 140729704599712 140546636160096 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27705] ppid=27689 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27705/stat : 27705 (java) S 27689 27689 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 132253263 14314172416 21411 18446744073709551615 4194304 4196468 140729704599712 140546635106608 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 87024 KiB
[startup+1.50165 s]
/proc/loadavg: 4.67 4.38 3.35 7/215 27705
/proc/meminfo: memFree=31199980/32770624 swapFree=67108764/67108860
[pid=27689] ppid=27686 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27689/stat : 27689 (xcsp3-exec) S 27686 27689 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 132253245 9740288 345 18446744073709551615 4194304 5098028 140729278779472 140729278777576 140218211160700 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 8404992 140729278787961 140729278788165 140729278788165 140729278791659 0
/proc/27689/statm: 2378 345 289 221 0 87 0
[pid=27691] ppid=27689 vsize=13980732 memory=264808 CPUtime=3.88 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27689 4674 0 -1 1077944320 15509 0 0 0 373 15 0 0 20 0 15 0 132253253 14316269568 66202 18446744073709551615 4194304 4196468 140729704599712 140729704582256 140547458293495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
/proc/27691/statm: 3495183 66202 3210 1 0 3483476 0
[pid=27691/tid=27692] ppid=27689 vsize=13980732 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) R 27689 27689 4674 0 -1 4202560 8482 0 0 0 125 6 0 0 20 0 15 0 132253253 14316269568 66202 18446744073709551615 4194304 4196468 140729704599712 140547462530896 140547458305430 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27693] ppid=27689 vsize=13980732 memory=280106895647936 CPUtime=0.03 cores=0,2,4,6
/proc/27691/task/27693/stat : 27693 (java) S 27689 27689 4674 0 -1 1077944384 91 0 0 0 2 1 0 0 20 0 15 0 132253254 14316269568 66202 18446744073709551615 4194304 4196468 140729704599712 140547377707792 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27694] ppid=27689 vsize=13980732 memory=6944656575208382560 CPUtime=0.03 cores=0,2,4,6
/proc/27691/task/27694/stat : 27694 (java) S 27689 27689 4674 0 -1 1077944384 81 0 0 0 2 1 0 0 20 0 15 0 132253254 14316269568 66202 18446744073709551615 4194304 4196468 140729704599712 140547376655248 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27695] ppid=27689 vsize=13980732 memory=6933690287860520088 CPUtime=0.03 cores=0,2,4,6
/proc/27691/task/27695/stat : 27695 (java) S 27689 27689 4674 0 -1 1077944384 40 0 0 0 2 1 0 0 20 0 15 0 132253254 14316269568 66202 18446744073709551615 4194304 4196468 140729704599712 140547375602704 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27696] ppid=27689 vsize=13980732 memory=4138356658378995242 CPUtime=0.03 cores=0,2,4,6
################
# More data... #
################
/proc/27689/stat : 27689 (xcsp3-exec) S 27686 27689 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 132253245 9740288 345 18446744073709551615 4194304 5098028 140729278779472 140729278777576 140218211160700 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 8404992 140729278787961 140729278788165 140729278788165 140729278791659 0
/proc/27689/statm: 2378 345 289 221 0 87 0
[pid=27691] ppid=27689 vsize=13980732 memory=11444572 CPUtime=578.52 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27689 4674 0 -1 1077944320 332284 0 0 0 56896 956 0 0 20 0 15 0 132253253 14316269568 2861143 18446744073709551615 4194304 4196468 140729704599712 140729704582256 140547458293495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
/proc/27691/statm: 3495183 2861143 3246 1 0 3483476 0
[pid=27691/tid=27692] ppid=27689 vsize=13980732 memory=-8774313645642428999 CPUtime=107.97 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) S 27689 27689 4674 0 -1 1077944384 20305 0 0 0 10785 12 0 0 20 0 15 0 132253253 14316269568 2861143 18446744073709551615 4194304 4196468 140729704599712 140547462532720 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27693] ppid=27689 vsize=13980732 memory=11444540 CPUtime=113.87 cores=0,2,4,6
/proc/27691/task/27693/stat : 27693 (java) R 27689 27689 4674 0 -1 4202560 72700 0 0 0 11141 246 0 0 20 0 15 0 132253254 14316269568 2861143 18446744073709551615 4194304 4196468 140729704599712 140547377707680 140547442991270 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27694] ppid=27689 vsize=13980732 memory=1608 CPUtime=114.3 cores=0,2,4,6
/proc/27691/task/27694/stat : 27694 (java) R 27689 27689 4674 0 -1 4202560 63662 0 0 0 11197 233 0 0 20 0 15 0 132253254 14316269568 2861143 18446744073709551615 4194304 4196468 140729704599712 140547376655448 140547442991120 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27695] ppid=27689 vsize=13980732 memory=928 CPUtime=114.09 cores=0,2,4,6
/proc/27691/task/27695/stat : 27695 (java) R 27689 27689 4674 0 -1 4202560 42186 0 0 0 11171 238 0 0 20 0 15 0 132253254 14316269568 2861143 18446744073709551615 4194304 4196468 140729704599712 140547375602904 140547443278791 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27696] ppid=27689 vsize=13980732 memory=4148 CPUtime=114.43 cores=0,2,4,6
/proc/27691/task/27696/stat : 27696 (java) R 27689 27689 4674 0 -1 4202560 66522 0 0 0 11229 214 0 0 20 0 15 0 132253254 14316269568 2861143 18446744073709551615 4194304 4196468 140729704599712 140547374550360 140547443278791 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27697] ppid=27689 vsize=13980732 memory=64536 CPUtime=10.29 cores=0,2,4,6
/proc/27691/task/27697/stat : 27697 (java) S 27689 27689 4674 0 -1 1077944384 49316 0 0 0 1027 2 0 0 20 0 15 0 132253255 14316269568 2861143 18446744073709551615 4194304 4196468 140729704599712 140546643525984 140547458303701 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27698] ppid=27689 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27698/stat : 27698 (java) S 27689 27689 4674 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 132253255 14316269568 2861143 18446744073709551615 4194304 4196468 140729704599712 140546642473952 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27699] ppid=27689 vsize=13980732 memory=2320 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27699/stat : 27699 (java) S 27689 27689 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 132253256 14316269568 2861143 18446744073709551615 4194304 4196468 140729704599712 140546641421312 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27700] ppid=27689 vsize=13980732 memory=-3622645143214314312 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27700/stat : 27700 (java) S 27689 27689 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132253258 14316269568 2861143 18446744073709551615 4194304 4196468 140729704599712 140546640369872 140547458312091 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27701] ppid=27689 vsize=13980732 memory=3128 CPUtime=1.4 cores=0,2,4,6
/proc/27691/task/27701/stat : 27701 (java) S 27689 27689 4674 0 -1 1077944384 6085 0 0 0 139 1 0 0 20 0 15 0 132253258 14316269568 2861143 18446744073709551615 4194304 4196468 140729704599712 140546639317488 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27702] ppid=27689 vsize=13980732 memory=1380 CPUtime=1.38 cores=0,2,4,6
/proc/27691/task/27702/stat : 27702 (java) S 27689 27689 4674 0 -1 1077944384 5594 0 0 0 138 0 0 0 20 0 15 0 132253258 14316269568 2861143 18446744073709551615 4194304 4196468 140729704599712 140546638264944 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27703] ppid=27689 vsize=13980732 memory=11444540 CPUtime=0.54 cores=0,2,4,6
/proc/27691/task/27703/stat : 27703 (java) S 27689 27689 4674 0 -1 1077944384 4164 0 0 0 53 1 0 0 20 0 15 0 132253258 14316269568 2861143 18446744073709551615 4194304 4196468 140729704599712 140546637212400 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27704] ppid=27689 vsize=13980732 memory=11444540 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27704/stat : 27704 (java) S 27689 27689 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132253258 14316269568 2861143 18446744073709551615 4194304 4196468 140729704599712 140546636160096 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27705] ppid=27689 vsize=13980732 memory=1380 CPUtime=0.15 cores=0,2,4,6
/proc/27691/task/27705/stat : 27705 (java) S 27689 27689 4674 0 -1 1077944384 451 0 0 0 6 9 0 0 20 0 15 0 132253263 14316269568 2861143 18446744073709551615 4194304 4196468 140729704599712 140546635106608 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
Current children cumulated CPU time: 578.52 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11445952 KiB
[startup+235.201 s]
/proc/loadavg: 4.51 4.06 3.41 6/216 27715
/proc/meminfo: memFree=19937528/32770624 swapFree=67108764/67108860
[pid=27689] ppid=27686 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27689/stat : 27689 (xcsp3-exec) S 27686 27689 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 132253245 9740288 345 18446744073709551615 4194304 5098028 140729278779472 140729278777576 140218211160700 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 8404992 140729278787961 140729278788165 140729278788165 140729278791659 0
/proc/27689/statm: 2378 345 289 221 0 87 0
[pid=27691] ppid=27689 vsize=13980732 memory=11444580 CPUtime=584.86 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27689 4674 0 -1 1077944320 332816 0 0 0 57530 956 0 0 20 0 15 0 132253253 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140729704582256 140547458293495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
/proc/27691/statm: 3495183 2861145 3246 1 0 3483476 0
[pid=27691/tid=27692] ppid=27689 vsize=13980732 memory=3128 CPUtime=107.97 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) S 27689 27689 4674 0 -1 1077944384 20305 0 0 0 10785 12 0 0 20 0 15 0 132253253 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140547462532720 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27693] ppid=27689 vsize=13980732 memory=-8774313645642428999 CPUtime=115.44 cores=0,2,4,6
/proc/27691/task/27693/stat : 27693 (java) R 27689 27689 4674 0 -1 4202560 72844 0 0 0 11297 247 0 0 20 0 15 0 132253254 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140547377707680 140547451389888 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27694] ppid=27689 vsize=13980732 memory=7954600903689195630 CPUtime=115.89 cores=0,2,4,6
/proc/27691/task/27694/stat : 27694 (java) R 27689 27689 4674 0 -1 4202560 63684 0 0 0 11356 233 0 0 20 0 15 0 132253254 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140547376655448 140547443283138 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27695] ppid=27689 vsize=13980732 memory=6947476771296928875 CPUtime=115.68 cores=0,2,4,6
/proc/27691/task/27695/stat : 27695 (java) R 27689 27689 4674 0 -1 4202560 42389 0 0 0 11330 238 0 0 20 0 15 0 132253254 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140547375602904 140547443290004 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27696] ppid=27689 vsize=13980732 memory=4148 CPUtime=116.02 cores=0,2,4,6
/proc/27691/task/27696/stat : 27696 (java) R 27689 27689 4674 0 -1 4202560 66685 0 0 0 11388 214 0 0 20 0 15 0 132253254 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140547374550360 140547443283138 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27697] ppid=27689 vsize=13980732 memory=64536 CPUtime=10.3 cores=0,2,4,6
/proc/27691/task/27697/stat : 27697 (java) S 27689 27689 4674 0 -1 1077944384 49316 0 0 0 1028 2 0 0 20 0 15 0 132253255 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546643526208 140547458303701 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27698] ppid=27689 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27698/stat : 27698 (java) S 27689 27689 4674 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 132253255 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546642473952 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27699] ppid=27689 vsize=13980732 memory=2320 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27699/stat : 27699 (java) S 27689 27689 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 132253256 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546641421312 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27700] ppid=27689 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27700/stat : 27700 (java) S 27689 27689 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132253258 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546640369872 140547458312091 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27701] ppid=27689 vsize=13980732 memory=64536 CPUtime=1.4 cores=0,2,4,6
/proc/27691/task/27701/stat : 27701 (java) S 27689 27689 4674 0 -1 1077944384 6085 0 0 0 139 1 0 0 20 0 15 0 132253258 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546639317488 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27702] ppid=27689 vsize=13980732 memory=1296 CPUtime=1.38 cores=0,2,4,6
/proc/27691/task/27702/stat : 27702 (java) S 27689 27689 4674 0 -1 1077944384 5594 0 0 0 138 0 0 0 20 0 15 0 132253258 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546638264944 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27703] ppid=27689 vsize=13980732 memory=2320 CPUtime=0.54 cores=0,2,4,6
/proc/27691/task/27703/stat : 27703 (java) S 27689 27689 4674 0 -1 1077944384 4164 0 0 0 53 1 0 0 20 0 15 0 132253258 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546637212400 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27704] ppid=27689 vsize=13980732 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27704/stat : 27704 (java) S 27689 27689 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132253258 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546636160096 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27705] ppid=27689 vsize=13980732 memory=14 CPUtime=0.15 cores=0,2,4,6
/proc/27691/task/27705/stat : 27705 (java) S 27689 27689 4674 0 -1 1077944384 451 0 0 0 6 9 0 0 20 0 15 0 132253263 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546635106608 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
Current children cumulated CPU time: 584.86 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11445960 KiB
[startup+235.601 s]
/proc/loadavg: 4.51 4.06 3.41 6/216 27715
/proc/meminfo: memFree=19937528/32770624 swapFree=67108764/67108860
[pid=27689] ppid=27686 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27689/stat : 27689 (xcsp3-exec) S 27686 27689 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 132253245 9740288 345 18446744073709551615 4194304 5098028 140729278779472 140729278777576 140218211160700 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 8404992 140729278787961 140729278788165 140729278788165 140729278791659 0
/proc/27689/statm: 2378 345 289 221 0 87 0
[pid=27691] ppid=27689 vsize=13980732 memory=11444580 CPUtime=586.46 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27689 4674 0 -1 1077944320 332855 0 0 0 57690 956 0 0 20 0 15 0 132253253 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140729704582256 140547458293495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
/proc/27691/statm: 3495183 2861145 3246 1 0 3483476 0
[pid=27691/tid=27692] ppid=27689 vsize=13980732 memory=984 CPUtime=107.97 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) S 27689 27689 4674 0 -1 1077944384 20305 0 0 0 10785 12 0 0 20 0 15 0 132253253 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140547462532720 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27693] ppid=27689 vsize=13980732 memory=1728 CPUtime=115.84 cores=0,2,4,6
/proc/27691/task/27693/stat : 27693 (java) R 27689 27689 4674 0 -1 4202560 72852 0 0 0 11337 247 0 0 20 0 15 0 132253254 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140547377707680 140547443283138 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27694] ppid=27689 vsize=13980732 memory=1728 CPUtime=116.29 cores=0,2,4,6
/proc/27691/task/27694/stat : 27694 (java) R 27689 27689 4674 0 -1 4202560 63699 0 0 0 11396 233 0 0 20 0 15 0 132253254 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140547376655448 140547443283055 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27695] ppid=27689 vsize=13980732 memory=4572 CPUtime=116.08 cores=0,2,4,6
/proc/27691/task/27695/stat : 27695 (java) R 27689 27689 4674 0 -1 4202560 42396 0 0 0 11370 238 0 0 20 0 15 0 132253254 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140547375602904 140547443289896 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27696] ppid=27689 vsize=13980732 memory=1444 CPUtime=116.42 cores=0,2,4,6
/proc/27691/task/27696/stat : 27696 (java) R 27689 27689 4674 0 -1 4202560 66694 0 0 0 11428 214 0 0 20 0 15 0 132253254 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140547374550360 140547443283159 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27697] ppid=27689 vsize=13980732 memory=12304 CPUtime=10.3 cores=0,2,4,6
/proc/27691/task/27697/stat : 27697 (java) S 27689 27689 4674 0 -1 1077944384 49316 0 0 0 1028 2 0 0 20 0 15 0 132253255 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546643526208 140547458303701 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27698] ppid=27689 vsize=13980732 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27698/stat : 27698 (java) S 27689 27689 4674 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 132253255 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546642473952 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27699] ppid=27689 vsize=13980732 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27699/stat : 27699 (java) S 27689 27689 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 132253256 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546641421312 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27700] ppid=27689 vsize=13980732 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27700/stat : 27700 (java) S 27689 27689 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132253258 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546640369872 140547458312091 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27701] ppid=27689 vsize=13980732 memory=38520 CPUtime=1.4 cores=0,2,4,6
/proc/27691/task/27701/stat : 27701 (java) S 27689 27689 4674 0 -1 1077944384 6085 0 0 0 139 1 0 0 20 0 15 0 132253258 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546639317488 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27702] ppid=27689 vsize=13980732 memory=1232 CPUtime=1.38 cores=0,2,4,6
/proc/27691/task/27702/stat : 27702 (java) S 27689 27689 4674 0 -1 1077944384 5594 0 0 0 138 0 0 0 20 0 15 0 132253258 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546638264944 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27703] ppid=27689 vsize=13980732 memory=644 CPUtime=0.54 cores=0,2,4,6
/proc/27691/task/27703/stat : 27703 (java) S 27689 27689 4674 0 -1 1077944384 4164 0 0 0 53 1 0 0 20 0 15 0 132253258 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546637212400 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27704] ppid=27689 vsize=13980732 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27704/stat : 27704 (java) S 27689 27689 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132253258 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546636160096 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27705] ppid=27689 vsize=13980732 memory=956 CPUtime=0.15 cores=0,2,4,6
/proc/27691/task/27705/stat : 27705 (java) S 27689 27689 4674 0 -1 1077944384 451 0 0 0 6 9 0 0 20 0 15 0 132253263 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546635106608 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
Current children cumulated CPU time: 586.46 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11445960 KiB
[startup+236.001 s]*
/proc/loadavg: 4.51 4.06 3.41 3/216 27715
/proc/meminfo: memFree=19937528/32770624 swapFree=67108764/67108860
[pid=27689] ppid=27686 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27689/stat : 27689 (xcsp3-exec) S 27686 27689 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 132253245 9740288 345 18446744073709551615 4194304 5098028 140729278779472 140729278777576 140218211160700 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 8404992 140729278787961 140729278788165 140729278788165 140729278791659 0
/proc/27689/statm: 2378 345 289 221 0 87 0
[pid=27691] ppid=27689 vsize=13980732 memory=11444580 CPUtime=587.16 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27689 4674 0 -1 1077944320 332855 0 0 0 57760 956 0 0 20 0 15 0 132253253 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140729704582256 140547458293495 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
/proc/27691/statm: 3495183 2861145 3246 1 0 3483476 0
[pid=27691/tid=27692] ppid=27689 vsize=13980732 memory=1376 CPUtime=107.97 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) S 27689 27689 4674 0 -1 1077944384 20305 0 0 0 10785 12 0 0 20 0 15 0 132253253 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140547462532720 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27693] ppid=27689 vsize=13980732 memory=4872558044660077418 CPUtime=115.94 cores=0,2,4,6
/proc/27691/task/27693/stat : 27693 (java) S 27689 27689 4674 0 -1 1077944384 72852 0 0 0 11347 247 0 0 20 0 15 0 132253254 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140547377707792 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27694] ppid=27689 vsize=13980732 memory=11444572 CPUtime=116.38 cores=0,2,4,6
/proc/27691/task/27694/stat : 27694 (java) S 27689 27689 4674 0 -1 1077944384 63699 0 0 0 11405 233 0 0 20 0 15 0 132253254 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140547376655248 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27695] ppid=27689 vsize=13980732 memory=-8774313645642428999 CPUtime=116.18 cores=0,2,4,6
/proc/27691/task/27695/stat : 27695 (java) S 27689 27689 4674 0 -1 1077944384 42396 0 0 0 11380 238 0 0 20 0 15 0 132253254 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140547375602704 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27696] ppid=27689 vsize=13980732 memory=1724 CPUtime=116.52 cores=0,2,4,6
/proc/27691/task/27696/stat : 27696 (java) S 27689 27689 4674 0 -1 1077944384 66694 0 0 0 11438 214 0 0 20 0 15 0 132253254 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140547374550160 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27697] ppid=27689 vsize=13980732 memory=2012 CPUtime=10.61 cores=0,2,4,6
/proc/27691/task/27697/stat : 27697 (java) R 27689 27689 4674 0 -1 4202560 49316 0 0 0 1059 2 0 0 20 0 15 0 132253255 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546643526096 140547436663675 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27698] ppid=27689 vsize=13980732 memory=11056 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27698/stat : 27698 (java) S 27689 27689 4674 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 132253255 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546642473952 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27699] ppid=27689 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27699/stat : 27699 (java) S 27689 27689 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 132253256 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546641421312 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27700] ppid=27689 vsize=13980732 memory=5712 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27700/stat : 27700 (java) S 27689 27689 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132253258 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546640369872 140547458312091 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27701] ppid=27689 vsize=13980732 memory=796 CPUtime=1.4 cores=0,2,4,6
/proc/27691/task/27701/stat : 27701 (java) S 27689 27689 4674 0 -1 1077944384 6085 0 0 0 139 1 0 0 20 0 15 0 132253258 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546639317488 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27702] ppid=27689 vsize=13980732 memory=984 CPUtime=1.38 cores=0,2,4,6
/proc/27691/task/27702/stat : 27702 (java) S 27689 27689 4674 0 -1 1077944384 5594 0 0 0 138 0 0 0 20 0 15 0 132253258 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546638264944 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27703] ppid=27689 vsize=13980732 memory=1728 CPUtime=0.54 cores=0,2,4,6
/proc/27691/task/27703/stat : 27703 (java) S 27689 27689 4674 0 -1 1077944384 4164 0 0 0 53 1 0 0 20 0 15 0 132253258 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546637212400 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27704] ppid=27689 vsize=13980732 memory=4572 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27704/stat : 27704 (java) S 27689 27689 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 132253258 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546636160096 140547458303701 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
[pid=27691/tid=27705] ppid=27689 vsize=13980732 memory=1444 CPUtime=0.15 cores=0,2,4,6
/proc/27691/task/27705/stat : 27705 (java) S 27689 27689 4674 0 -1 1077944384 451 0 0 0 6 9 0 0 20 0 15 0 132253263 14316269568 2861145 18446744073709551615 4194304 4196468 140729704599712 140546635106608 140547458304642 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 7725056 140729704604081 140729704604257 140729704604257 140729704607695 0
Current children cumulated CPU time: 587.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11445960 KiB
Child status: 1
Real time (s): 236.101
CPU time (s): 587.265
CPU user time (s): 577.647
CPU system time (s): 9.61862
CPU usage (%): 248.735
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 11445960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 577.647
system time used= 9.61862
maximum resident set size= 11444864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333641
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10569
involuntary context switches= 5585
# summary of solver processes directly reported to runsolver:
# pid: 27689
# total CPU time (s): 587.265
# total CPU user time (s): 577.647
# total CPU system time (s): 9.61862
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.51632 second user time and 2.39714 second system time
The end