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 (15411 MiB free)
memory of node 1: 16384 MiB (14300 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269993-1502623514/watcher-4269993-1502623514 -o /tmp/evaluation-result-4269993-1502623514/solver-4269993-1502623514 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502619510-21065 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 895561260 HOME/instance-4269993-1502623514.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
solver pid=23749, runsolver pid=23746
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 1.98 1.75 1.73 3/207 23757
/proc/meminfo: memFree=30417796/32770624 swapFree=67108860/67108860
[pid=23749] ppid=23746 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp3-exec) S 23746 23749 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 50692032 9740288 345 18446744073709551615 4194304 5098028 140721540073728 140721540071832 140103201481340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 25698304 140721540075903 140721540076106 140721540076106 140721540079595 0
/proc/23749/statm: 2378 345 289 221 0 87 0
[pid=23751] ppid=23749 vsize=13574484 memory=16864 CPUtime=0.02 cores=0,2,4,6
/proc/23751/stat : 23751 (java) S 23749 23749 11586 0 -1 1077944320 4074 0 0 0 2 0 0 0 20 0 9 0 50692040 13900271616 4216 18446744073709551615 4194304 4196468 140735957369328 140735957351872 140437544763127 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
/proc/23751/statm: 3393621 4216 2083 1 0 3383118 0
[pid=23751/tid=23752] ppid=23749 vsize=13574484 memory=-6871798056524144002 CPUtime=0.02 cores=0,2,4,6
/proc/23751/task/23752/stat : 23752 (java) R 23749 23749 11586 0 -1 4202560 2785 0 0 0 2 0 0 0 20 0 9 0 50692040 13900271616 4216 18446744073709551615 4194304 4196468 140735957369328 140437548999272 140437528843644 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23753] ppid=23749 vsize=13574484 memory=-5738297875903123798 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23753/stat : 23753 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 50692041 13900271616 4216 18446744073709551615 4194304 4196468 140735957369328 140437144815888 140437544773333 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23754] ppid=23749 vsize=13574484 memory=140206954321536 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23754/stat : 23754 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 50692041 13900271616 4216 18446744073709551615 4194304 4196468 140735957369328 140437143763344 140437544773333 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23755] ppid=23749 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23755/stat : 23755 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 50692041 13900271616 4282 18446744073709551615 4194304 4196468 140735957369328 140437142710800 140437544773333 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23756] ppid=23749 vsize=13574484 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23756/stat : 23756 (java) S 23749 23749 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 50692041 13900271616 4282 18446744073709551615 4194304 4196468 140735957369328 140437141658256 140437544773333 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23757] ppid=23749 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23757/stat : 23757 (java) S 23749 23749 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 50692042 13900271616 4282 18446744073709551615 4194304 4196468 140735957369328 140437023238640 140437544774274 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23758] ppid=23749 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23758/stat : 23758 (java) S 23749 23749 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 50692042 13900271616 4282 18446744073709551615 4194304 4196468 140735957369328 140437022184864 140437544773333 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23759] ppid=23749 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23759/stat : 23759 (java) S 23749 23749 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 50692043 13900271616 4282 18446744073709551615 4194304 4196468 140735957369328 140437021132336 140437544773333 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18244 KiB
[startup+0.21035 s]*
/proc/loadavg: 1.98 1.75 1.73 2/214 23764
/proc/meminfo: memFree=30413412/32770624 swapFree=67108860/67108860
[pid=23749] ppid=23746 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp3-exec) S 23746 23749 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 50692032 9740288 345 18446744073709551615 4194304 5098028 140721540073728 140721540071832 140103201481340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 25698304 140721540075903 140721540076106 140721540076106 140721540079595 0
/proc/23749/statm: 2378 345 289 221 0 87 0
[pid=23751] ppid=23749 vsize=13907304 memory=22308 CPUtime=0.06 cores=0,2,4,6
/proc/23751/stat : 23751 (java) S 23749 23749 11586 0 -1 1077944320 4961 0 0 0 5 1 0 0 20 0 14 0 50692040 14241079296 5577 18446744073709551615 4194304 4196468 140735957369328 140735957351872 140437544763127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
/proc/23751/statm: 3476826 5577 2577 1 0 3466323 0
[pid=23751/tid=23752] ppid=23749 vsize=13907304 memory=8390339637985935414 CPUtime=0.04 cores=0,2,4,6
/proc/23751/task/23752/stat : 23752 (java) D 23749 23749 11586 0 -1 4202560 3138 0 0 0 4 0 0 0 20 0 14 0 50692040 14241079296 5577 18446744073709551615 4194304 4196468 140735957369328 140437549000608 140437544785149 0 4 1 16800974 18446744071580418449 0 0 -1 6 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23753] ppid=23749 vsize=13907304 memory=288230596118054247 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23753/stat : 23753 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 50692041 14241079296 5577 18446744073709551615 4194304 4196468 140735957369328 140437144815888 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23754] ppid=23749 vsize=13907304 memory=3906502921595459232 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23754/stat : 23754 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 50692041 14241079296 5577 18446744073709551615 4194304 4196468 140735957369328 140437143763344 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23755] ppid=23749 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23755/stat : 23755 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 50692041 14241079296 5577 18446744073709551615 4194304 4196468 140735957369328 140437142710800 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23756] ppid=23749 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23756/stat : 23756 (java) S 23749 23749 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 50692041 14241079296 5577 18446744073709551615 4194304 4196468 140735957369328 140437141658256 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23757] ppid=23749 vsize=13907304 memory=140206954321536 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23757/stat : 23757 (java) S 23749 23749 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 50692042 14241079296 5577 18446744073709551615 4194304 4196468 140735957369328 140437023238640 140437544774274 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23758] ppid=23749 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23758/stat : 23758 (java) S 23749 23749 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 50692042 14241079296 5577 18446744073709551615 4194304 4196468 140735957369328 140437022184864 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23759] ppid=23749 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23759/stat : 23759 (java) S 23749 23749 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 50692043 14241079296 5577 18446744073709551615 4194304 4196468 140735957369328 140437021132272 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23760] ppid=23749 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23760/stat : 23760 (java) S 23749 23749 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 50692045 14241079296 5577 18446744073709551615 4194304 4196468 140735957369328 140437020080848 140437544781723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23761] ppid=23749 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23761/stat : 23761 (java) S 23749 23749 11586 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 14 0 50692045 14241079296 5577 18446744073709551615 4194304 4196468 140735957369328 140437019027440 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23762] ppid=23749 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23762/stat : 23762 (java) S 23749 23749 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 50692045 14241079296 5577 18446744073709551615 4194304 4196468 140735957369328 140437017974896 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23763] ppid=23749 vsize=13907304 memory=140206954321536 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23763/stat : 23763 (java) S 23749 23749 11586 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 14 0 50692045 14241079296 5577 18446744073709551615 4194304 4196468 140735957369328 140437016922352 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23764] ppid=23749 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23764/stat : 23764 (java) S 23749 23749 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 50692045 14241079296 5577 18446744073709551615 4194304 4196468 140735957369328 140437015870048 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23688 KiB
[startup+0.310247 s]*
/proc/loadavg: 1.98 1.75 1.73 4/215 23765
/proc/meminfo: memFree=30404648/32770624 swapFree=67108860/67108860
[pid=23749] ppid=23746 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp3-exec) S 23746 23749 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 50692032 9740288 345 18446744073709551615 4194304 5098028 140721540073728 140721540071832 140103201481340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 25698304 140721540075903 140721540076106 140721540076106 140721540079595 0
/proc/23749/statm: 2378 345 289 221 0 87 0
[pid=23751] ppid=23749 vsize=13975376 memory=35080 CPUtime=0.23 cores=0,2,4,6
/proc/23751/stat : 23751 (java) S 23749 23749 11586 0 -1 1077944320 8359 0 0 0 21 2 0 0 20 0 15 0 50692040 14310785024 8770 18446744073709551615 4194304 4196468 140735957369328 140735957351872 140437544763127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
/proc/23751/statm: 3493844 8770 2977 1 0 3483220 0
[pid=23751/tid=23752] ppid=23749 vsize=13975376 memory=-8774313645642428999 CPUtime=0.14 cores=0,2,4,6
/proc/23751/task/23752/stat : 23752 (java) R 23749 23749 11586 0 -1 4202560 5735 0 0 0 13 1 0 0 20 0 15 0 50692040 14310785024 8902 18446744073709551615 4194304 4196468 140735957369328 140437548985504 140437537442845 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23753] ppid=23749 vsize=13975376 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23753/stat : 23753 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692041 14310785024 8902 18446744073709551615 4194304 4196468 140735957369328 140437144815888 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23754] ppid=23749 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23754/stat : 23754 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692041 14310785024 8902 18446744073709551615 4194304 4196468 140735957369328 140437143763344 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23755] ppid=23749 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23755/stat : 23755 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692041 14310785024 8902 18446744073709551615 4194304 4196468 140735957369328 140437142710800 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23756] ppid=23749 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23756/stat : 23756 (java) S 23749 23749 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50692041 14310785024 8902 18446744073709551615 4194304 4196468 140735957369328 140437141658256 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23757] ppid=23749 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23757/stat : 23757 (java) S 23749 23749 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50692042 14310785024 8902 18446744073709551615 4194304 4196468 140735957369328 140437023238640 140437544774274 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23758] ppid=23749 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23758/stat : 23758 (java) S 23749 23749 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50692042 14310785024 8902 18446744073709551615 4194304 4196468 140735957369328 140437022184864 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23759] ppid=23749 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23759/stat : 23759 (java) S 23749 23749 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50692043 14310785024 8902 18446744073709551615 4194304 4196468 140735957369328 140437021132272 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23760] ppid=23749 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23760/stat : 23760 (java) S 23749 23749 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50692045 14310785024 8902 18446744073709551615 4194304 4196468 140735957369328 140437020080848 140437544781723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23761] ppid=23749 vsize=13975376 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23751/task/23761/stat : 23761 (java) S 23749 23749 11586 0 -1 1077944384 691 0 0 0 1 0 0 0 20 0 15 0 50692045 14310785024 8902 18446744073709551615 4194304 4196468 140735957369328 140437019027440 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23762] ppid=23749 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23762/stat : 23762 (java) S 23749 23749 11586 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 50692045 14310785024 8902 18446744073709551615 4194304 4196468 140735957369328 140437017974896 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23763] ppid=23749 vsize=13975376 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/23751/task/23763/stat : 23763 (java) S 23749 23749 11586 0 -1 1077944384 686 0 0 0 5 0 0 0 20 0 15 0 50692045 14310785024 8902 18446744073709551615 4194304 4196468 140735957369328 140437016922352 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23764] ppid=23749 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23764/stat : 23764 (java) S 23749 23749 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50692045 14310785024 8902 18446744073709551615 4194304 4196468 140735957369328 140437015870048 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23765] ppid=23749 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23765/stat : 23765 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692054 14310785024 8902 18446744073709551615 4194304 4196468 140735957369328 140437014817584 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 36460 KiB
[startup+0.700815 s]
/proc/loadavg: 1.98 1.75 1.73 6/215 23765
/proc/meminfo: memFree=30389748/32770624 swapFree=67108860/67108860
[pid=23749] ppid=23746 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp3-exec) S 23746 23749 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 50692032 9740288 345 18446744073709551615 4194304 5098028 140721540073728 140721540071832 140103201481340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 25698304 140721540075903 140721540076106 140721540076106 140721540079595 0
/proc/23749/statm: 2378 345 289 221 0 87 0
[pid=23751] ppid=23749 vsize=13980732 memory=61228 CPUtime=1.08 cores=0,2,4,6
/proc/23751/stat : 23751 (java) S 23749 23749 11586 0 -1 1077944320 12409 0 0 0 104 4 0 0 20 0 15 0 50692040 14316269568 15307 18446744073709551615 4194304 4196468 140735957369328 140735957351872 140437544763127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
/proc/23751/statm: 3495183 15307 3173 1 0 3483476 0
[pid=23751/tid=23752] ppid=23749 vsize=13980732 memory=1232 CPUtime=0.52 cores=0,2,4,6
/proc/23751/task/23752/stat : 23752 (java) R 23749 23749 11586 0 -1 4202560 8541 0 0 0 49 3 0 0 20 0 15 0 50692040 14316269568 15307 18446744073709551615 4194304 4196468 140735957369328 140437548999984 140437189549375 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23753] ppid=23749 vsize=13980732 memory=8896 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23753/stat : 23753 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 15307 18446744073709551615 4194304 4196468 140735957369328 140437144815888 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23754] ppid=23749 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23754/stat : 23754 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 15307 18446744073709551615 4194304 4196468 140735957369328 140437143763344 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23755] ppid=23749 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23755/stat : 23755 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 15307 18446744073709551615 4194304 4196468 140735957369328 140437142710800 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23756] ppid=23749 vsize=13980732 memory=16484084485400 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23756/stat : 23756 (java) S 23749 23749 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 15307 18446744073709551615 4194304 4196468 140735957369328 140437141658256 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23757] ppid=23749 vsize=13980732 memory=302867294839899461 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23757/stat : 23757 (java) S 23749 23749 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50692042 14316269568 15307 18446744073709551615 4194304 4196468 140735957369328 140437023238640 140437544774274 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23758] ppid=23749 vsize=13980732 memory=14127844787770770 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23758/stat : 23758 (java) S 23749 23749 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50692042 14316269568 15307 18446744073709551615 4194304 4196468 140735957369328 140437022184864 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23759] ppid=23749 vsize=13980732 memory=5937542462437811796 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23759/stat : 23759 (java) S 23749 23749 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50692043 14316269568 15307 18446744073709551615 4194304 4196468 140735957369328 140437021132272 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23760] ppid=23749 vsize=13980732 memory=5792283800137133911 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23760/stat : 23760 (java) S 23749 23749 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50692045 14316269568 15307 18446744073709551615 4194304 4196468 140735957369328 140437020080848 140437544781723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23761] ppid=23749 vsize=13980732 memory=7445945865171461987 CPUtime=0.16 cores=0,2,4,6
/proc/23751/task/23761/stat : 23761 (java) R 23749 23749 11586 0 -1 4202560 1065 0 0 0 16 0 0 0 20 0 15 0 50692045 14316269568 15307 18446744073709551615 4194304 4196468 140735957369328 140437019027440 140437529150728 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23762] ppid=23749 vsize=13980732 memory=7230638415855315031 CPUtime=0.13 cores=0,2,4,6
/proc/23751/task/23762/stat : 23762 (java) S 23749 23749 11586 0 -1 1077944384 410 0 0 0 13 0 0 0 20 0 15 0 50692045 14316269568 15307 18446744073709551615 4194304 4196468 140735957369328 140437017974896 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23763] ppid=23749 vsize=13980732 memory=7230638415855315031 CPUtime=0.24 cores=0,2,4,6
/proc/23751/task/23763/stat : 23763 (java) S 23749 23749 11586 0 -1 1077944384 1086 0 0 0 24 0 0 0 20 0 15 0 50692045 14316269568 15307 18446744073709551615 4194304 4196468 140735957369328 140437016922352 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23764] ppid=23749 vsize=13980732 memory=7230638415855315031 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23764/stat : 23764 (java) S 23749 23749 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50692045 14316269568 15307 18446744073709551615 4194304 4196468 140735957369328 140437015870048 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23765] ppid=23749 vsize=13980732 memory=7230638415855315287 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23765/stat : 23765 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692054 14316269568 15307 18446744073709551615 4194304 4196468 140735957369328 140437014817584 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 62608 KiB
[startup+1.50085 s]
/proc/loadavg: 1.98 1.75 1.73 3/215 23765
/proc/meminfo: memFree=30373432/32770624 swapFree=67108860/67108860
[pid=23749] ppid=23746 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp3-exec) S 23746 23749 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 50692032 9740288 345 18446744073709551615 4194304 5098028 140721540073728 140721540071832 140103201481340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 25698304 140721540075903 140721540076106 140721540076106 140721540079595 0
/proc/23749/statm: 2378 345 289 221 0 87 0
[pid=23751] ppid=23749 vsize=13980732 memory=75604 CPUtime=2.65 cores=0,2,4,6
/proc/23751/stat : 23751 (java) S 23749 23749 11586 0 -1 1077944320 18049 0 0 0 260 5 0 0 20 0 15 0 50692040 14316269568 18901 18446744073709551615 4194304 4196468 140735957369328 140735957351872 140437544763127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
/proc/23751/statm: 3495183 18901 3181 1 0 3483476 0
[pid=23751/tid=23752] ppid=23749 vsize=13980732 memory=4577 CPUtime=1.32 cores=0,2,4,6
/proc/23751/task/23752/stat : 23752 (java) R 23749 23749 11586 0 -1 4202560 9084 0 0 0 129 3 0 0 20 0 15 0 50692040 14316269568 18901 18446744073709551615 4194304 4196468 140735957369328 140437548999128 140437189657907 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23753] ppid=23749 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23753/stat : 23753 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 18901 18446744073709551615 4194304 4196468 140735957369328 140437144815888 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23754] ppid=23749 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23754/stat : 23754 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 18901 18446744073709551615 4194304 4196468 140735957369328 140437143763344 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23755] ppid=23749 vsize=13980732 memory=67068 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23755/stat : 23755 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 18901 18446744073709551615 4194304 4196468 140735957369328 140437142710800 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23756] ppid=23749 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23756/stat : 23756 (java) S 23749 23749 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 18901 18446744073709551615 4194304 4196468 140735957369328 140437141658256 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23757] ppid=23749 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=23751/tid=23757] ppid=23749 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23757/stat : 23757 (java) S 23749 23749 11586 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 50692042 14316269568 25753 18446744073709551615 4194304 4196468 140735957369328 140437023238640 140437544774274 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23758] ppid=23749 vsize=13980732 memory=100964 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23758/stat : 23758 (java) S 23749 23749 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50692042 14316269568 25753 18446744073709551615 4194304 4196468 140735957369328 140437022184864 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23759] ppid=23749 vsize=13980732 memory=100964 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23759/stat : 23759 (java) S 23749 23749 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50692043 14316269568 25753 18446744073709551615 4194304 4196468 140735957369328 140437021132272 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23760] ppid=23749 vsize=13980732 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23760/stat : 23760 (java) S 23749 23749 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50692045 14316269568 25753 18446744073709551615 4194304 4196468 140735957369328 140437020080848 140437544781723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23761] ppid=23749 vsize=13980732 memory=28992 CPUtime=1.47 cores=0,2,4,6
/proc/23751/task/23761/stat : 23761 (java) S 23749 23749 11586 0 -1 1077944384 10800 0 0 0 147 0 0 0 20 0 15 0 50692045 14316269568 25753 18446744073709551615 4194304 4196468 140735957369328 140437019027440 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23762] ppid=23749 vsize=13980732 memory=2384 CPUtime=1.89 cores=0,2,4,6
/proc/23751/task/23762/stat : 23762 (java) S 23749 23749 11586 0 -1 1077944384 8853 0 0 0 188 1 0 0 20 0 15 0 50692045 14316269568 25753 18446744073709551615 4194304 4196468 140735957369328 140437017974896 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23763] ppid=23749 vsize=13980732 memory=4120 CPUtime=0.39 cores=0,2,4,6
/proc/23751/task/23763/stat : 23763 (java) S 23749 23749 11586 0 -1 1077944384 3377 0 0 0 38 1 0 0 20 0 15 0 50692045 14316269568 25753 18446744073709551615 4194304 4196468 140735957369328 140437016922352 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23764] ppid=23749 vsize=13980732 memory=28992 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23764/stat : 23764 (java) S 23749 23749 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50692045 14316269568 25753 18446744073709551615 4194304 4196468 140735957369328 140437015870048 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23765] ppid=23749 vsize=13980732 memory=2384 CPUtime=0.03 cores=0,2,4,6
/proc/23751/task/23765/stat : 23765 (java) S 23749 23749 11586 0 -1 1077944384 713 0 0 0 1 2 0 0 20 0 15 0 50692054 14316269568 25753 18446744073709551615 4194304 4196468 140735957369328 140437014817584 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
Current children cumulated CPU time: 105.93 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 104392 KiB
[startup+162.301 s]
/proc/loadavg: 2.09 1.96 1.82 3/212 23848
/proc/meminfo: memFree=31564300/32770624 swapFree=67108860/67108860
[pid=23749] ppid=23746 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp3-exec) S 23746 23749 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 50692032 9740288 345 18446744073709551615 4194304 5098028 140721540073728 140721540071832 140103201481340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 25698304 140721540075903 140721540076106 140721540076106 140721540079595 0
/proc/23749/statm: 2378 345 289 221 0 87 0
[pid=23751] ppid=23749 vsize=13980732 memory=137584 CPUtime=166.1 cores=0,2,4,6
/proc/23751/stat : 23751 (java) S 23749 23749 11586 0 -1 1077944320 40137 0 0 0 16601 9 0 0 20 0 15 0 50692040 14316269568 34396 18446744073709551615 4194304 4196468 140735957369328 140735957351872 140437544763127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
/proc/23751/statm: 3495183 34396 3201 1 0 3483476 0
[pid=23751/tid=23752] ppid=23749 vsize=13980732 memory=137584 CPUtime=162.11 cores=0,2,4,6
/proc/23751/task/23752/stat : 23752 (java) R 23749 23749 11586 0 -1 4202560 13023 0 0 0 16208 3 0 0 20 0 15 0 50692040 14316269568 34396 18446744073709551615 4194304 4196468 140735957369328 140437549000520 140437189520122 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23753] ppid=23749 vsize=13980732 memory=137584 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23753/stat : 23753 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 34396 18446744073709551615 4194304 4196468 140735957369328 140437144815888 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23754] ppid=23749 vsize=13980732 memory=137584 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23754/stat : 23754 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 34396 18446744073709551615 4194304 4196468 140735957369328 140437143763344 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23755] ppid=23749 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23755/stat : 23755 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 34396 18446744073709551615 4194304 4196468 140735957369328 140437142710800 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23756] ppid=23749 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23756/stat : 23756 (java) S 23749 23749 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 34396 18446744073709551615 4194304 4196468 140735957369328 140437141658256 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23757] ppid=23749 vsize=13980732 memory=111696 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23757/stat : 23757 (java) S 23749 23749 11586 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 15 0 50692042 14316269568 34396 18446744073709551615 4194304 4196468 140735957369328 140437023238640 140437544774274 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23758] ppid=23749 vsize=13980732 memory=127904 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23758/stat : 23758 (java) S 23749 23749 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50692042 14316269568 34396 18446744073709551615 4194304 4196468 140735957369328 140437022184864 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23759] ppid=23749 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23759/stat : 23759 (java) S 23749 23749 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50692043 14316269568 34396 18446744073709551615 4194304 4196468 140735957369328 140437021132272 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23760] ppid=23749 vsize=13980732 memory=111712 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23760/stat : 23760 (java) S 23749 23749 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50692045 14316269568 34396 18446744073709551615 4194304 4196468 140735957369328 140437020080848 140437544781723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23761] ppid=23749 vsize=13980732 memory=280413583725440 CPUtime=1.55 cores=0,2,4,6
/proc/23751/task/23761/stat : 23761 (java) S 23749 23749 11586 0 -1 1077944384 11397 0 0 0 155 0 0 0 20 0 15 0 50692045 14316269568 34396 18446744073709551615 4194304 4196468 140735957369328 140437019027440 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23762] ppid=23749 vsize=13980732 memory=137584 CPUtime=1.94 cores=0,2,4,6
/proc/23751/task/23762/stat : 23762 (java) S 23749 23749 11586 0 -1 1077944384 9068 0 0 0 193 1 0 0 20 0 15 0 50692045 14316269568 34396 18446744073709551615 4194304 4196468 140735957369328 140437017974896 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23763] ppid=23749 vsize=13980732 memory=1380 CPUtime=0.4 cores=0,2,4,6
/proc/23751/task/23763/stat : 23763 (java) S 23749 23749 11586 0 -1 1077944384 4137 0 0 0 39 1 0 0 20 0 15 0 50692045 14316269568 34396 18446744073709551615 4194304 4196468 140735957369328 140437016922352 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23764] ppid=23749 vsize=13980732 memory=137584 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23764/stat : 23764 (java) S 23749 23749 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50692045 14316269568 34396 18446744073709551615 4194304 4196468 140735957369328 140437015870048 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23765] ppid=23749 vsize=13980732 memory=1380 CPUtime=0.04 cores=0,2,4,6
/proc/23751/task/23765/stat : 23765 (java) S 23749 23749 11586 0 -1 1077944384 777 0 0 0 1 3 0 0 20 0 15 0 50692054 14316269568 34396 18446744073709551615 4194304 4196468 140735957369328 140437014817584 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
Current children cumulated CPU time: 166.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 138964 KiB
[startup+222.301 s]
/proc/loadavg: 2.03 1.97 1.83 3/212 23850
/proc/meminfo: memFree=31541468/32770624 swapFree=67108860/67108860
[pid=23749] ppid=23746 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp3-exec) S 23746 23749 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 50692032 9740288 345 18446744073709551615 4194304 5098028 140721540073728 140721540071832 140103201481340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 25698304 140721540075903 140721540076106 140721540076106 140721540079595 0
/proc/23749/statm: 2378 345 289 221 0 87 0
[pid=23751] ppid=23749 vsize=13980732 memory=149892 CPUtime=226.14 cores=0,2,4,6
/proc/23751/stat : 23751 (java) S 23749 23749 11586 0 -1 1077944320 40874 0 0 0 22604 10 0 0 20 0 15 0 50692040 14316269568 37473 18446744073709551615 4194304 4196468 140735957369328 140735957351872 140437544763127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
/proc/23751/statm: 3495183 37473 3201 1 0 3483476 0
[pid=23751/tid=23752] ppid=23749 vsize=13980732 memory=1380 CPUtime=222.12 cores=0,2,4,6
/proc/23751/task/23752/stat : 23752 (java) R 23749 23749 11586 0 -1 4202560 13389 0 0 0 22208 4 0 0 20 0 15 0 50692040 14316269568 37473 18446744073709551615 4194304 4196468 140735957369328 140437548999424 140437189793850 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23753] ppid=23749 vsize=13980732 memory=149892 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23753/stat : 23753 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 37473 18446744073709551615 4194304 4196468 140735957369328 140437144815888 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23754] ppid=23749 vsize=13980732 memory=145796 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23754/stat : 23754 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 37473 18446744073709551615 4194304 4196468 140735957369328 140437143763344 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23755] ppid=23749 vsize=13980732 memory=147844 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23755/stat : 23755 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 37473 18446744073709551615 4194304 4196468 140735957369328 140437142710800 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23756] ppid=23749 vsize=13980732 memory=149892 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23756/stat : 23756 (java) S 23749 23749 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 37473 18446744073709551615 4194304 4196468 140735957369328 140437141658256 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23757] ppid=23749 vsize=13980732 memory=149892 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23757/stat : 23757 (java) S 23749 23749 11586 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 15 0 50692042 14316269568 37473 18446744073709551615 4194304 4196468 140735957369328 140437023238640 140437544774274 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23758] ppid=23749 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23758/stat : 23758 (java) S 23749 23749 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50692042 14316269568 37473 18446744073709551615 4194304 4196468 140735957369328 140437022184864 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23759] ppid=23749 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23759/stat : 23759 (java) S 23749 23749 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50692043 14316269568 37473 18446744073709551615 4194304 4196468 140735957369328 140437021132272 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23760] ppid=23749 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23760/stat : 23760 (java) S 23749 23749 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50692045 14316269568 37473 18446744073709551615 4194304 4196468 140735957369328 140437020080848 140437544781723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23761] ppid=23749 vsize=13980732 memory=644 CPUtime=1.56 cores=0,2,4,6
/proc/23751/task/23761/stat : 23761 (java) S 23749 23749 11586 0 -1 1077944384 11426 0 0 0 156 0 0 0 20 0 15 0 50692045 14316269568 37473 18446744073709551615 4194304 4196468 140735957369328 140437019027440 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23762] ppid=23749 vsize=13980732 memory=1788 CPUtime=1.95 cores=0,2,4,6
/proc/23751/task/23762/stat : 23762 (java) S 23749 23749 11586 0 -1 1077944384 9106 0 0 0 194 1 0 0 20 0 15 0 50692045 14316269568 37473 18446744073709551615 4194304 4196468 140735957369328 140437017974896 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23763] ppid=23749 vsize=13980732 memory=2168 CPUtime=0.41 cores=0,2,4,6
/proc/23751/task/23763/stat : 23763 (java) S 23749 23749 11586 0 -1 1077944384 4404 0 0 0 40 1 0 0 20 0 15 0 50692045 14316269568 37473 18446744073709551615 4194304 4196468 140735957369328 140437016922352 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23764] ppid=23749 vsize=13980732 memory=836 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23764/stat : 23764 (java) S 23749 23749 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50692045 14316269568 37473 18446744073709551615 4194304 4196468 140735957369328 140437015870048 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23765] ppid=23749 vsize=13980732 memory=4120 CPUtime=0.06 cores=0,2,4,6
/proc/23751/task/23765/stat : 23765 (java) S 23749 23749 11586 0 -1 1077944384 791 0 0 0 2 4 0 0 20 0 15 0 50692054 14316269568 37473 18446744073709551615 4194304 4196468 140735957369328 140437014817584 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
Current children cumulated CPU time: 226.14 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 151272 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.02 1.97 1.83 3/212 23850
/proc/meminfo: memFree=31535332/32770624 swapFree=67108860/67108860
[pid=23749] ppid=23746 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp3-exec) S 23746 23749 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 50692032 9740288 345 18446744073709551615 4194304 5098028 140721540073728 140721540071832 140103201481340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 25698304 140721540075903 140721540076106 140721540076106 140721540079595 0
/proc/23749/statm: 2378 345 289 221 0 87 0
[pid=23751] ppid=23749 vsize=13980732 memory=154008 CPUtime=243.86 cores=0,2,4,6
/proc/23751/stat : 23751 (java) S 23749 23749 11586 0 -1 1077944320 40977 0 0 0 24376 10 0 0 20 0 15 0 50692040 14316269568 38502 18446744073709551615 4194304 4196468 140735957369328 140735957351872 140437544763127 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
/proc/23751/statm: 3495183 38502 3202 1 0 3483476 0
[pid=23751/tid=23752] ppid=23749 vsize=13980732 memory=-8774313645642428999 CPUtime=239.82 cores=0,2,4,6
/proc/23751/task/23752/stat : 23752 (java) R 23749 23749 11586 0 -1 4202560 13456 0 0 0 23978 4 0 0 20 0 15 0 50692040 14316269568 38502 18446744073709551615 4194304 4196468 140735957369328 140437549000552 140437191320320 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23753] ppid=23749 vsize=13980732 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23753/stat : 23753 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 38502 18446744073709551615 4194304 4196468 140735957369328 140437144815888 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23754] ppid=23749 vsize=13980732 memory=3072 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23754/stat : 23754 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 38502 18446744073709551615 4194304 4196468 140735957369328 140437143763344 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23755] ppid=23749 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23755/stat : 23755 (java) S 23749 23749 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 38502 18446744073709551615 4194304 4196468 140735957369328 140437142710800 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23756] ppid=23749 vsize=13980732 memory=137144 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23756/stat : 23756 (java) S 23749 23749 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50692041 14316269568 38502 18446744073709551615 4194304 4196468 140735957369328 140437141658256 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23757] ppid=23749 vsize=13980732 memory=4284 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23757/stat : 23757 (java) S 23749 23749 11586 0 -1 1077944384 460 0 0 0 0 0 0 0 20 0 15 0 50692042 14316269568 38502 18446744073709551615 4194304 4196468 140735957369328 140437023238640 140437544774274 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23758] ppid=23749 vsize=13980732 memory=928 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23758/stat : 23758 (java) S 23749 23749 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50692042 14316269568 38502 18446744073709551615 4194304 4196468 140735957369328 140437022184864 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23759] ppid=23749 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23759/stat : 23759 (java) S 23749 23749 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50692043 14316269568 38502 18446744073709551615 4194304 4196468 140735957369328 140437021132272 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23760] ppid=23749 vsize=13980732 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23760/stat : 23760 (java) S 23749 23749 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50692045 14316269568 38502 18446744073709551615 4194304 4196468 140735957369328 140437020080848 140437544781723 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23761] ppid=23749 vsize=13980732 memory=2168 CPUtime=1.56 cores=0,2,4,6
/proc/23751/task/23761/stat : 23761 (java) S 23749 23749 11586 0 -1 1077944384 11440 0 0 0 156 0 0 0 20 0 15 0 50692045 14316269568 38502 18446744073709551615 4194304 4196468 140735957369328 140437019027440 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23762] ppid=23749 vsize=13980732 memory=836 CPUtime=1.95 cores=0,2,4,6
/proc/23751/task/23762/stat : 23762 (java) S 23749 23749 11586 0 -1 1077944384 9111 0 0 0 194 1 0 0 20 0 15 0 50692045 14316269568 38502 18446744073709551615 4194304 4196468 140735957369328 140437017974896 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23763] ppid=23749 vsize=13980732 memory=3908 CPUtime=0.41 cores=0,2,4,6
/proc/23751/task/23763/stat : 23763 (java) S 23749 23749 11586 0 -1 1077944384 4405 0 0 0 40 1 0 0 20 0 15 0 50692045 14316269568 38502 18446744073709551615 4194304 4196468 140735957369328 140437016922352 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23764] ppid=23749 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23751/task/23764/stat : 23764 (java) S 23749 23749 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50692045 14316269568 38502 18446744073709551615 4194304 4196468 140735957369328 140437015870048 140437544773333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
[pid=23751/tid=23765] ppid=23749 vsize=13980732 memory=4120 CPUtime=0.07 cores=0,2,4,6
/proc/23751/task/23765/stat : 23765 (java) S 23749 23749 11586 0 -1 1077944384 804 0 0 0 3 4 0 0 20 0 15 0 50692054 14316269568 38502 18446744073709551615 4194304 4196468 140735957369328 140437014817584 140437544774274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36179968 140735957377463 140735957377638 140735957377638 140735957381071 0
Current children cumulated CPU time: 243.86 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 155388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 23749 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.779 s, system=0.109062 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.02
CPU time (s): 243.888
CPU user time (s): 243.779
CPU system time (s): 0.109062
CPU usage (%): 101.611
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 155388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.779
system time used= 0.109062
maximum resident set size= 160708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41833
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7595
involuntary context switches= 251
# summary of solver processes directly reported to runsolver:
# pid: 23749
# total CPU time (s): 243.888
# total CPU user time (s): 243.779
# total CPU system time (s): 0.109062
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.27603 second user time and 2.24637 second system time
The end