2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
R1: choco-solver 4.0.5 (2017-07-05)	UNSAT	288.493	36.8379

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247290-1500689700/watcher-4247290-1500689700 -o /tmp/evaluation-result-4247290-1500689700/solver-4247290-1500689700 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 125663957 HOME/instance-4247290-1500689700.xml 

pid=7841
running on 8 cores: 0-3,8-11

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 16.10 13.02 11.00 10/277 7844
/proc/meminfo: memFree=31574868/32770624 swapFree=5944/251064
[pid=7844] ppid=7841 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7844/stat : 7844 (xcsp3-exec) S 7841 7844 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4237155 9740288 345 33554432000 4194304 5098028 140726203575680 140726203573784 140024331100796 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15106048 140726203577487 140726203577696 140726203577696 140726203580395 0
/proc/7844/statm: 2378 345 289 221 0 87 0

[startup+0.100072 s]
/proc/loadavg: 16.10 13.02 11.00 10/277 7844
/proc/meminfo: memFree=31574868/32770624 swapFree=5944/251064
[pid=7844] ppid=7841 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7844/stat : 7844 (xcsp3-exec) S 7841 7844 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4237155 9740288 345 33554432000 4194304 5098028 140726203575680 140726203573784 140024331100796 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15106048 140726203577487 140726203577696 140726203577696 140726203580395 0
/proc/7844/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.20033 s]
/proc/loadavg: 16.10 13.02 11.00 10/277 7844
/proc/meminfo: memFree=31574868/32770624 swapFree=5944/251064
[pid=7844] ppid=7841 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7844/stat : 7844 (xcsp3-exec) S 7841 7844 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4237155 9740288 345 33554432000 4194304 5098028 140726203575680 140726203573784 140024331100796 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15106048 140726203577487 140726203577696 140726203577696 140726203580395 0
/proc/7844/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300349 s]
/proc/loadavg: 16.10 13.02 11.00 10/277 7844
/proc/meminfo: memFree=31574868/32770624 swapFree=5944/251064
[pid=7844] ppid=7841 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7844/stat : 7844 (xcsp3-exec) S 7841 7844 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4237155 9740288 345 33554432000 4194304 5098028 140726203575680 140726203573784 140024331100796 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15106048 140726203577487 140726203577696 140726203577696 140726203580395 0
/proc/7844/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700182 s]
/proc/loadavg: 16.10 13.02 11.00 10/277 7844
/proc/meminfo: memFree=31574868/32770624 swapFree=5944/251064
[pid=7844] ppid=7841 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7844/stat : 7844 (xcsp3-exec) S 7841 7844 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4237155 9740288 345 33554432000 4194304 5098028 140726203575680 140726203573784 140024331100796 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15106048 140726203577487 140726203577696 140726203577696 140726203580395 0
/proc/7844/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50148 s]
/proc/loadavg: 16.10 13.02 11.00 13/273 7927
/proc/meminfo: memFree=31746544/32770624 swapFree=5944/251096
[pid=7844] ppid=7841 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7844/stat : 7844 (xcsp3-exec) S 7841 7844 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4237155 9740288 345 33554432000 4194304 5098028 140726203575680 140726203573784 140024331100796 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15106048 140726203577487 140726203577696 140726203577696 140726203580395 0
/proc/7844/statm: 2378 345 289 221 0 87 0
[pid=7845] ppid=7844 vsize=13801768 CPUtime=7.78 cores=0-3,8-11
/proc/7845/stat : 7845 (java) S 7844 7844 18810 0 -1 1077944320 14521 0 0 0 770 8 0 0 20 0 28 0 4237155 14133010432 29733 33554432000 4194304 4196468 140732822742720 140732822725264 140655449841399 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
/proc/7845/statm: 3450442 29733 3229 1 0 3437675 0
[pid=7845/tid=7846] ppid=7844 vsize=13801768 CPUtime=0.68 cores=0-3,8-11
/proc/7845/task/7846/stat : 7846 (java) S 7844 7844 18810 0 -1 1077944384 6376 0 0 0 65 3 0 0 20 0 28 0 4237156 14133010432 29733 33554432000 4194304 4196468 140732822742720 140655454082176 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7848] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7848/stat : 7848 (java) S 7844 7844 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4237157 14133010432 29733 33554432000 4194304 4196468 140732822742720 140655048641040 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7849] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7849/stat : 7849 (java) S 7844 7844 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237157 14133010432 29733 33554432000 4194304 4196468 140732822742720 140655047588496 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7850] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7850/stat : 7850 (java) S 7844 7844 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237157 14133010432 29733 33554432000 4194304 4196468 140732822742720 140655046535440 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7851] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7851/stat : 7851 (java) S 7844 7844 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237157 14133010432 29733 33554432000 4194304 4196468 140732822742720 140655045482896 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7852] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7852/stat : 7852 (java) S 7844 7844 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237157 14133010432 29733 33554432000 4194304 4196468 140732822742720 140655044430864 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7853] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7853/stat : 7853 (java) S 7844 7844 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237157 14133010432 29733 33554432000 4194304 4196468 140732822742720 140655043378320 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7854] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7854/stat : 7854 (java) S 7844 7844 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237157 14133010432 29733 33554432000 4194304 4196468 140732822742720 140655042325264 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7855] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7855/stat : 7855 (java) S 7844 7844 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4237157 14133010432 29733 33554432000 4194304 4196468 140732822742720 140655041272720 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7856] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7856/stat : 7856 (java) S 7844 7844 18810 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4237159 14133010432 29733 33554432000 4194304 4196468 140732822742720 140654777870576 140655449852546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7857] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7857/stat : 7857 (java) S 7844 7844 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4237160 14133010432 29733 33554432000 4194304 4196468 140732822742720 140654776816800 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7858] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7858/stat : 7858 (java) S 7844 7844 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4237160 14133010432 29733 33554432000 4194304 4196468 140732822742720 140654775763696 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7859] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7859/stat : 7859 (java) S 7844 7844 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237164 14133010432 29733 33554432000 4194304 4196468 140732822742720 140654774712272 140655449859995 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7860] ppid=7844 vsize=13801768 CPUtime=0.82 cores=0-3,8-11
/proc/7845/task/7860/stat : 7860 (java) R 7844 7844 18810 0 -1 4202560 1893 0 0 0 82 0 0 0 20 0 28 0 4237164 14133010432 29733 33554432000 4194304 4196468 140732822742720 140654773646720 140655449855277 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7861] ppid=7844 vsize=13801768 CPUtime=0.78 cores=0-3,8-11
/proc/7845/task/7861/stat : 7861 (java) R 7844 7844 18810 0 -1 4202560 1299 0 0 0 78 0 0 0 20 0 28 0 4237164 14133010432 29733 33554432000 4194304 4196468 140732822742720 140654772594360 140655434949371 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7862] ppid=7844 vsize=13801768 CPUtime=0.84 cores=0-3,8-11
/proc/7845/task/7862/stat : 7862 (java) R 7844 7844 18810 0 -1 4202560 1362 0 0 0 84 0 0 0 20 0 28 0 4237164 14133010432 29733 33554432000 4194304 4196468 140732822742720 140654771545136 140655430541703 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7863] ppid=7844 vsize=13801768 CPUtime=0.65 cores=0-3,8-11
/proc/7845/task/7863/stat : 7863 (java) S 7844 7844 18810 0 -1 1077944384 1910 0 0 0 65 0 0 0 20 0 28 0 4237164 14133010432 29733 33554432000 4194304 4196468 140732822742720 140654770502256 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7864] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7864/stat : 7864 (java) S 7844 7844 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4237165 14133010432 29733 33554432000 4194304 4196468 140732822742720 140654769449440 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7865] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7865/stat : 7865 (java) S 7844 7844 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4237165 14133010432 29733 33554432000 4194304 4196468 140732822742720 140654768396976 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7870] ppid=7844 vsize=13801768 CPUtime=0.51 cores=0-3,8-11
/proc/7845/task/7870/stat : 7870 (java) R 7844 7844 18810 0 -1 4202560 58 0 0 0 51 0 0 0 20 0 28 0 4237227 14133010432 29733 33554432000 4194304 4196468 140732822742720 140654760380080 140655091520564 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7871] ppid=7844 vsize=13801768 CPUtime=0.48 cores=0-3,8-11
/proc/7845/task/7871/stat : 7871 (java) R 7844 7844 18810 0 -1 4202560 54 0 0 0 48 0 0 0 20 0 28 0 4237227 14133010432 29733 33554432000 4194304 4196468 140732822742720 140654759330112 140655091909850 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7872] ppid=7844 vsize=13801768 CPUtime=0.48 cores=0-3,8-11
/proc/7845/task/7872/stat : 7872 (java) R 7844 7844 18810 0 -1 4202560 41 0 0 0 48 0 0 0 20 0 28 0 4237227 14133010432 29733 33554432000 4194304 4196468 140732822742720 140654758277480 140655091521701 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7873] ppid=7844 vsize=13801768 CPUtime=0.48 cores=0-3,8-11
/proc/7845/task/7873/stat : 7873 (java) R 7844 7844 18810 0 -1 4202560 70 0 0 0 48 0 0 0 20 0 28 0 4237227 14133010432 29733 33554432000 4194304 4196468 140732822742720 140654757225592 140655091251027 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7874] ppid=7844 vsize=13801768 CPUtime=0.44 cores=0-3,8-11
/proc/7845/task/7874/stat : 7874 (java) R 7844 7844 18810 0 -1 4202560 43 0 0 0 44 0 0 0 20 0 28 0 4237227 14133010432 29733 33554432000 4194304 4196468 140732822742720 140654756171424 140655087857102 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7875] ppid=7844 vsize=13801768 CPUtime=0.55 cores=0-3,8-11
/proc/7845/task/7875/stat : 7875 (java) R 7844 7844 18810 0 -1 4202560 40 0 0 0 55 0 0 0 20 0 28 0 4237227 14133010432 29733 33554432000 4194304 4196468 140732822742720 140654755120152 140655091816665 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7876] ppid=7844 vsize=13801768 CPUtime=0.51 cores=0-3,8-11
/proc/7845/task/7876/stat : 7876 (java) R 7844 7844 18810 0 -1 4202560 32 0 0 0 51 0 0 0 20 0 28 0 4237227 14133010432 29733 33554432000 4194304 4196468 140732822742720 140654754065984 140655091995279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7877] ppid=7844 vsize=13801768 CPUtime=0.45 cores=0-3,8-11
/proc/7845/task/7877/stat : 7877 (java) R 7844 7844 18810 0 -1 4202560 30 0 0 0 45 0 0 0 20 0 28 0 4237227 14133010432 29733 33554432000 4194304 4196468 140732822742720 140654753013696 140655092265508 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
Current children cumulated CPU time (s) 7.78
Current children cumulated vsize (KiB) 13811280

[startup+3.1016 s]
/proc/loadavg: 15.85 13.02 11.01 23/305 7967
/proc/meminfo: memFree=31646016/32770624 swapFree=5944/251136
[pid=7844] ppid=7841 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7844/stat : 7844 (xcsp3-exec) S 7841 7844 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4237155 9740288 345 33554432000 4194304 5098028 140726203575680 140726203573784 140024331100796 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15106048 140726203577487 140726203577696 140726203577696 140726203580395 0
/proc/7844/statm: 2378 345 289 221 0 87 0
[pid=7845] ppid=7844 vsize=13801768 CPUtime=20.52 cores=0-3,8-11
/proc/7845/stat : 7845 (java) S 7844 7844 18810 0 -1 1077944320 20081 0 0 0 2042 10 0 0 20 0 28 0 4237155 14133010432 34832 33554432000 4194304 4196468 140732822742720 140732822725264 140655449841399 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
/proc/7845/statm: 3450442 34832 3234 1 0 3437675 0
[pid=7845/tid=7846] ppid=7844 vsize=13801768 CPUtime=0.68 cores=0-3,8-11
/proc/7845/task/7846/stat : 7846 (java) S 7844 7844 18810 0 -1 1077944384 6376 0 0 0 65 3 0 0 20 0 28 0 4237156 14133010432 34832 33554432000 4194304 4196468 140732822742720 140655454082176 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7848] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7848/stat : 7848 (java) S 7844 7844 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4237157 14133010432 34832 33554432000 4194304 4196468 140732822742720 140655048641040 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7849] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7849/stat : 7849 (java) S 7844 7844 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237157 14133010432 34832 33554432000 4194304 4196468 140732822742720 140655047588496 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7850] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7850/stat : 7850 (java) S 7844 7844 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237157 14133010432 34832 33554432000 4194304 4196468 140732822742720 140655046535440 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7851] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7851/stat : 7851 (java) S 7844 7844 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237157 14133010432 34832 33554432000 4194304 4196468 140732822742720 140655045482896 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7852] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7852/stat : 7852 (java) S 7844 7844 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237157 14133010432 34832 33554432000 4194304 4196468 140732822742720 140655044430864 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7853] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7853/stat : 7853 (java) S 7844 7844 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237157 14133010432 34832 33554432000 4194304 4196468 140732822742720 140655043378320 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7854] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7854/stat : 7854 (java) S 7844 7844 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237157 14133010432 34832 33554432000 4194304 4196468 140732822742720 140655042325264 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7855] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7855/stat : 7855 (java) S 7844 7844 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4237157 14133010432 34832 33554432000 4194304 4196468 140732822742720 140655041272720 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7856] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7856/stat : 7856 (java) S 7844 7844 18810 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 4237159 14133010432 34832 33554432000 4194304 4196468 140732822742720 140654777870576 140655449852546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7857] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7857/stat : 7857 (java) S 7844 7844 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4237160 14133010432 34832 33554432000 4194304 4196468 140732822742720 140654776816800 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7858] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7858/stat : 7858 (java) S 7844 7844 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4237160 14133010432 34832 33554432000 4194304 4196468 140732822742720 140654775763696 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7859] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7859/stat : 7859 (java) S 7844 7844 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237164 14133010432 34832 33554432000 4194304 4196468 140732822742720 140654774712272 140655449859995 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7860] ppid=7844 vsize=13801768 CPUtime=1.31 cores=0-3,8-11
/proc/7845/task/7860/stat : 7860 (java) S 7844 7844 18810 0 -1 1077944384 3348 0 0 0 130 1 0 0 20 0 28 0 4237164 14133010432 34832 33554432000 4194304 4196468 140732822742720 140654773660400 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7861] ppid=7844 vsize=13801768 CPUtime=1.16 cores=0-3,8-11
/proc/7845/task/7861/stat : 7861 (java) S 7844 7844 18810 0 -1 1077944384 2675 0 0 0 116 0 0 0 20 0 28 0 4237164 14133010432 34832 33554432000 4194304 4196468 140732822742720 140654772607856 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7862] ppid=7844 vsize=13801768 CPUtime=1.39 cores=0-3,8-11
/proc/7845/task/7862/stat : 7862 (java) S 7844 7844 18810 0 -1 1077944384 2830 0 0 0 139 0 0 0 20 0 28 0 4237164 14133010432 34832 33554432000 4194304 4196468 140732822742720 140654771554800 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7863] ppid=7844 vsize=13801768 CPUtime=0.71 cores=0-3,8-11
/proc/7845/task/7863/stat : 7863 (java) S 7844 7844 18810 0 -1 1077944384 2290 0 0 0 71 0 0 0 20 0 28 0 4237164 14133010432 34832 33554432000 4194304 4196468 140732822742720 140654770502256 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7864] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7864/stat : 7864 (java) S 7844 7844 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4237165 14133010432 34832 33554432000 4194304 4196468 140732822742720 140654769449440 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7865] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7865/stat : 7865 (java) S 7844 7844 18810 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 4237165 14133010432 34832 33554432000 4194304 4196468 140732822742720 140654768396976 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7870] ppid=7844 vsize=13801768 CPUtime=1.97 cores=0-3,8-11
/proc/7845/task/7870/stat : 7870 (java) R 7844 7844 18810 0 -1 4202560 195 0 0 0 197 0 0 0 20 0 28 0 4237227 14133010432 34832 33554432000 4194304 4196468 140732822742720 140654760380792 140655091806781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7871] ppid=7844 vsize=13801768 CPUtime=2.01 cores=0-3,8-11
/proc/7845/task/7871/stat : 7871 (java) R 7844 7844 18810 0 -1 4202560 160 0 0 0 201 0 0 0 20 0 28 0 4237227 14133010432 34832 33554432000 4194304 4196468 140732822742720 140654759331704 140655091909931 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7872] ppid=7844 vsize=13801768 CPUtime=1.84 cores=0-3,8-11
/proc/7845/task/7872/stat : 7872 (java) R 7844 7844 18810 0 -1 4202560 171 0 0 0 184 0 0 0 20 0 28 0 4237227 14133010432 34832 33554432000 4194304 4196468 140732822742720 140654758279360 140655092230075 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7873] ppid=7844 vsize=13801768 CPUtime=1.94 cores=0-3,8-11
/proc/7845/task/7873/stat : 7873 (java) R 7844 7844 18810 0 -1 4202560 216 0 0 0 194 0 0 0 20 0 28 0 4237227 14133010432 34832 33554432000 4194304 4196468 140732822742720 140654757225112 140655091909012 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7874] ppid=7844 vsize=13801768 CPUtime=1.79 cores=0-3,8-11
/proc/7845/task/7874/stat : 7874 (java) R 7844 7844 18810 0 -1 4202560 128 0 0 0 179 0 0 0 20 0 28 0 4237227 14133010432 34832 33554432000 4194304 4196468 140732822742720 140654756172568 140655092094853 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7875] ppid=7844 vsize=13801768 CPUtime=2.1 cores=0-3,8-11
/proc/7845/task/7875/stat : 7875 (java) R 7844 7844 18810 0 -1 4202560 116 0 0 0 210 0 0 0 20 0 28 0 4237227 14133010432 34832 33554432000 4194304 4196468 140732822742720 140654755120136 140655091995022 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7876] ppid=7844 vsize=13801768 CPUtime=1.84 cores=0-3,8-11
/proc/7845/task/7876/stat : 7876 (java) R 7844 7844 18810 0 -1 4202560 95 0 0 0 184 0 0 0 20 0 28 0 4237227 14133010432 34832 33554432000 4194304 4196468 140732822742720 140654754068584 140655087057810 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7877] ppid=7844 vsize=13801768 CPUtime=1.65 cores=0-3,8-11
/proc/7845/task/7877/stat : 7877 (java) R 7844 7844 18810 0 -1 4202560 117 0 0 0 165 0 0 0 20 0 28 0 4237227 14133010432 34832 33554432000 4194304 4196468 140732822742720 140654753016152 140655091520618 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
Current children cumulated CPU time (s) 20.52
Current children cumulated vsize (KiB) 13811280

[startup+6.30158 s]
/proc/loadavg: 15.85 13.02 11.01 18/305 7967
/proc/meminfo: memFree=31455156/32770624 swapFree=5944/251136

################
# More data... #
################

/proc/7845/task/7857/stat : 7857 (java) S 7844 7844 18810 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 4237160 14133010432 55382 33554432000 4194304 4196468 140732822742720 140654776816800 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7858] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7858/stat : 7858 (java) S 7844 7844 18810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4237160 14133010432 55382 33554432000 4194304 4196468 140732822742720 140654775763696 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7859] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7859/stat : 7859 (java) S 7844 7844 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237164 14133010432 55382 33554432000 4194304 4196468 140732822742720 140654774712272 140655449859995 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7860] ppid=7844 vsize=13801768 CPUtime=1.39 cores=0-3,8-11
/proc/7845/task/7860/stat : 7860 (java) S 7844 7844 18810 0 -1 1077944384 4779 0 0 0 138 1 0 0 20 0 28 0 4237164 14133010432 55382 33554432000 4194304 4196468 140732822742720 140654773660400 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7861] ppid=7844 vsize=13801768 CPUtime=1.28 cores=0-3,8-11
/proc/7845/task/7861/stat : 7861 (java) S 7844 7844 18810 0 -1 1077944384 3918 0 0 0 128 0 0 0 20 0 28 0 4237164 14133010432 55382 33554432000 4194304 4196468 140732822742720 140654772607856 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7862] ppid=7844 vsize=13801768 CPUtime=1.54 cores=0-3,8-11
/proc/7845/task/7862/stat : 7862 (java) S 7844 7844 18810 0 -1 1077944384 4923 0 0 0 153 1 0 0 20 0 28 0 4237164 14133010432 55382 33554432000 4194304 4196468 140732822742720 140654771554800 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7863] ppid=7844 vsize=13801768 CPUtime=0.75 cores=0-3,8-11
/proc/7845/task/7863/stat : 7863 (java) S 7844 7844 18810 0 -1 1077944384 3115 0 0 0 74 1 0 0 20 0 28 0 4237164 14133010432 55382 33554432000 4194304 4196468 140732822742720 140654770502256 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7864] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7864/stat : 7864 (java) S 7844 7844 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4237165 14133010432 55382 33554432000 4194304 4196468 140732822742720 140654769449440 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7865] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7865/stat : 7865 (java) S 7844 7844 18810 0 -1 1077944384 490 0 0 0 0 0 0 0 20 0 28 0 4237165 14133010432 55382 33554432000 4194304 4196468 140732822742720 140654768396976 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7870] ppid=7844 vsize=13801768 CPUtime=34.68 cores=0-3,8-11
/proc/7845/task/7870/stat : 7870 (java) R 7844 7844 18810 0 -1 4202560 524 0 0 0 3468 0 0 0 20 0 28 0 4237227 14133010432 55382 33554432000 4194304 4196468 140732822742720 140654760381704 140655091579524 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7871] ppid=7844 vsize=13801768 CPUtime=34.61 cores=0-3,8-11
/proc/7845/task/7871/stat : 7871 (java) R 7844 7844 18810 0 -1 4202560 479 0 0 0 3461 0 0 0 20 0 28 0 4237227 14133010432 55382 33554432000 4194304 4196468 140732822742720 140654759329688 140655092094853 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7872] ppid=7844 vsize=13801768 CPUtime=34.29 cores=0-3,8-11
/proc/7845/task/7872/stat : 7872 (java) R 7844 7844 18810 0 -1 4202560 950 0 0 0 3429 0 0 0 20 0 28 0 4237227 14133010432 55382 33554432000 4194304 4196468 140732822742720 140654758277248 140655091579746 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7873] ppid=7844 vsize=13801768 CPUtime=34.63 cores=0-3,8-11
/proc/7845/task/7873/stat : 7873 (java) R 7844 7844 18810 0 -1 4202560 661 0 0 0 3463 0 0 0 20 0 28 0 4237227 14133010432 55382 33554432000 4194304 4196468 140732822742720 140654757227680 140655092230547 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7874] ppid=7844 vsize=13801768 CPUtime=33.81 cores=0-3,8-11
/proc/7845/task/7874/stat : 7874 (java) R 7844 7844 18810 0 -1 4202560 334 0 0 0 3381 0 0 0 20 0 28 0 4237227 14133010432 55382 33554432000 4194304 4196468 140732822742720 140654756172456 140655091909708 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7875] ppid=7844 vsize=13801768 CPUtime=34.74 cores=0-3,8-11
/proc/7845/task/7875/stat : 7875 (java) R 7844 7844 18810 0 -1 4202560 266 0 0 0 3473 1 0 0 20 0 28 0 4237227 14133010432 55382 33554432000 4194304 4196468 140732822742720 140654755119608 140655092115302 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7876] ppid=7844 vsize=13801768 CPUtime=34.45 cores=0-3,8-11
/proc/7845/task/7876/stat : 7876 (java) R 7844 7844 18810 0 -1 4202560 408 0 0 0 3444 1 0 0 20 0 28 0 4237227 14133010432 55382 33554432000 4194304 4196468 140732822742720 140654754066472 140655091909008 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7877] ppid=7844 vsize=13801768 CPUtime=34.31 cores=0-3,8-11
/proc/7845/task/7877/stat : 7877 (java) R 7844 7844 18810 0 -1 4202560 591 0 0 0 3431 0 0 0 20 0 28 0 4237227 14133010432 55382 33554432000 4194304 4196468 140732822742720 140654753014008 140655092094974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
Current children cumulated CPU time (s) 281.99
Current children cumulated vsize (KiB) 13811280

[startup+36.4154 s]
/proc/loadavg: 14.59 13.01 11.07 10/296 8053
/proc/meminfo: memFree=28502964/32770624 swapFree=5944/259744
[pid=7844] ppid=7841 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7844/stat : 7844 (xcsp3-exec) S 7841 7844 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4237155 9740288 345 33554432000 4194304 5098028 140726203575680 140726203573784 140024331100796 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15106048 140726203577487 140726203577696 140726203577696 140726203580395 0
/proc/7844/statm: 2378 345 289 221 0 87 0
[pid=7845] ppid=7844 vsize=13801768 CPUtime=285.24 cores=0-3,8-11
/proc/7845/stat : 7845 (java) S 7844 7844 18810 0 -1 1077944320 34606 0 0 0 28489 35 0 0 20 0 28 0 4237155 14133010432 54869 33554432000 4194304 4196468 140732822742720 140732822725264 140655449841399 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
/proc/7845/statm: 3450442 54869 3264 1 0 3437675 0
[pid=7845/tid=7846] ppid=7844 vsize=13801768 CPUtime=0.68 cores=0-3,8-11
/proc/7845/task/7846/stat : 7846 (java) S 7844 7844 18810 0 -1 1077944384 6376 0 0 0 65 3 0 0 20 0 28 0 4237156 14133010432 54869 33554432000 4194304 4196468 140732822742720 140655454082176 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7848] ppid=7844 vsize=13801768 CPUtime=0.07 cores=0-3,8-11
/proc/7845/task/7848/stat : 7848 (java) S 7844 7844 18810 0 -1 1077944384 121 0 0 0 5 2 0 0 20 0 28 0 4237157 14133010432 54869 33554432000 4194304 4196468 140732822742720 140655048641040 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7849] ppid=7844 vsize=13801768 CPUtime=0.07 cores=0-3,8-11
/proc/7845/task/7849/stat : 7849 (java) S 7844 7844 18810 0 -1 1077944384 928 0 0 0 6 1 0 0 20 0 28 0 4237157 14133010432 54869 33554432000 4194304 4196468 140732822742720 140655047588496 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7850] ppid=7844 vsize=13801768 CPUtime=0.07 cores=0-3,8-11
/proc/7845/task/7850/stat : 7850 (java) S 7844 7844 18810 0 -1 1077944384 319 0 0 0 5 2 0 0 20 0 28 0 4237157 14133010432 54869 33554432000 4194304 4196468 140732822742720 140655046535440 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7851] ppid=7844 vsize=13801768 CPUtime=0.06 cores=0-3,8-11
/proc/7845/task/7851/stat : 7851 (java) S 7844 7844 18810 0 -1 1077944384 252 0 0 0 5 1 0 0 20 0 28 0 4237157 14133010432 54869 33554432000 4194304 4196468 140732822742720 140655045482896 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7852] ppid=7844 vsize=13801768 CPUtime=0.07 cores=0-3,8-11
/proc/7845/task/7852/stat : 7852 (java) S 7844 7844 18810 0 -1 1077944384 703 0 0 0 5 2 0 0 20 0 28 0 4237157 14133010432 54869 33554432000 4194304 4196468 140732822742720 140655044430864 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7853] ppid=7844 vsize=13801768 CPUtime=0.08 cores=0-3,8-11
/proc/7845/task/7853/stat : 7853 (java) S 7844 7844 18810 0 -1 1077944384 946 0 0 0 6 2 0 0 20 0 28 0 4237157 14133010432 54869 33554432000 4194304 4196468 140732822742720 140655043378320 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7854] ppid=7844 vsize=13801768 CPUtime=0.07 cores=0-3,8-11
/proc/7845/task/7854/stat : 7854 (java) S 7844 7844 18810 0 -1 1077944384 139 0 0 0 5 2 0 0 20 0 28 0 4237157 14133010432 54869 33554432000 4194304 4196468 140732822742720 140655042325264 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7855] ppid=7844 vsize=13801768 CPUtime=0.06 cores=0-3,8-11
/proc/7845/task/7855/stat : 7855 (java) S 7844 7844 18810 0 -1 1077944384 835 0 0 0 5 1 0 0 20 0 28 0 4237157 14133010432 54869 33554432000 4194304 4196468 140732822742720 140655041272720 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7856] ppid=7844 vsize=13801768 CPUtime=0.05 cores=0-3,8-11
/proc/7845/task/7856/stat : 7856 (java) S 7844 7844 18810 0 -1 1077944384 1198 0 0 0 3 2 0 0 20 0 28 0 4237159 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654777870576 140655449852546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7857] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7857/stat : 7857 (java) S 7844 7844 18810 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 4237160 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654776816800 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7858] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7858/stat : 7858 (java) S 7844 7844 18810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4237160 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654775763696 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7859] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7859/stat : 7859 (java) S 7844 7844 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237164 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654774712272 140655449859995 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7860] ppid=7844 vsize=13801768 CPUtime=1.39 cores=0-3,8-11
/proc/7845/task/7860/stat : 7860 (java) S 7844 7844 18810 0 -1 1077944384 4779 0 0 0 138 1 0 0 20 0 28 0 4237164 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654773660400 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7861] ppid=7844 vsize=13801768 CPUtime=1.28 cores=0-3,8-11
/proc/7845/task/7861/stat : 7861 (java) S 7844 7844 18810 0 -1 1077944384 3918 0 0 0 128 0 0 0 20 0 28 0 4237164 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654772607856 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7862] ppid=7844 vsize=13801768 CPUtime=1.54 cores=0-3,8-11
/proc/7845/task/7862/stat : 7862 (java) S 7844 7844 18810 0 -1 1077944384 4923 0 0 0 153 1 0 0 20 0 28 0 4237164 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654771554800 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7863] ppid=7844 vsize=13801768 CPUtime=0.75 cores=0-3,8-11
/proc/7845/task/7863/stat : 7863 (java) S 7844 7844 18810 0 -1 1077944384 3115 0 0 0 74 1 0 0 20 0 28 0 4237164 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654770502256 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7864] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7864/stat : 7864 (java) S 7844 7844 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4237165 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654769449440 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7865] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7865/stat : 7865 (java) S 7844 7844 18810 0 -1 1077944384 490 0 0 0 0 0 0 0 20 0 28 0 4237165 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654768396976 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7870] ppid=7844 vsize=13801768 CPUtime=35.09 cores=0-3,8-11
/proc/7845/task/7870/stat : 7870 (java) R 7844 7844 18810 0 -1 4202560 524 0 0 0 3509 0 0 0 20 0 28 0 4237227 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654760381096 140655091908636 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7871] ppid=7844 vsize=13801768 CPUtime=35.01 cores=0-3,8-11
/proc/7845/task/7871/stat : 7871 (java) R 7844 7844 18810 0 -1 4202560 479 0 0 0 3501 0 0 0 20 0 28 0 4237227 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654759329528 140655091908641 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7872] ppid=7844 vsize=13801768 CPUtime=34.69 cores=0-3,8-11
/proc/7845/task/7872/stat : 7872 (java) R 7844 7844 18810 0 -1 4202560 950 0 0 0 3469 0 0 0 20 0 28 0 4237227 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654758277392 140655091945899 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7873] ppid=7844 vsize=13801768 CPUtime=35.03 cores=0-3,8-11
/proc/7845/task/7873/stat : 7873 (java) R 7844 7844 18810 0 -1 4202560 662 0 0 0 3503 0 0 0 20 0 28 0 4237227 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654757227328 140655091579677 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7874] ppid=7844 vsize=13801768 CPUtime=34.22 cores=0-3,8-11
/proc/7845/task/7874/stat : 7874 (java) R 7844 7844 18810 0 -1 4202560 334 0 0 0 3422 0 0 0 20 0 28 0 4237227 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654756172056 140655091521061 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7875] ppid=7844 vsize=13801768 CPUtime=35.12 cores=0-3,8-11
/proc/7845/task/7875/stat : 7875 (java) R 7844 7844 18810 0 -1 4202560 267 0 0 0 3511 1 0 0 20 0 28 0 4237227 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654755119608 140655091521835 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7876] ppid=7844 vsize=13801768 CPUtime=34.86 cores=0-3,8-11
/proc/7845/task/7876/stat : 7876 (java) R 7844 7844 18810 0 -1 4202560 408 0 0 0 3485 1 0 0 20 0 28 0 4237227 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654754066552 140655091995009 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7877] ppid=7844 vsize=13801768 CPUtime=34.72 cores=0-3,8-11
/proc/7845/task/7877/stat : 7877 (java) R 7844 7844 18810 0 -1 4202560 591 0 0 0 3472 0 0 0 20 0 28 0 4237227 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654753013752 140655091520950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
Current children cumulated CPU time (s) 285.24
Current children cumulated vsize (KiB) 13811280

[startup+36.8015 s]
/proc/loadavg: 14.59 13.01 11.07 10/296 8053
/proc/meminfo: memFree=28502964/32770624 swapFree=5944/259744
[pid=7844] ppid=7841 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/7844/stat : 7844 (xcsp3-exec) S 7841 7844 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4237155 9740288 345 33554432000 4194304 5098028 140726203575680 140726203573784 140024331100796 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15106048 140726203577487 140726203577696 140726203577696 140726203580395 0
/proc/7844/statm: 2378 345 289 221 0 87 0
[pid=7845] ppid=7844 vsize=13801768 CPUtime=288.32 cores=0-3,8-11
/proc/7845/stat : 7845 (java) S 7844 7844 18810 0 -1 1077944320 34606 0 0 0 28797 35 0 0 20 0 28 0 4237155 14133010432 54869 33554432000 4194304 4196468 140732822742720 140732822725264 140655449841399 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
/proc/7845/statm: 3450442 54869 3264 1 0 3437675 0
[pid=7845/tid=7846] ppid=7844 vsize=13801768 CPUtime=0.68 cores=0-3,8-11
/proc/7845/task/7846/stat : 7846 (java) S 7844 7844 18810 0 -1 1077944384 6376 0 0 0 65 3 0 0 20 0 28 0 4237156 14133010432 54869 33554432000 4194304 4196468 140732822742720 140655454082176 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7848] ppid=7844 vsize=13801768 CPUtime=0.07 cores=0-3,8-11
/proc/7845/task/7848/stat : 7848 (java) S 7844 7844 18810 0 -1 1077944384 121 0 0 0 5 2 0 0 20 0 28 0 4237157 14133010432 54869 33554432000 4194304 4196468 140732822742720 140655048641040 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7849] ppid=7844 vsize=13801768 CPUtime=0.07 cores=0-3,8-11
/proc/7845/task/7849/stat : 7849 (java) S 7844 7844 18810 0 -1 1077944384 928 0 0 0 6 1 0 0 20 0 28 0 4237157 14133010432 54869 33554432000 4194304 4196468 140732822742720 140655047588496 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7850] ppid=7844 vsize=13801768 CPUtime=0.07 cores=0-3,8-11
/proc/7845/task/7850/stat : 7850 (java) S 7844 7844 18810 0 -1 1077944384 319 0 0 0 5 2 0 0 20 0 28 0 4237157 14133010432 54869 33554432000 4194304 4196468 140732822742720 140655046535440 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7851] ppid=7844 vsize=13801768 CPUtime=0.06 cores=0-3,8-11
/proc/7845/task/7851/stat : 7851 (java) S 7844 7844 18810 0 -1 1077944384 252 0 0 0 5 1 0 0 20 0 28 0 4237157 14133010432 54869 33554432000 4194304 4196468 140732822742720 140655045482896 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7852] ppid=7844 vsize=13801768 CPUtime=0.07 cores=0-3,8-11
/proc/7845/task/7852/stat : 7852 (java) S 7844 7844 18810 0 -1 1077944384 703 0 0 0 5 2 0 0 20 0 28 0 4237157 14133010432 54869 33554432000 4194304 4196468 140732822742720 140655044430864 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7853] ppid=7844 vsize=13801768 CPUtime=0.08 cores=0-3,8-11
/proc/7845/task/7853/stat : 7853 (java) S 7844 7844 18810 0 -1 1077944384 946 0 0 0 6 2 0 0 20 0 28 0 4237157 14133010432 54869 33554432000 4194304 4196468 140732822742720 140655043378320 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7854] ppid=7844 vsize=13801768 CPUtime=0.07 cores=0-3,8-11
/proc/7845/task/7854/stat : 7854 (java) S 7844 7844 18810 0 -1 1077944384 139 0 0 0 5 2 0 0 20 0 28 0 4237157 14133010432 54869 33554432000 4194304 4196468 140732822742720 140655042325264 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7855] ppid=7844 vsize=13801768 CPUtime=0.06 cores=0-3,8-11
/proc/7845/task/7855/stat : 7855 (java) S 7844 7844 18810 0 -1 1077944384 835 0 0 0 5 1 0 0 20 0 28 0 4237157 14133010432 54869 33554432000 4194304 4196468 140732822742720 140655041272720 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7856] ppid=7844 vsize=13801768 CPUtime=0.05 cores=0-3,8-11
/proc/7845/task/7856/stat : 7856 (java) S 7844 7844 18810 0 -1 1077944384 1198 0 0 0 3 2 0 0 20 0 28 0 4237159 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654777870576 140655449852546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7857] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7857/stat : 7857 (java) S 7844 7844 18810 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 4237160 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654776816800 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7858] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7858/stat : 7858 (java) S 7844 7844 18810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4237160 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654775763696 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7859] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7859/stat : 7859 (java) S 7844 7844 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4237164 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654774712272 140655449859995 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7860] ppid=7844 vsize=13801768 CPUtime=1.39 cores=0-3,8-11
/proc/7845/task/7860/stat : 7860 (java) S 7844 7844 18810 0 -1 1077944384 4779 0 0 0 138 1 0 0 20 0 28 0 4237164 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654773660400 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7861] ppid=7844 vsize=13801768 CPUtime=1.28 cores=0-3,8-11
/proc/7845/task/7861/stat : 7861 (java) S 7844 7844 18810 0 -1 1077944384 3918 0 0 0 128 0 0 0 20 0 28 0 4237164 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654772607856 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7862] ppid=7844 vsize=13801768 CPUtime=1.54 cores=0-3,8-11
/proc/7845/task/7862/stat : 7862 (java) S 7844 7844 18810 0 -1 1077944384 4923 0 0 0 153 1 0 0 20 0 28 0 4237164 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654771554800 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7863] ppid=7844 vsize=13801768 CPUtime=0.75 cores=0-3,8-11
/proc/7845/task/7863/stat : 7863 (java) S 7844 7844 18810 0 -1 1077944384 3115 0 0 0 74 1 0 0 20 0 28 0 4237164 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654770502256 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7864] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7864/stat : 7864 (java) S 7844 7844 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4237165 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654769449440 140655449851605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7865] ppid=7844 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/7845/task/7865/stat : 7865 (java) S 7844 7844 18810 0 -1 1077944384 490 0 0 0 0 0 0 0 20 0 28 0 4237165 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654768396976 140655449852546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7870] ppid=7844 vsize=13801768 CPUtime=35.48 cores=0-3,8-11
/proc/7845/task/7870/stat : 7870 (java) R 7844 7844 18810 0 -1 4202560 524 0 0 0 3548 0 0 0 20 0 28 0 4237227 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654760381096 140655092230420 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7871] ppid=7844 vsize=13801768 CPUtime=35.4 cores=0-3,8-11
/proc/7845/task/7871/stat : 7871 (java) R 7844 7844 18810 0 -1 4202560 479 0 0 0 3540 0 0 0 20 0 28 0 4237227 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654759329528 140655092095036 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7872] ppid=7844 vsize=13801768 CPUtime=35.08 cores=0-3,8-11
/proc/7845/task/7872/stat : 7872 (java) R 7844 7844 18810 0 -1 4202560 950 0 0 0 3508 0 0 0 20 0 28 0 4237227 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654758277392 140655092094853 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7873] ppid=7844 vsize=13801768 CPUtime=35.42 cores=0-3,8-11
/proc/7845/task/7873/stat : 7873 (java) R 7844 7844 18810 0 -1 4202560 662 0 0 0 3542 0 0 0 20 0 28 0 4237227 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654757227328 140655091908918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7874] ppid=7844 vsize=13801768 CPUtime=34.6 cores=0-3,8-11
/proc/7845/task/7874/stat : 7874 (java) R 7844 7844 18810 0 -1 4202560 334 0 0 0 3460 0 0 0 20 0 28 0 4237227 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654756172056 140655091522162 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7875] ppid=7844 vsize=13801768 CPUtime=35.5 cores=0-3,8-11
/proc/7845/task/7875/stat : 7875 (java) R 7844 7844 18810 0 -1 4202560 267 0 0 0 3549 1 0 0 20 0 28 0 4237227 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654755119608 140655091995776 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7876] ppid=7844 vsize=13801768 CPUtime=35.25 cores=0-3,8-11
/proc/7845/task/7876/stat : 7876 (java) R 7844 7844 18810 0 -1 4202560 408 0 0 0 3524 1 0 0 20 0 28 0 4237227 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654754066552 140655091908918 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
[pid=7845/tid=7877] ppid=7844 vsize=13801768 CPUtime=35.11 cores=0-3,8-11
/proc/7845/task/7877/stat : 7877 (java) R 7844 7844 18810 0 -1 4202560 591 0 0 0 3511 0 0 0 20 0 28 0 4237227 14133010432 54869 33554432000 4194304 4196468 140732822742720 140654753013752 140655091995475 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36155392 140732822750396 140732822750572 140732822750572 140732822753231 0
Current children cumulated CPU time (s) 288.32
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 36.8379
CPU time (s): 288.493
CPU user time (s): 288.133
CPU system time (s): 0.360915
CPU usage (%): 783.142
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 288.133
system time used= 0.360915
maximum resident set size= 229228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36000
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5038
involuntary context switches= 19444

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.505075 second user time and 0.511362 second system time

The end

Begin job on node132 at 2017-07-22 04:15:00
IDJOB=4247290
IDBENCH=126892
IDSOLVER=2625
FILE ID=node132/4247290-1500689700
RUNJOBID= node132-1500682387-18841
PBS_JOBID= 20623322
Free space on /tmp= 61760 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/SchurrLemma/SchurrLemma-mod-s1/SchurrLemma-030-9-mod.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247290-1500689700/watcher-4247290-1500689700 -o /tmp/evaluation-result-4247290-1500689700/solver-4247290-1500689700 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 125663957 HOME/instance-4247290-1500689700.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= d7b470589221c8c7505cb66f8b37d2d4
RANDOM SEED=125663957

node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31575260 kB
MemAvailable:   31735272 kB
Buffers:          112328 kB
Cached:           327980 kB
SwapCached:            0 kB
Active:           499712 kB
Inactive:         259680 kB
Active(anon):     321664 kB
Inactive(anon):     8616 kB
Active(file):     178048 kB
Inactive(file):   251064 kB
Unevictable:        5944 kB
Mlocked:            5944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7824 kB
Writeback:             0 kB
AnonPages:        438800 kB
Mapped:            43036 kB
Shmem:              8872 kB
Slab:             128552 kB
SReclaimable:      93472 kB
SUnreclaim:        35080 kB
KernelStack:        5264 kB
PageTables:         6268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1261896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    333824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 61672 MiB
End job on node132 at 2017-07-22 04:15:37

Name	SchurrLemma/SchurrLemma-mod-s1/ SchurrLemma-mod-030-9.xml
MD5SUM	a570971bdea1b5dac7f2a8202873b646
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	UNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	6.0881901
Satisfiable
(Un)Satisfiability was proved
Number of variables	30
Number of constraints	210
Number of domains	1
Minimum domain size	9
Maximum domain size	9
Distribution of domain sizes	[{"size":9,"count":30}]
Minimum variable degree	14
Maximum variable degree	28
Distribution of variable degrees	[{"degree":14,"count":1},{"degree":15,"count":2},{"degree":16,"count":2},{"degree":17,"count":2},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":20,"count":2},{"degree":21,"count":4},{"degree":22,"count":2},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":26,"count":2},{"degree":27,"count":2},{"degree":28,"count":1}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":210}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"allDifferent","count":210}]
Optimization problem	NO
Type of objective

Trace number 4247290

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data